How To Understand The Behaviour Of A Fault Monitor

Transcription

1 Curriculum Vitæ of Dr. Eng. Agostino Marcello Mangini Personal Data First name: Agostino Marcello Family name: Mangini Address: Via Conversano n Putignano (BA) Phone: Fax: Web page: 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 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

2 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 ); Automatic Control I 9CFU in Electrical Engineering (3-Years Laurea) at Politecnico di Bari in Foggia (year ); He developed the numerical and experimental laboratory of the following courses: in the years , , and 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 and 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

3 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 ( , 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 ( , 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 ( , 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, September National Conference AIRO 2007, Genova, Italy, 5-8 September National Conference CIRA 2006, Milano, Italy, September ETFA 05, IEEE International Conference on Emerging Technologies and Factory Automation, Catania, Italy, September 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: Curriculum Vitæ 3/6

4 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: , Vol. 44, No. 5, May 2008, pp 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: X, Vol. 20, No. 6, September 2007, pp 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: , Vol.53, No. 6, pp , June 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 , pp , 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, June 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 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, June 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, August 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, September Curriculum Vitæ 4/6

5 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, September 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, August 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, 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 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 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 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 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, September 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, June 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 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 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, July, 2006, pp 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

6 Analysis and Design of Hybrid Systems (ADHS06), Alghero, Italy, 7-9 June 2006, pp 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, 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, November 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 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 Curriculum Vitæ 6/6