Maria Paola Cabasino

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 5

Top Topics

Discrete Event Systems

Top Venues

IEEE Trans. Autom. Control.

IEEE Trans. Syst. Man Cybern. Syst.

Discret. Event Dyn. Syst.

Publications

Francesco Basile, Maria Paola Cabasino, Carla Seatzu
Diagnosability Analysis of Labeled Time Petri Net Systems. IEEE Trans. Autom. Control. 62 (3) (2017)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
Marking Observer in Labeled Petri Nets With Application to Supervisory Control. IEEE Trans. Autom. Control. 62 (4) (2017)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
Probabilistic Marking Estimation in Labeled Petri Nets. IEEE Trans. Autom. Control. 60 (2) (2015)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions. IEEE Trans. Autom. Control. 60 (4) (2015)
Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu
Fault model identification and synthesis in Petri nets. Discret. Event Dyn. Syst. 25 (3) (2015)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
State feedback control of labeled Petri nets with uncertainty in the initial marking. ETFA (2014)
Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. Discret. Event Dyn. Syst. 24 (3) (2014)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
Initial marking estimation in labeled Petri nets in a probabilistic setting. CDC (2014)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
K-Diagnosability of Time Labeled Petri Nets. WODES (2014)
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
A Remark on the Decentralized Diagnosis of Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 44 (11) (2014)
Maria Paola Cabasino, Carla Seatzu, Christoforos N. Hadjicostis
Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking. SMC (2013)
Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu
Probabilistic marking estimation in labeled Petri nets. CDC (2013)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events. IEEE Trans. Syst. Man Cybern. Syst. 43 (2) (2013)
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 43 (6) (2013)
Francesco Basile, Maria Paola Cabasino, Carla Seatzu
Marking estimation of Time Petri nets with unobservable transitions. ETFA (2013)
Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu
A survey on efficient diagnosability tests for automata and bounded Petri nets. ETFA (2013)
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Autom. 49 (8) (2013)
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. WODES (2012)
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Trans. Autom. Control. 57 (12) (2012)
Maria Paola Cabasino, Alessandro Giua, Laura Marcias, Carla Seatzu
A comparison among tools for the diagnosability of discrete event systems. CASE (2012)
Maria Paola Cabasino, Mariagrazia Dotoli, Carla Seatzu
Marking estimation of fuzzy Petri nets. ETFA (2012)
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42 (4) (2012)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, A. Solinas, K. Zedda
Fault diagnosis of an ABS system using Petri nets. CASE (2011)
Maria Paola Cabasino, L. Contini, Alessandro Giua, Carla Seatzu, A. Solinas
A software platform for the integration of discrete event systems tools. CASE (2011)
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu
On decentralized observability of discrete event systems. CDC/ECC (2011)
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
Decentralized diagnosis of Petri nets. ACC (2010)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events. CASE (2010)
Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu
A new protocol for the decentralized diagnosis of labeled Petri nets. WODES (2010)
Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez
Fault diagnosis of manufacturing systems using continuous Petri nets. SMC (2010)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Fault detection for discrete event systems using Petri nets with unobservable transitions. Autom. 46 (9) (2010)
Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez
Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC (2009)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Discrete Event Diagnosis using Petri Nets. ICINCO-ICSO (2009)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Diagnosability of bounded Petri nets. CDC (2009)
Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez
New results for fault detection of untimed continuous Petri nets. CDC (2009)
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva
Observer design for untimed continuous Petri nets. ACC (2009)
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu
Diagnosability analysis of unbounded Petri nets. CDC (2009)
Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. CDC (2008)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Linear programming techniques for the identification of place/transition nets. CDC (2008)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Identification of Petri Nets from Knowledge of Their Language. Discret. Event Dyn. Syst. 17 (4) (2007)
Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
A state estimation problem for timed continuous Petri nets. CDC (2007)
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
State Estimation of Petri Nets by Transformation. CASE (2007)
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
Identification of unbounded Petri nets from their coverability graph. CDC (2006)