How To Understand The Behaviour Of A Fault Monitor



Similar documents
170+ papers: 2 books, 9 book chapters, 54 journal papers, and many conference papers (conference papers are

LUCA BERTAZZI CURRICULUM VITAE

How To Understand The Theory Of Network Routing In A Computer Program

Valeria Leggieri Curriculum Vitae

Doctorate of Philosophy Candidate, Information and Communication Technologies, January March 2015.

Curriculum Vitae of Maria Nadia Postorino

Francesco Merlo Curriculum Vitæ

CLAUDIO ROSSETTI Curriculum Vitæ. Place of birth: Rome, Italy. Date of birth: April 12,

Curriculum Vitae et Studiorum Dossier n Cinzia Di Giusto

Master s (2 nd cycle) degree Course in SCIENCE FOR THE CONSERVATION-RESTORATION OF CULTURAL HERITAGE (SCoRe)

CURRICULUM VITAE ET STUDIORUM Eugenio Capra

9700 South Cass Avenue, Lemont, IL URL: fulin

CURRICULUM VITAE. Dr. Massimo Contrafatto EDUCATION. MSc, PhD, Post Doc

CURRICULUM VITAE of ANDREA TRAMONTANI (Last update: August 31, 2010)

FRANCESCO BELLOCCHIO S CURRICULUM VITAE ET STUDIORUM

CURRICULUM VITAE RANDOLPH LUCA BRUNO. Via dei Contarini 5, TITLE DEGREES & QUALIFICATIONS

PhD School of the Politecnico di Milano

UNICA Rome Meeting 6-7/12/12. Nicola Vittorio Vice Rector for Education University of Rome Tor Vergata

Eventuale spazio per nome struttura o altro. Pharmacy education. The Italian academic viewpoint

ANDREA COLOMBARI. Curriculum vitae

Collaboration with industry and doctoral education at Politecnico di Milano

Modeling and Management of a Hospital Department via Petri Nets

Annex A. Informative modules regarding the Doctorate Schools and Doctoral programmes. List of modules. Available Places.

CURRICULUM VITAE CLARA GRAZIANO

Scientific publications of Dr. Giovanni Celano, PhD. International Conferences Updated to November 2011

DOCTORAL PROGRAMME IN MANAGEMENT ENGINEERING

Curriculum Vitae. Alessandro Formaglio. CURRENT POSITION Research Associate from 2007, Department of Information Engineering, University of Siena.

INTERNATIONAL MASTER IN INDUSTRIAL

PhD in PRESERVATION OF ARCHITECTURAL HERITAGE - 30th cycle

Europass Curriculum Vitae

RUGGERO GOLINI, Ph.D.

Giuseppe Graber Electronic Engineer

SARA VALENTINI. Personal Data.

Curriculum of the research and teaching activities. Matteo Golfarelli

CURRICULUM VITAE OF FRANCESCA CORRADI

Academic Year 2014/15. School of Industrial and Information Engineering. Degree Programme of:

SURVEY FOR PROGRAM EVALUATION OF AEROSPACE ENGINEERING AT POLITECNICO DI MILANO

Curriculum Vitae. Max-Planck-Institut für Plasmaphysik, Garching, Munich (Germany)

Dip. di Scienze Economiche, Statistiche e Finanziarie, Università della Calabria, Ponte P. Bucci, Arcavacata di Rende (CS), Italy

Paolo Maistri. September 8, Personal Information 2. Education and Studies 2. Academic Activities and Affiliations 3

April, July August nd Essex Summer School in Social Science Data Analysis and Collection, University of Essex, UK.

Curriculum Vitae - Helena Carvalho

Alexandre Dolgui, PhD, DrHabil

National Research University - Higher School of Economics PhD programs. Elena Kobzar, Director for Graduate studies ekobzar@hse.ru

CURRICULUM VITAE I. PERSONAL INFORMATION II. EDUCATION. NAME : Miguel Andrés Maldonado Saavedra.

Report and Commentary on the Eurodoc Statement of Standards in the Assessment, Expectations and Outcomes of Doctoral Programmes in Europe

Curriculum Vitae, Lisa Gianmoena December 2014

RESUME. Rashid Alammari, Ph.D Associate Professor

CURRICULUM VITAE. Giovanni Tria. PLACE AND DATE OF BIRTH Rome, 28 September 1948

Professor of Mathematical Finance Office phone: Italy

Prof. Elisabetta Cerbai University of Florence, Vice-Chancellor for Research Sapienza University of Rome, NVA Coordinator

Curriculum Vitae Michael M. Zavlanos

LEXICAL OF LANDSCAPE EUROPEAN DOCTORAL STUDIES (IN THE PROCESS OF VALIDATION)

SERVICE TO PROFESSIONAL COMMUNITY. - Registration Chair of the 2017 IEEE Conference on Decision and Control (IEEE CDC 2017)

An approach to accreditation: the path of the Italian Higher Education

The fashion market: structure, players and success factors

PhD School of the Politecnico di Milano Regulations of the PhD Programme in: Design Cycle XXXI

Curriculum vitae et studiorum. Elena Guardo. 2000: Ph.D in Mathematics at Università di Messina, Italy.

XIAOBAI (BOB) LI ACADEMIC EXPERIENCE RESEARCH HIGHLIGHTS TEACHING HIGHLIGHTS

Curriculum Vitae Et Studiorum

Dual Master of Science Degree Management Engineering Audencia Nantes Politecnico di Milano

Carlo Turri Research fellow and freelance designer Curriculum Vitae 2O14

Tongji History Tongji Campuses Key Figures Three Characteristics of Tongji University English Course Offerings for International Students

Curriculum Vitæ of Olivier LAMOTTE

Master Degree in Civil Engineering at the University of Bari (1970) 1994 present: Full Professor in Urban Planning Techniques, Polytechnic of Bari

Mechanical Engineering. 01/05/2014-(30/04/2016) Imperial College, London, United Kingdom. 01/01/ /04/2014 Politecnico di Bari, Bari, Italy.

Venue: Department of Physics, via Madonna delle Carceri 9, tel (+39) , fax (+39)

Introduction to Tongji s International Cooperation and International Student Administration Tongji History Tongji Campuses Key Figures Three

di Milano the PhD Bovisa

INTERNATIONAL EDUCATION AND TRAINING PROGRAMS FOR BACHELOR, MASTER AND PHD STUDENTS OF MGTU«STANKIN» YEAR

Sofia Ceppi. Personal Information 2. Association Memberships 2. Education 2. Academic Positions and Affiliations 3

CESAB Research Center for Environmental Sciences and Biotechnologies European University of Rome

BIC Lazio spa, Business Innovation Center, network of regional development agencies:

PhD program in Philosophy - CONSORTIUM PhD PROGRAM IN NORTHWEST PHILOSOPHY - FINO

The Startup Ecosystem & the Investments in Hi-tech Startups in Italy

Yamen Koubaa, Ph.D 2 Rue Andre Messager, Etage 10, App Brest, France yamen.koubaa@esc-bretagne-brest.com

The duration of the course is 3 years, starting no earlier than October 1, 2016.

RESUME September, Università degli Studi di Bergamo Department of Engineering Via Pasubio 7B, Dalmine (BG) Italy

CURRICULUM VITAE. Degree Department/Program University Year. B.A. Mechanical Engineering Land Force Academy 1991

E UROPEAN C URRICULUM V ITAE F ORMAT

ADVANCED LOCAL PREDICTORS FOR SHORT TERM ELECTRIC LOAD

Master in Health Services Management

Curriculum Vitae et Studiorum

Europass Curriculum Vitae

Marie KOULIKOFF-SOUVIRON. Management of Projects, Information Systems and Supply Chains Sophia-Antipolis

Transcription:

Curriculum Vitæ of Dr. Eng. Agostino Marcello Mangini Personal Data First name: Agostino Marcello Family name: Mangini Address: Via Conversano n. 30-70017 Putignano (BA) Phone: +39 080 5963312 Fax: +39 080 5963410 E-mail: mangini@deemail.poliba.it Web page: http://dee.poliba.it/labcontrolli/mangini.htm Education Degrees: Ph.D. in Electrotechnical Engineering 2008 (at Politecnico di Bari); Professional Engineer Qualification 2004 (marks 136/140, at Politecnico di Bari); Degree in Electronic Engineering 2003 (marks 105/110, at Politecnico di Bari); Scientific Degree 1995 (marks 55/60, at the Scientific High school E. Majorana of Putignano). Ph.D. studies He achieved in date 22/04/2008 the title of PhD in Electrotechnical Engineering at Politecnico di Bari, Department of Electrotechnical and Electronic Engineering. He has been visiting researcher at foreign University of Zaragoza in the research group guided by the Prof. Silva Manuel (Department of computer science and engineering of the Systems) for a study on the deadlocks in continuous Petri nets. He contributed to the production of one scientific publication. Duration 6 mouths: February - July 2007. Continuing Education He attended the following higher education courses: in 2005 the course Modelling, Analisys and Supervise Control of Discrete Event Systems (University of Bologna); in 2005 the course Adaptive Control (CIRA, Bertinoro); in 2005 the course Hybrid Systems (University of Siena); in 2006 the course Advances in control Theory and Applications (Bertinoro 2006); in 2006 the course Positive Systems and Models for Control of Manufacturing Systems (CIRA Bertinoro 2006). Curriculum Vitæ 1/6

Didactic Activity He holds or held the following courses: Automatic Control I 9CFU in Electrical Engineering (3-Years Laurea) at Politecnico di Bari in Bari (year 2008-2009); Automatic Control I 9CFU in Electrical Engineering (3-Years Laurea) at Politecnico di Bari in Foggia (year 2007-2008); He developed the numerical and experimental laboratory of the following courses: in the years 2004-2005, 2005-2006, and 2006-2007 Industrial Automation for the Laurea Course in Management Engineering of the first Engineering Faculty of Politecnico di Bari, held by Prof. Maria Pia Fanti; in the years 2004-2005 and 2005-2006 Automatic Control II for the Laurea Course in Electrical Engineering of the first Engineering Faculty of Politecnico di Bari, held by Prof. Maria Pia Fanti; In the year 2008 he developed didactic activities at IRAPL (Istituto Regionale per l Addestramento ed il Perfezionamento dei Lavoratori) in the framework of the higher education and technical qualification (IFTS) course Expert in Industrial Automation. He is member since 2007 of the Commission for the proficiency exams of the following courses of the triennial Laurea of the first Engineering Faculty of Politecnico di Bari (new regulation): Industrial Automation for the Laurea Course in Management Engineering. He is member since 2007 of the Commission for the proficiency exams of the following courses of the specialistic Laurea of the first Engineering Faculty of Politecnico di Bari (new regulation): Automatic Control II for the Laurea Course in Electrical Engineering; Distributed Control of Production Systems for the Laurea Course in Information Science Engineering. Editorial Activity He is a member since 2007 of the International Program Committee of the IEEE International Conference on Systems, Man, and Cybernetics (SMC) He is referee for the major international journals: IEEE Transactions on Automation Science and Engineering ; IEEE Transactions on Systems, Man and Cybernetics: Part A European Journal of Industrial Engineering Curriculum Vitæ 2/6

Research Activity Participation to National and International Research Projects He took part in the following national research programmes: COFIN-PRIN ex MURST 40% project funded by the Italian Ministry of Scientific and Technological Research Decision models for design and management of logistic networks characterized by high interoperability and information integration (2007-2009, local coordinator Prof. M.P. Fanti, national coordinator Prof. R. Minciardi); COFIN-PRIN ex MURST 40% project funded by the Italian Ministry of Scientific and Technological Research Decision models for design and management of logistic networks characterized by high interoperability and information integration (2007-2009, local coordinator Prof. M.P. Fanti, national coordinator Prof. R. Minciardi); COFIN-PRIN ex MURST 40% funded by the Italian Ministry of Scientific and Technological Research Analysis, optimization, and coordination of logistic and production systems (2005-2007, local coordinator Prof. M.P. Fanti, national coordinator Prof. R. Minciardi); SIDART Integrated system for artistic goods diagnosis research project, funded by the PON (National Operative Programme) 2002/2005 programme, Responsible Prof. Giuseppe Acciani of Politecnico di Bari (since 2002); In 2006 he was a member of the workgroup established from the Agency for Innovation and Internationalization of Enterprises, established in the framework of the Territorial Pact for the North-Bari-Ofanto territory, with the aim of conducting a pilot action of technology transfer between the research University system and the local SME system. Participation to National and International Conferences: He took part in the following conferences: National Conference SIDRA 2007, Genova, Italy, 10-12 September 2007. National Conference AIRO 2007, Genova, Italy, 5-8 September 2007. National Conference CIRA 2006, Milano, Italy, 18-20 September 2006. ETFA 05, IEEE International Conference on Emerging Technologies and Factory Automation, Catania, Italy, 19-22 September 2005. Publications He is author or co-author of 29 printed publications, listed in the sequel, including: 5 papers on international journals; 1 paper on national journals; 1 chapter of international books; 19 papers in the proceedings of international conferences; 1 paper in the proceedings of national conferences; 1 PhD thesis; 1 Laurea degree thesis. Papers on International Journals r1) M. Dotoli, M. P. Fanti, A.M. Mangini, W. Ukovich, On-line Fault Detection in Discrete Event Systems by Petri Nets and Integer Linear Programming, submitted for the second review to Automatica, ISSN: 0005-1098. Curriculum Vitæ 3/6

r2) M. Dotoli, M.P. Fanti, A.M. Mangini, A fault monitor for automated manufacturing systems using a hybrid Petri nets formalism, to appear on the Transactions of the Institute of Measurement and Control. r3) M. Dotoli, M. P. Fanti, G. Iacobellis, A.M. Mangini, A First Order Hybrid Petri Net Model for Supply Chain Management, to appear on the IEEE Transactions on Automation Science and Engineering. r4) M. Dotoli, M. P. Fanti, A.M. Mangini, Real Time Identification of Discrete Event systems using Petri Nets, Automatica, ISSN: 0005-1098, Vol. 44, No. 5, May 2008, pp. 1209-1219. r5) M. Dotoli, M.P. Fanti, A.M. Mangini, Fuzzy Multi-Objective Optimization for Network Design of Integrated e-supply Chains, International Journal of Computer Integrated Manufacturing, ISSN: 0951-192X, Vol. 20, No. 6, September 2007, pp. 588-601. Papers on National Journals r6) M. Dotoli, M.P. Fanti, A.M. Mangini, C. Meloni, Una procedura gerarchica per il progetto dei sistemi di produzione distribuiti, Automazione e Strumentazione, ISSN: 0005-1284, Vol.53, No. 6, pp. 98-108, June 2006. Chapters of International Books l1) M. Dotoli, M. P. Fanti, A. M. Mangini, Operational Management of Supply Chains: a Hybrid Petri Net Approach, Supply Chain, The Way to Flat Organisation, In-Teh, Y. Huo and F. Jia Eds., ISBN 978-953-7619-35-0, pp. 137-162, 2008. International Conferences c1) N. Costantino, M. Dotoli, M. Falagario, M. P. Fanti, A. M. Mangini, Optimal Design of a Manufacturing Supply Chain, to appear in the Proceedings of the 16th International Annual EurOMA Conference European Operations Management Association, Göteborg, Sweden, 14-17 June 2009. c2) N. Costantino, M. Dotoli, M. Falagario, M. P. Fanti, A. M. Mangini, Design and Optimization of a Hospital Drug Distribution System, to appear in the Proceedings of IPSERA 2009, 18 th Annual Conference of the International Purchasing & Supply Education & Research Association, Oestrich-Winkel, Germany, 5-8 April 2009. c3) M. Dotoli, M. P. Fanti, A.M. Mangini, W. Ukovich, Identification of DES Unobservable Behaviour by Petri Nets, to appear in the Proceedings of 2 nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS 09), Bari, Italy, 10-12 June 2009. c4) R. Danielis, M. Dotoli, M. P. Fanti, A.M. Mangini, R. Pesenti, G. Stecco, W. Ukovich, Integrating ICT into Logistics Intermodal Systems: a Petri Net Model of the Trieste Port, to appear in the Proceedings di European Control Conference 2009 (ECC 09), Budapest, Ungheria, 23-26 August 2009. c5) M. Dotoli, M. P. Fanti, A.M. Mangini, W. Ukovich, A Model to Describe the Hospital Drug Distribution System via Hybrid Petri Nets, Proceedings of EMSS08, the 20 th European Modeling and Simulation Symposium, Briatico, Italy, 17-19 September Curriculum Vitæ 4/6

2008. c6) M. Dotoli, M. P. Fanti, A.M. Mangini, W. Ukovich, Modelling and Design of Hospital Departments by Timed Continuous Petri Nets, Proceedings of MAS08, the International Workshop on Modeling and Applied Simulation, Briatico, Italy, 17-19 September 2008. c7) M. Dotoli, M. P. Fanti, A.M. Mangini, Fault Monitoring of Automated Manufacturing Systems by First Order Hybrid Petri Nets, Proceedings of IEEE CASE 2008, the 2008 IEEE International Conference on Automation Science and Engineering, Washington D.C., USA, 23-26 August 2008. c8) M. Dotoli, M. P. Fanti, A.M. Mangini, V. Ukovich, On-Line Identification of Petri Nets with Unobservable Transitions, Proceedings of WODES08 the 9th International Workshop on Discrete Event Systems, Göteborg, Sweden, May 28-30, 2008. c9) M. Dotoli, M. P. Fanti, A.M. Mangini, Fault Monitoring of Discrete Event Systems by First Order Hybrid Petri Nets, Proceedings of the 2008 Workshop on Petri Nets and Agile Manufacturing, Xi an, Cina, 24 June 2008. c10) M. Dotoli, M.P. Fanti, A.M. Mangini, Fault Detection of Discrete Event Systems Using Petri Nets and Integer Linear Programming, Proceedings of the 17 th IFAC World Congress (IFAC 08), Seoul, Korea, 6-11 July 2008. c11) C.R. Vazquez., A.M. Mangini, A.M. Mihalache, L. Recalde, M. Silva, Timing and deadlock-freeness in Continuous Petri nets, Proceedings of the 17 th IFAC World Congress (IFAC 08), Seoul, Korea, 6-11 July 2008. c12) M. Dotoli, M. P. Fanti, A.M. Mangini, Comparing Management Policies for Supply Chains via a Hybrid Petri Net Model, Proceedings of IEEE SMC 2007, the 2007 IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007. c13) M. Dotoli, M. P. Fanti, A.M. Mangini, On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification, Proceedings of IEEE CASE 2007, the 2007 IEEE International Conference on Automation Science and Engineering, Scottsdale, Arizona, 22-25 September 2007. c14) M. Dotoli, M. P. Fanti, A.M. Mangini, Real Time Identification of Discrete Event Systems by Petri Nets, Proceedings of DCDS 2007, the 1st IFAC Workshop on Dependable Control of Discrete Systems, Paris, France, 13-15 June 2007. c15) M. Dotoli, M. P. Fanti, A. M. Mangini, On-Line Identification of Discrete Event Systems: a Case Study, Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, Shanghai, Cina, 8-10 October 2006, pp. 405-410. c16) M. Dotoli, M. P. Fanti, A. M. Mangini, On-Line Identification of Discrete Event Systems by Interpreted Petri Nets, Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics, Taipei, Taiwan, 8-11 October 2006, pp. 3040-3045. c17) M. Dotoli, M. P. Fanti, A. M. Mangini, An Optimization Approach for Identification of Petri Nets, Proceedings of WODES06 the 8th IFAC Workshop on Discrete Event Systems, Ann Harbor, Michigan, USA, 10-12 July, 2006, pp. 332-337. c18) M. Dotoli, M. P. Fanti, A. M. Mangini, Modelling Distributed Manufacturing Systems via First Order Hybrid Petri Nets, Proceedings of the 2nd IFAC Conference on Curriculum Vitæ 5/6

Analysis and Design of Hybrid Systems (ADHS06), Alghero, Italy, 7-9 June 2006, pp. 44-48. c19) M. Dotoli, M. P. Fanti, A.M. Mangini, G. Tempone, Fuzzy Multi-Objective Optimization for Network Design of Logistic and Production Systems, Proceedings of the 2005 IEEE International Conference on Emerging Technologies and Factory Automation, Catania, Italy, 19-22 September 2005 (presented by Mangini A.M.). National Conferences PhD Thesis Laurea Thesis c20) M. Dotoli, M. P. Fanti, A. M. Mangini, C. Meloni, A Multi-Level Technique for Distributed Manufacturing Systems Configuration, 49 Convegno Nazionale ANIPLA su Automazione per lo Sviluppo e la Competitività nelle PMI, Napoli, Italy, 23-24 November 2005. t1) A. M. Mangini, Identification and Fault Detection of Discrete Event Systems using Petri nets and Integer Linear Programming, PhD Theses in Electrotechnical Engineering at Politecnico di Bari, Bari, February 2008. t2) A. M. Mangini, Modelli e algoritmi per la configurazione di una catena logistico produttiva, Laurea Thesis in Electronic Engennering at Politecnico di Bari, Bari, December 2003. Curriculum Vitæ 6/6