Maria Paola Cabasino

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