Dipartimento di Ingegneria elettrica ed elettronica

 CV di Carla Seatzu (aggiornato al 7/07/17)

POSIZIONE ATTUALE

  • Professore Associato (ING-INF/04) presso il Dip. Ing. Elettrica ed Elettronica, Facoltà di Ingegneria, Università di Cagliari (dall’Ottobre 2011).

 

Abilitazione Scientifica Nazionale

  • Abilitazione alla Prima Fascia, Settore Concorsuale Automatica, Tornata 2012 e Tornata 2013.

 

POSIZIONI PRECEDENTEMENTE RICOPERTE

  • 2000 ¸ Feb. 2002: Assegnista di ricerca (K04X) per il progetto dal titolo “Identificazione e ricostruzione dello stato di sistemi ad eventi discreti mediante reti di Petri” (resp. scientifico: A. Giua), Dip. Ing. Elettrica ed Elettronica, Facoltà di Ingegneria, Università di Cagliari.
  • 2002 ¸ Set. 2011: Ricercatore universitario (ING-INF/04) presso il Dip. Ing. Elettrica ed Elettronica, Facoltà di Ingegneria, Università di Cagliari.

 

FORMAZIONE

  • Febbraio 1996: Laurea in Ingegneria Elettrica (110/110 e lode), Università di Cagliari. Tesi: “Le trasformazioni di Lyapunov nella stabilizzazione dei sistemi lineari tempo-varianti. Un’applicazione al problema della movimentazione dei carichi sospesi” (relatore: Prof. G. Usai, Univ. di Cagliari).
  • Giugno 1996: Esame di Stato per Ingegnere, Università di Cagliari.
  • Gennaio 2000: Dottorato di Ricerca in Ingegneria Elettronica ed Informatica, Università di Cagliari. Tesi: “Decentralized control of open-channel hydraulic systems” (relatore: Prof. G. Usai, Univ. di Cagliari).

 

ATTIVITÀ SVOLTA

Attività scientifica

L’attività della sottoscritta ha principalmente riguardato i seguenti campi dell’Automatica:

  • Sistemi ad eventi discreti, reti di Petri, diagnosi di guasto, osservabilità, opacità, controllo, analisi, modellazione.
  • Sistemi ibridi, sistemi a commutazione, analisi di stabilità, controllo, reti di Petri ibride.
  • Sistemi interconnessi, algoritmi di consenso, consenso discreto.
  • Applicazioni nei seguenti ambiti: manifatturiero, trasporti, sistemi meccanici.

 

Principali servizi prestati nell’ateneo

  • Dal 2015: Vice-presidente della Facoltà di Ingegneria e Architettura.
  • Dal 2013: Vice-coordinatore del Dottorato di Ricerca in Ingegneria Elettronica ed Informatica.
  • Dal 2015: Membro della Commissione Paritetica della Facoltà di Ingegneria e Architettura.
  • Dal 2016: Segretario del Consiglio di Corso di Laurea in Ingegneria Elettrica ed Elettronica.
  • 2003 – 2009, dal 2012: Membro della Giunta Dipartimentale (Dip. di Ing. Elettrica ed Elettronica).
  • Dal 2007: Membro del Collegio dei docenti del Dottorato in Ingegneria Elettronica ed Informatica.
  • Dal 2007: Membro della Commissione Erasmus di Ingegneria Elettronica.
  • 2012-2015: Presidente della Commissione Tirocini di Ingegneria Biomedica.

 

Attività didattica istituzionale

 Incarichi ufficiali di insegnamento (tutti relativi ad insegnamenti strettamente legati ai miei temi di ricerca)

  • AA 2002/2003, 2003/2004, 2004/2005, 2005/2006, 2007/2008, 2008/2009, 2009/2010, 2011/2012, 2012/2013, 2013/2014, 2014/2015, 2015/2016: titolare del corso di Automazione Industriale (6 crediti, ingegneria elettrica, elettronica, meccanica e telecomunicazioni).
  • AA 2016/2017: titolare del corso di Modelli per le reti di telecomunicazioni (6 crediti, ingegneria delle telecomunicazioni)
  • AA 2012/2013, AA 2013/2014, 2014/2015, 2015/2016, 2016/2017: titolare del corso di Analisi dei Sistemi (6 crediti, ingegneria elettrica ed elettronica; ingegneria elettrica, elettronica ed informatica)
  • AA 2012/2013, AA 2013/2014: titolare del corso di Elementi di Analisi dei Sistemi (5 crediti, ingegneria biomedica)
  • AA 2005/2006: titolare del corso di Analisi dei Sistemi (6 crediti, ingegneria elettronica).
  • AA 2006/2007, 2007/2008, 2008/2009, 2009/2010: titolare del corso di Teoria dei Sistemi (5 crediti, ingegneria biomedica).
  • AA 2008/2009, 2009/2010: titolare del corso di Fondamenti di Automatica (6 crediti, ingegneria elettrica e meccanica).
  • AA 2010/2011, 2011/2012: titolare del corso di Elementi di Analisi dei Sistemi (3 crediti, ingegneria biomedica).
  • AA 2002/2003, 2003/2004, 2004/2005, 2005/2006, 2006/2007, 2007/2008, 2008/2009, 2009/2010: titolare del corso di Gestione della Produzione (3 crediti, ingegneria elettrica ed elettronica).

 

Attività relative al Dottorato di Ricerca

Attività di tutorato

  • È co-relatrice delle tesi di dottorato:
    • Maria Paola Cabasino, “Diagnosis and identification of discrete event systems using Petri nets”, 2009.
    • Andrea Pinna, “Simulation and identification of gene regulatory networks”, 2014.
    • Mehran Zareh, “Consensus in multi-agent systems with time-delays”, 2015
  • È attualmente supervisore degli studenti di dottorato:
    • Graziana Cavone che studia problemi di ottimizzazione e analisi prestazionale in reti di trasporto modellate mediante reti di Petri.
    • Simone Zanda che studia problemi di ottimizzazione delle risorse umane in strutture ospedaliere.

Organizzazione di corsi e scuole di dottorato internazionali

  • Organizzatrice (con M.P. Cabasino, Cagliari, Italy; M. Silva, Zaragoza, Spain; J. van Schuppen, Amsterdam, The Netherlands) della DISC PhD School on Supervisory Control of Discrete Event Systems – Automata and Petri nets, June 6-10, 2011, Cagliari, Italy.
  • Organizzatrice (con E. Usai, Univ. di Cagliari) del PhD Course on Discrete event and Hybrid Systems, 21 Marzo, 27 Marzo, 23 Maggio, 6 Giugno, 20 Giugno, 17 Luglio 2007, Cagliari (Italy).

Membro di commissioni per l’esame di dottorato presso università straniere

  • Febbraio 2013, CINVESTAV, Guadalajara, Mexico (tesi di Ana Paula Estrada Vargas).
  • Luglio 2013, University of Zaragoza, Spain (tesi di Liewei Wang).
  • Giugno 2016, Xidian University, China (tesi di Yin Tong).

Presidente di commissione per l’esame di dottorato presso università straniere

  • Settembre 2013, Aix-Marseille University, France (tesi di Marco Pocci).

Attività didattica per scuole di dottorato all’estero

  • Ottobre 2006: Aalborg University, Department of Software and Media Technology, Esbjerg, Denmark:
    • 3 lectures durante il 9th IRS semester course “Discrete Event Systems and Supervisory Control” (6h)
    • 2 lectures durante il 9th IRS semester course “Hybrid Dynamical Systems” (5h).
  • Febbraio 2008: University of Zaragoza, Computer Science and Systems Engineering Department, Zaragoza, Spain:
    • Un modulo di 3 lectures (Control of Discrete Event Systems using Automata and Petri nets) all’interno del PhD Course “Modellado de Sistemas Concurrentes” (10 h).

Attività  didattica per scuole di dottorato in Italia

  • Luglio 2006: ha tenuto un ciclo di lezioni, per un totale di 4 ore, all’interno del Corso “Modelli per il controllo dei sistemi di produzione”, organizzato da R. Minciardi e F. Nicolò nell’ambito della Scuola di Dottorato CIRA “Antonio Ruberti” – X Edizione, Bertinoro (FL) , Italy.
  • Giugno 2007: ha tenuto un seminario di 2 ore all’interno del “PhD Course on Discrete Event and Hybrid Sistems” , Cagliari, Italy, relativo al “Controllo ottimo di sistemi a commutazione”.
  • Giugno 2011: ha tenuto un seminario all’interno della “DISC PhD School on Supervisory Control of Discrete Event Systems – Automata and Petri nets”, Cagliari, Italy, relativo ad “Osservabilità di sistemi ad eventi discreti”.
  • Luglio 2011: ha tenuto un seminario di 2 ore all’interno della Scuola di Dottorato del Politecnico di Bari relativo a “Diagnosi distribuita di sistemi ad eventi discreti”.

 

Attività editoriale

  • Senior Editor della rivista internazionale:
    • IEEE Control Systems Letters, (dal 2017).
  • Associate Editor delle seguenti riviste internazionali:
    • Nonlinear Analysis: Hybrid Systems, Elsevier (2007-2017).
    • IEEE Transactions on Automatic Control (dal 2013).
    • IEEE Transactions on Automation Science and Engineering (dal 2014).
    • Discrete Event Dyanamic Systems (dal 2015).
  • Associate Editor del Conference Editorial Board della IEEE Control System Society per l’American Control Conference e la Conference on Decision and Control (2006-2016).
  • Associate Editor del Conference Editorial Board della IEEE Control System Society per la Conference on Automation Science and Engineering (2012-2015).
  • Associate Editor del Conference Editorial Board della IEEE Robotics and Automation Society per l’International Conference on Robotics and Automation (2011-2013).
  • Associate Editor del Conference Editorial Board per l’European Control Conference (2013-2015).
  • Co-editor dei seguenti volumi a diffusione internazionale:
    • “Analysis and Design of Hybrid Systems 2006”, in IFAC Proceedings Volumes, Elsevier, 2006 (con C.G. Cassandras, A. Giua, J. Zaytoon).
    • “Control of Discrete-Event Systems. Automata and Petri Net Perspectives”, Lecture Notes in Control and Information Sciences, N. 433, Springer, 2012 (con M. Silva, J. van Schuppen).
    • “Formal Methods in Manufacturing”, CRC Press, Taylor & Francis, (con J. Campos, X. Xie), February 2014.
  • Co-editor dei seguenti Special Issues su riviste internazionali:
    • “Special Issue on Analysis and Design of Hybrid Systems”, Nonlinear Analysis: Hybrid Systems, Vol. 2, Issue 3, August 2008 (con C.G. Cassandras, A. Giua, J. Zaytoon).
    • “Special Issue on Discrete Event Methodologies for Hybrid Systems”, Discrete Event Dynamic Systems, Vol. 18, N. 2, June 2008 (con C.G. Cassandras, A. Giua, J. Zaytoon).
    • “Special Issue on Advances in Discrete Event Systems for Automation”, IEEE Trans. on Automation Science and Engineering, to appear in 2014 (con C. Cassandras, M.P. Fanti, C. Hadjicostis, S. Reveliotis).
  • Co-editor della Special Section su rivista internazionale:
    • “Special Section on ADHS’06: IFAC Conference on Analysis and Design of Hybrid Systems”, Control Engineering Practice, Vol. 16, Issue 8, August 2008 (con C.G. Cassandras, A. Giua, J. Zaytoon).
  • Revisore per Mathematical Reviews (2006 – 2009).

 

Coordinamento e partecipazione a comitati tecnici

  • Vice-Co-Chair dell’IFAC Technical Committee on Discrete Event and Hybrid Systems (2017-2020, con Yorai Wardi, Georgia Tech., Atlanta, USA).
  • Chair dell’IEEE IES Technical Committee on Factory Automation – Subcommittee on Industrial Automated Systems and Control dal 2012.
  • Co-chair dell’IEEE IES Technical Committee on Factory Automation – Subcommittee on Industrial Automated Systems and Control (2010, 2011, con A. Fay, of Hamburg, Germany).
  • Membro del Technical Committee on Discrete Event Systems della IEEE System, Man and Cybernetics Society (dal 2013).
  • Membro dell’IFAC Technical Committee on Discrete Event and Hybrid Systems (dal 2005).
  • Membro dell’IEEE IES Technical Committee on Factory Automation – Subcommittee on Industrial Automated Systems and Controls (dal 2008 al 2010).
  • Rappresentante dell’Università di Cagliari (insieme ad A. Giua) dell’International Curriculum Option of Doctoral Studies (2006 – 2011).

 

Organizzazione di eventi scientifici in sede nazionale ed internazionale

  • Senior Editor della serie di Conferenze Internazionali:
    • CASE: IEEE Conference on Automation Science and Engineering, (2017-2019).
  • Workshop Chair della Conferenza Internazionale:
    • CDC2016: 55th IEEE Conference on Decision and Control, (Las Vegas, USA), December 2016.
  • General Chair della Conferenza Internazionale:
    • ETFA’2013: 18th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Cagliari, Italy), September 2013 (con R. Zurawski, ISA Group, San Francisco, CA, USA).
  • Membro dello Steering Committee per la Conferenza Internazionale:
    • ETFA: Emerging Technology in Factory Automation (since 2013).
  • Chair of Work-in-Progress and Industry Practice paper per la Conferenza Internazionale:
    • ETFA’2015: 20th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Luxembourg), September 2015.
  • Special Session Chair per la conferenza Internazionale:
    • CASE’2015: IEEE Conf. on Automation Science and Engineering (Gothenburg, Sweden), August 2015.
  • Chair del Comitato di Organizzazione Nazionale per le Conferenze Internazionali:
    • ADHS06: on the Analysis and Design of Hybrid Systems (Alghero, Italy), June 2006.
    • ETFA’2013: 18th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Cagliari, Italy), September 2013.
  • Track co-Chair per le Conferenze Internazionali:
    • ETFA’2012: 17th IEEE Int. on Emerging Technologies in Factory Automation (Kraków, Poland), September 2012 [Track 4: Automated Manufacturing Systems] (con C. Mahulea, Zaragoza, Spain).
    • ETFA’2014: 19th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Barcelona, Spain), September 2014 [Track 4: Automated Manufacturing Systems] (con C. Mahulea, Zaragoza, Spain).
  • Membro del Comitato di Organizzazione Nazionale per la Conferenza Internazionale:
    • VSS’06: 9th Workshop on Variable Structure Systems (Alghero, Italy), June 2006.
  • Collaboratrice nell’organizzazione della Riunione Annuale di Coordinamento CIRA 2004, Villasimius (CA), Settembre 2004.
  • Organizzatrice (con A. Giua, Univ. di Cagliari) del Kickoff Meeting the Progetto Europeo DISC (Distributed Supervisory Control of Large Plants), Cagliari, Settembre 2008.
  • Membro del Comitato di Programma Internazionale di oltre 60 Conferenze e Workshop Internazionali.
  • Membro dell’Awards Committee per la Conferenza Internazionale:
    • CASE’13: 9th IEEE Conf. on Automation Science and Engineering (Madison, Wisconsin, USA), August 2013.
  • Organizzatrice del seguente Workshop in una Conferenza Internazionale:
    • “Petri nets Applications”, CASE’2015: IEEE Conf. on Automation Science and Engineering (Gothenburg, Sweden), August 2015 (con M. Dotoli).
  • Organizzatrice delle seguenti sessioni invitate in Conferenze Internazionali:
    • “Estimation and Diagnosis of Manufacturing Systems”, ETFA01: 8th Int. Conf. on Emerging Technologies and Factory Automation, (Antibes, France), October 2001 (con A. Giua, U. di Cagliari, Italy).
    • “Control of Discrete Event Systems Using Petri Nets I & II”, CESA03: Multiconference on Computational Engineering in Systems Applications, (Lille, France), July 2003 (con A. Giua, U. di Cagliari, Italy).
    • “Petri nets: Estimation and Control”, ETFA03: 9th Int. Conf. on Emerging Technologies and Factory Automation (Lisbon, Portugal), September 2003 (con L. Recalde, U. of Zaragoza, Spain).
    • “Colored Petri nets: Theory and Applications”, WODES04: 7th Workshop on Discrete Event Systems (Reims, France), September 2004 (con M.P. Fanti, Pol. di Bari, Italy).
    • “Petri nets”, CDC-ECC’05: 44th IEEE Int. Conf. on Decision and Control and European Control Conference 2005, (Seville, Spain), December 2005 (con F. Basile, U. di Salerno, Italy).
    • “Controller and Observer Design of Discrete Event Systems using Petri nets”, ACC’07: 2007 American Control Conference, (New York, USA), July 2007 (con F. Basile, U. di Salerno, Italy).
    • “Fault diagnosis and identification of discrete event systems using Petri nets”, WODES08: 9th Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008 (con M.P. Fanti, Pol. di Bari, Italy).
    • “Petri nets: theory and applications”, 2009 American Control Conference, ( Louis,
      Missouri, USA), June 2009 (con C. Mahulea, U. of Zaragoza, Spain).
    • “Petri nets: deadlock avoidance and control”, IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), August 2011 (con M. Dotoli, Pol. of Bari, Italy).
    • “Petri nets: modelling, analysis and simulation”, IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), August 2011 (con M. Dotoli, Pol. of Bari, Italy).
    • “Approaches for the analysis and control of Petri nets”, 12th Work. on Discrete Event Systems (Guadalajara, Mexico), October 2012 (con H. Alla, Univ. of Grenoble, France).
    • “Control, state estimation and diagnosis of discrete-event systems”, 52nd IEEE Int. Conf. on Decision and Control (Florence, Italy), December 2013 (con M. Dotoli, Pol. of Bari, Italy).

 

Attività in progetti di ricerca

 Titolare progetti di ricerca internazionali

  • Coordinatore nazionale del Progetto “Compositional Techniques for Analysis of Safety Critical Interconnected Systems” finanziato da Republic of Cyprus and European Regional Development Fund all’interno del Programme for Research, Technological Development and Innovation 2009-2010 coordinato a livello internazionale dal Prof. C. Hadjicostis, Univ. of Cyprus (2012 – 2014).

Titolare progetti di ricerca finanziati dalla regione Sardegna

  • Progetto di ricerca fondamentale o di base finanziato dalla regione Sardegna, Legge Regionale 7, 2008 (2010-2012): “Identificazione, ricostruzione dello stato e diagnosi di sistemi ad eventi discreti mediante reti di Petri”.

Partecipazione a progetti di ricerca europei e reti di eccellenza

  • 2004: HYCON “Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems”, VI programma quadro (membro per il nodo di Siena della rete di eccellenza europea).
  • 2008¸2011: EUROPEAN PROJECT “Distributed Supervisory Control of Large Plants – DISC” (FP7 – ICT 2007-2), (Coordinatore A. Giua, U. di Cagliari).
  • 2010¸2012: Network of Excellence HYCON2 “Highly-complex and networked control systems” (FP7 – ICT 2009-5), (Coordinatore F. Lamnabhi-Lagarrigue, Lab. Des Signaux et Systemes L2S, CNRS, Paris, France).

Partecipazione ad altri progetti internazionali

  • 2004¸2006: “Redes de Petri Continuas e Híbridas: Modelado, análisis y síntesis”, (resp. M. Silva, Pol. de Zaragoza, Spain).
  • 2007¸2008: Azioni integrate Italia-Spagna: “Osservabilità e osservatori per modelli ad eventi discreti e fluidi”, (coordinatore italiano A. Giua, U. di Cagliari; coordinatore spagnolo L. Recalde, Pol. de Zaragoza).
  • 1998¸1999: CNR progetto coordinato “DEDICA: Dinamica ad eventi discreti ed ibrida per il controllo della fabbrica del futuro” (resp. S. Nicosia, U. di Roma “Tor Vergata”).
  • 2003: Progetto Crui Vigoni: “Controllo ottimo e supervisivo per sistemi ibridi” (resp. A. Giua, U. di Cagliari).

Partecipazione a progetti finanziati dalla regione Sardegna

  • 2000: Progetto finanziato dalla regione Sardegna: “Realizzatore di un simulatore per sistemi ad eventi discreti e ibridi” (resp. A. Giua, U. di Cagliari).
  • 2007¸2008: POR Sardegna – Misura 3.13: “Sviluppo di uno strumento di diagnosi per l’analisi di guasto in sistemi distribuiti – DIAGDIS” (resp. scientifico A. Giua, U. di Cagliari).

 

Visite presso istituti di ricerca stranieri

  • Gennaio 1998: Visiting student presso il CEMAGREF, Institut de Recherche pour l’Ingegnerie de l’Agriculture et de l’environement, Montpellier, France.
  • Dicembre 2004, Ottobre 2006, Febbraio 2008: Visiting researcher presso il Dep.to Informática e Ingeneiría de Sistemas, Centro Politécnico Superior, Zaragoza, Spain.
  • Ottobre 2006: Visiting Professor presso la Aalborg University, Department of Software and Media Technology, Esbjerg, Denmark.
  • Gennaio 2013: Visiting Professor presso la School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, USA.
  • Febbraio 2013: Visiting Professor presso il CINVENSTAV, Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Guadalajara, Mexico.
  • Ottobre 2014: Visiting Professor presso la University of Cyprus, Nicosia, Cyprus.
  • Gennaio 2015: Visiting Professor presso la School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, USA.
  • Febbraio 2017: Visiting Professor presso la School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, USA.
  • Giugno 2017: Visiting Professor presso la Xidian Unvisersity, China.

 

Relazioni invitate

  • “First-Order Hybrid Petri nets. An application to distributed manufacturing systems”, IFNA Int. Conf. on Hybrid Systems and Applications, Lafayette, Louisiana, USA, May 2006.
  • “Diagnosis and diagnosability of Petri nets”, School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, USA, January 2013.
  • “Fault diagnosis of discrete event systems using labeled Petri nets”, Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Guadalajara, Mexico, February 2013.
  • “Fault diagnosis of discrete event systems using Petri nets”, 8th Workshop on Verification and Evaluation of Computer and Communication Systems”, Bejaia, Algeria, September 2014.
  • “Decentralized fault diagnosis of discrete event systems using labeled Petri nets”, University of Cyprus, Nicosia, Cyprus, October 2014.
  • “Decentralized fault diagnosis and diagnosability analysis of discrete event dynamic systems using Petri nets”, Georgia Institute of Technology, Atlanta, USA, January 2015.
  • “Fault diagnosis and diagnosability analysis of Petri nets”, Osaka Univerity, Japan, December 2015.
  • “Decentralized fault diagnosis and codiagnosability analysis of discrete event systems using Petri nets”, Xidian University, China, June 2017.

 

PUBBLICAZIONI 

  • Autore di un libro di testo edito dalla Springer Verlag Italia.
  • Editore di due libri a diffusione internazionali (uno edito dalla Springer, l’altro editor dalla CRC Press, Taylor & Francis)
  • Editor degli atti di due conferenze internazionali.
  • Autore di 64 articoli su riviste internazionali.
  • Editore di 4 numeri/sezioni speciali su riviste internazionali.
  • Autore di 14 capitoli di libro a diffusione internazionale.
  • Autore di 144 articoli su riviste a diffusione internazionale.

 

 

 

 

 

 

 

CV of Carla Seatzu (updated at 7/07/17)

CURRENT POSITION

  • Associate Professor (ING-INF/04) in the Dep. of Electrical and Electronic Engineering, University of Cagliari (since October 2011).

[In 2013 (call 2012) she got the Italian National Abilitation to Full Professor of Automatic Control]

 

PREVIOUS POSITIONS

  • Jul 2000 ¸ 2002: Post-doc student, research project “Identification and state reconstruction of discrete event systems modeled with Petri nets” (supervisor: A. Giua), Dep. of Electrical and Electronic Engineering, University of Cagliari.
  • 2002 ¸ Sep. 2011: Assistant Professor (ING-INF/04) at the Dep. of Electrical and Electronic Engineering, University of Cagliari.

 

EDUCATION

  • February 1996: Master degree in Electrical Engineering (110/110 cum laude), University of Cagliari. Thesis: “Lyapunov transformations for the stabilization of linear time-variant systems. An application to the movement of suspended loads” (supervisor: Prof. G. Usai, of Cagliari).
  • June 1996: Enabling at the Practice of the Engineering Profession, University of Cagliari.
  • January 2000: D in Electronic Engineering and Computer Science, University of Cagliari. Thesis: “Decentralized control of open-channel hydraulic systems” (supervisor: Prof. G. Usai, Univ. of Cagliari).

 

MAIN ACTIVITIES

Research activity

Her research interests span different domains of Information and Communications Technology with a focus in Automation, Control and Computer Engineering.

  • Main research areas: Discrete event and hybrid systems; Petri nets and automata theory; failure diagnosis; optimal control of switched systems; networked control systems; consensus and complex networks.
  • Other research interests: Automated manufacturing systems; transportation systems; control of mechanical systems.

 

Main institutional positions at the University of Cagliari

  • Vice-President of the Faculty Committee of Engineering and Architecture (since November 2015).
  • Vice-Coordinator of the PhD Program in Electronic and Computer Engineering (since April 2014).

 

Institutional courses at the University of Cagliari

  • Since 2002 she teaches/has tought courses on Industrial Automation, Systems Theory, Automatic Control, and Production Management. All such courses are strictly related to my research activity.

 

Activity related to Ph.D

  • She is co-supervisor of the Ph.D thesis:
    • P. Cabasino, “Diagnosis and identification of discrete event systems using Petri nets”, 2009.
    • A. Pinna, “Simulation and identification of gene regulatory networks”, 2014.
    • M. Zareh, “Consensus in multi-agent systems with time-delays”, 2015.
  • She is currently co-supervisor of the following Ph.D students:
    • G. Cavone who studies optimization and management of intermodal terminals using Petri nets.
    • S. Zanda who studies problems of scheduling of manpower optimization.
  • She has actively collaborated to the supervision of many Ph.D students, in particular:
    • D. Corona, “Optimal control of linear affine hybrid automata”, 2005.
    • M. Franceschelli, “Consensus algorithms for estimation and discrete averaging in networked control systems”, 2011.
    • Y. Tong,“Observation structures and opacity problems in discrete event systems”, 2017.
  • She hosted under her supervision the Ph.D students
    • Carlos Aurelio López Limón, University of Guadalajara, Mexico (Sept. – Dec. 2013) with whom she studied the problem of deriving efficient decentralized algorithms to estimate the centroid of multi-agent systems.
    • Ning Ran, Zhejiang University, Hangzhou (Nov. 2015-Oct. 2016) with whom she studied the problem of fault diagnosis and (co)diagnosability analysis of Petri nets.

Organization of international courses and Ph.D schools

  • Organizer (with M.P. Cabasino, Cagliari, Italy; M. Silva, Zaragoza, Spain; J. van Schuppen, Amsterdam, The Netherlands) of the DISC PhD School on Supervisory Control of Discrete Event Systems – Automata and Petri nets, June 6-10, 2011, Cagliari, Italy.
  • Organizer (with E. Usai, Univ. di Cagliari) of the PhD Course on Discrete event and Hybrid Systems, 21 March, 27 March, 23 May, 6 June, 20 June, 17 July 2007, Cagliari (Italy).

Member of Ph.D Juries abroad

  • February 2013, CINVESTAV, Guadalajara, Mexico (thesis of Ana Paula Estrada Vargas).
  • July 2013, University of Zaragoza, Spain (thesis of Liewei Wang).
  • June 2017, Xidian University, China (thesis of Yin Tong).

President of Ph.D. Juries abroad

  • September 2013, Aix-Marseille University, France (thesis of Marco Pocci).

Teaching activities for Ph.D schools abroad

  • October 2006: Aalborg University, Department of Software and Media Technology, Esbjerg, Denmark:
    • 3 lectures at the 9th IRS semester course “Discrete Event Systems and Supervisory Control” (6h)
    • 2 lectures at the 9th IRS semester course “Hybrid Dynamical Systems” (5h).
  • February 2008: University of Zaragoza, Computer Science and Systems Engineering Department, Zaragoza, Spain:
    • a module of 3 lectures (Control of Discrete Event Systems using Automata and Petri nets) within the PhD Course “Modellado de Sistemas Concurrentes” (10 h).

Teaching activities for Ph.D schools in Italy

  • July 2006: she gave a seminar of 4 hours within the course “Mathematical models for the control of production systems”, organized by R. Minciardi and F. Nicolò within the CIRA Ph.D School “Antonio Ruberti” – X Edition, Bertinoro (FL) , Italy.
  • June 2007: she gave a seminar of 2 hours within the “PhD Course on Discrete Event and Hybrid Systems”, Cagliari, Italy, dealing with “Optimal control of switched systems”.
  • June 2011: she gave a seminar within the “DISC PhD School on Supervisory Control of Discrete Event Systems – Automata and Petri nets”, Cagliari, Italy, dealing with “Observability of discrete event systems”.
  • July 2011: she gave a seminar within the D School of the Polytechnics of Bari, Italy, dealing with the “Distributed diagnosis of discrete event systems”.

 

Editorial activities

  • Senior Editor of the international journal:
    • IEEE Control Systems Letters, (since2017).
  • Associate Editor of the international journals:
    • Nonlinear Analysis: Hybrid Systems, Elsevier (2007-2017).
    • IEEE Transactions on Automatic Control (since 2013).
    • IEEE Transactions on Automation Science and Engineering (since 2014).
    • Discrete Event Dyanamic Systems (since 2015).
  • Associate Editor of the Conference Editorial Board of the IEEE Control System Society for the American Control Conference e la Conference on Decision and Control (2006-2016).
  • Associate Editor of the Conference Editorial Board of the IEEE Control System Society for the Conference on Automation Science and Engineering (2012-2015).
  • Associate Editor of the Conference Editorial Board of the IEEE Robotics and Automation Society for the International Conference on Robotics and Automation (2011-2013).
  • Associate Editor of the Conference Editorial Board for the European Control Conference (2013-2015).
  • Co-editor of the following international volumes:
    • “Analysis and Design of Hybrid Systems 2006”, in IFAC Proceedings Volumes, Elsevier, 2006 (con C.G. Cassandras, A. Giua, J. Zaytoon).
    • “Control of Discrete-Event Systems. Automata and Petri Net Perspectives”, Lecture Notes in Control and Information Sciences, N. 433, Springer, 2012 (con M. Silva, J. van Schuppen).
    • “Formal Methods in Manufacturing”, CRC Press, Taylor & Francis, (con J. Campos, X. Xie), February 2014.
  • Co-editor of the following special issues on international journals:
    • “Special Issue on Analysis and Design of Hybrid Systems”, Nonlinear Analysis: Hybrid Systems, Vol. 2, Issue 3, August 2008 (con C.G. Cassandras, A. Giua, J. Zaytoon).
    • “Special Issue on Discrete Event Methodologies for Hybrid Systems”, Discrete Event Dynamic Systems, Vol. 18, N. 2, June 2008 (con C.G. Cassandras, A. Giua, J. Zaytoon).
    • “Special Issue on Advances in Discrete Event Systems for Automation”, IEEE Trans. on Automation Science and Engineering, to appear in 2014 (con C. Cassandras, M.P. Fanti, C. Hadjicostis, S. Reveliotis).
  • Co-editor of the Special Section on an international journal:
    • “Special Section on ADHS’06: IFAC Conference on Analysis and Design of Hybrid Systems”, Control Engineering Practice, Vol. 16, Issue 8, August 2008 (con C.G. Cassandras, A. Giua, J. Zaytoon).
  • Reviewer for Mathematical Reviews (2006 – 2009).

 

Coordination and partecipation to technical committees

  • Vice-Co-Chair of the IFAC Technical Committee on Discrete Event and Hybrid Systems (2017-2020, with Yorai Wardi, Georgia Tech., Atlanta, USA).
  • Chair of the IEEE IES Technical Committee on Factory Automation – Subcommittee on Industrial Automated Systems and Control since 2012.
  • Co-chair of the IEEE IES Technical Committee on Factory Automation – Subcommittee on Industrial Automated Systems and Control (2010, 2011, con A. Fay, of Hamburg, Germany).
  • Member of the Technical Committee on Discrete Event Systems of the IEEE System, Man and Cybernetics Society (since 2013).
  • Member of the IFAC Technical Committee on Discrete Event and Hybrid Systems (2005-2016).
  • Member of the IEEE IES Technical Committee on Factory Automation – Subcommittee on Industrial Automated Systems and Controls (2008 – 2010).
  • Reference person for the University of Cagliari (with A. Giua) of the International Curriculum Option of Doctoral Studies (2006 – 2011).

 

Organization of national and international scientific events

  • Senior Editor of the series of international conferences:
    • CASE: IEEE Conference on Automation Science and Engineering, (2017-2019).
  • Workshop Chair of the international conference:
    • CDC2016: 55th IEEE Conference on Decision and Control, (Las Vegas, USA), December 2016.
  • General Chair of the international conference:
    • ETFA’2013: 18th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Cagliari, Italy), September 2013 (with R. Zurawski, ISA Group, San Francisco, CA, USA).
  • Member of the Steering Committee of the series of international conferences:
    • ETFA: Emerging Technology in Factory Automation (since 2013).
  • Chair of Work-in-Progress and Industry Practice paper for the international conference:
    • ETFA’2015: 20th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Luxembourg), September 2015.
  • Special Session Chair for the international conference:
    • CASE’2015: IEEE Conf. on Automation Science and Engineering (Gothenburg, Sweden), August 2015.
  • Chair of the National Organizing Committee for the international conference:
    • ADHS06: on the Analysis and Design of Hybrid Systems (Alghero, Italy), June 2006.
    • ETFA’2013: 18th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Cagliari, Italy), September 2013.
  • Track co-Chair for the international conferences:
    • ETFA’2012: 17th IEEE Int. on Emerging Technologies in Factory Automation (Kraków, Poland), September 2012 [Track 4: Automated Manufacturing Systems] (con C. Mahulea, Zaragoza, Spain).
    • ETFA’2014: 19th IEEE Int. Conf. on Emerging Technologies in Factory Automation (Barcelona, Spain), September 2014 [Track 4: Automated Manufacturing Systems] (con C. Mahulea, Zaragoza, Spain).
  • Member of the National Organizing Committee of the international conference:
    • VSS’06: 9th Workshop on Variable Structure Systems (Alghero, Italy), June 2006.
  • Member of the organizing team of the Annual Meeting of Italian Researchers in Automatic Control CIRA 2004, Villasimius (CA), September 2004.
  • Organizer (with A. Giua, Univ. di Cagliari) of the Kickoff Meeting of European Project DISC (Distributed Supervisory Control of Large Plants), Cagliari, September 2008.
  • Member of the International Program Committee of over 60 international conferences and workshops.
  • Member of the Awards Committee of the international conference:
    • CASE’13: 9th IEEE Conf. on Automation Science and Engineering (Madison, Wisconsin, USA), August 2013.
  • Organizer of the following Workshop in an international conference:
    • “Petri nets Applications”, CASE’2015: IEEE Conf. on Automation Science and Engineering (Gothenburg, Sweden), August 2015 (con M. Dotoli).
  • Organizer of the following special sessions in international conferences:
    • “Estimation and Diagnosis of Manufacturing Systems”, ETFA01: 8th Int. Conf. on Emerging Technologies and Factory Automation, (Antibes, France), October 2001 (con A. Giua, U. di Cagliari, Italy).
    • “Control of Discrete Event Systems Using Petri Nets I & II”, CESA03: Multiconference on Computational Engineering in Systems Applications, (Lille, France), July 2003 (con A. Giua, U. di Cagliari, Italy).
    • “Petri nets: Estimation and Control”, ETFA03: 9th Int. Conf. on Emerging Technologies and Factory Automation (Lisbon, Portugal), September 2003 (con L. Recalde, U. of Zaragoza, Spain).
    • “Colored Petri nets: Theory and Applications”, WODES04: 7th Workshop on Discrete Event Systems (Reims, France), September 2004 (con M.P. Fanti, Pol. di Bari, Italy).
    • “Petri nets”, CDC-ECC’05: 44th IEEE Int. Conf. on Decision and Control and European Control Conference 2005, (Seville, Spain), December 2005 (con F. Basile, U. di Salerno, Italy).
    • “Controller and Observer Design of Discrete Event Systems using Petri nets”, ACC’07: 2007 American Control Conference, (New York, USA), July 2007 (con F. Basile, U. di Salerno, Italy).
    • “Fault diagnosis and identification of discrete event systems using Petri nets”, WODES08: 9th Workshop on Discrete Event Systems, (Göteborg, Sweden), May 2008 (con M.P. Fanti, Pol. di Bari, Italy).
    • “Petri nets: theory and applications”, 2009 American Control Conference, ( Louis,
      Missouri, USA), June 2009 (con C. Mahulea, U. of Zaragoza, Spain).
    • “Petri nets: deadlock avoidance and control”, IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), August 2011 (con M. Dotoli, Pol. of Bari, Italy).
    • “Petri nets: modelling, analysis and simulation”, IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), August 2011 (con M. Dotoli, Pol. of Bari, Italy).
    • “Approaches for the analysis and control of Petri nets”, 12th Work. on Discrete Event Systems (Guadalajara, Mexico), October 2012 (con H. Alla, Univ. of Grenoble, France).
    • “Control, state estimation and diagnosis of discrete-event systems”, 52nd IEEE Int. Conf. on Decision and Control (Florence, Italy), December 2013 (con M. Dotoli, Pol. of Bari, Italy).

 

Activity in Research Projects

 Coordination of international projects

  • Local coordinator of the Project “Compositional Techniques for Analysis of Safety Critical Interconnected Systems” supported by Republic of Cyprus and European Regional Development Fund within the Programme for Research, Technological Development and Innovation 2009-2010, coordinated by Prof. C. Hadjicostis, Univ. of Cyprus (2012 – 2014).

Coordination of projects supported by Region Sardinia

  • Project of fundamental research or basis research supported by Region Sardinia, Regional Law 7, 2008 (2010-2012): “Identification, state reconstruction and diagnosis of discrete event systems using Petri nets”.

Participation to European research projects and networks of excellence

  • 2004: HYCON “Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems”, VI programma quadro (member of the unity of Siena in the European network of excellence).
  • 2008¸2011: EUROPEAN PROJECT “Distributed Supervisory Control of Large Plants – DISC” (FP7 – ICT 2007-2), (Coordinator A. Giua, of Cagliari).
  • 2010¸2012: Network of Excellence HYCON2 “Highly-complex and networked control systems” (FP7 – ICT 2009-5), (Coordinator F. Lamnabhi-Lagarrigue, Lab. Des Signaux et Systemes L2S, CNRS, Paris, France).

Participation to other international projects

  • 2004¸2006: “Continuous and hybrid Petri nets: modeling, analysis and synthesis”, (resp. M. Silva, Pol. of Zaragoza, Spain).
  • 2007¸2008: Integrated actions Italy-Spain: “Observability and observers for discrete event and fluid models”, (Italian coordinator A. Giua, of Cagliari; Spainsh coordinator L. Recalde, Pol. of Zaragoza).
  • 1998¸1999: CNR coordinated project “DEDICA: Dynamics of discrete event and hybrid systems for the control of the factory of the future” (resp. Nicosia, U. of Roma “Tor Vergata”).
  • 2003: Project Crui Vigoni: “Supervisory and optimal control of hybrid systems” (resp. A. Giua, of Cagliari).

Participation to projects supported by region Sardinia

  • 2000: “Implementation of simulator for discrete event and hybrid systems” (resp. A. Giua, of Cagliari).
  • 2007¸2008: POR Sardegna – Misura 3.13: “Development of a tool for the fault diagnosis in distributed systems – DIAGDIS” (resp. A. Giua, of Cagliari).

 

Visits to foreign universities and research centres

  • January 1998: Visiting student presso il CEMAGREF, Institut de Recherche pour l’Ingegnerie de l’Agriculture et de l’environement, Montpellier, France.
  • December 2004, October 2006, February 2008: Visiting researcher at Dep.to Informática e Ingeneiría de Sistemas, Centro Politécnico Superior, Zaragoza, Spain.
  • October 2006: Visiting Professor at the Aalborg University, Department of Software and Media Technology, Esbjerg, Denmark.
  • January 2013, January 2015, February 2017: Visiting Professor at the School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, USA.
  • February 2013: Visiting Professor at the CINVENSTAV, Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Guadalajara, Mexico.
  • October 2014: Visiting Professor at the University of Cyprus, Nicosia, Cyprus.
  • June 2017: Visiting Professor presso la Xidian Unvisersity, China.

 

Invited talks

  • “First-Order Hybrid Petri nets. An application to distributed manufacturing systems”, IFNA Int. Conf. on Hybrid Systems and Applications, Lafayette, Louisiana, USA, May 2006.
  • “Diagnosis and diagnosability of Petri nets”, School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, USA, January 2013.
  • “Fault diagnosis of discrete event systems using labeled Petri nets”, Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional, Guadalajara, Mexico, February 2013.
  • “Fault diagnosis of discrete event systems using Petri nets”, 8th Workshop on Verification and Evaluation of Computer and Communication Systems”, Bejaia, Algeria, September 2014.
  • “Decentralized fault diagnosis of discrete event systems using labeled Petri nets”, University of Cyprus, Nicosia, Cyprus, October 2014.
  • “Decentralized fault diagnosis and diagnosability analysis of discrete event dynamic systems using Petri nets”, Georgia Institute of Technology, Atlanta, USA, January 2015.
  • “Fault diagnosis and diagnosability analysis of Petri nets”, Osaka Univerity, Japan, December 2015.
  • “Decentralized fault diagnosis and codiagnosability analysis of discrete event systems using Petri nets”, Xidian University, China, June 2017.

 

PUBLICATIONS

  • Author of one text book edited by Springer Verlag Italia.
  • Editor of two international books
  • Editor of the proceedings of two international conferences.
  • Author of 64 papers in international journals.
  • Editor of 4 special issues/sections on international journals.
  • Author of 14 chapters of international books.
  • Author of 144 papers in the proceedings of international conferences (with peer review).

 

 

 

Questionario e social

Condividi su: