Concepedia

Maria Paola Cabasino

MP

Statistics

Publications

27

Citations

1.6K

H-Index

18

Active since

2006

Affiliations

University of Cagliari(Current)

University of Illinois Urbana-Champaign

University of Bologna

University of Cyprus

University of Salerno

Maria Paola Cabasino is an author at University of Cagliari specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsProcess ControlFormal VerificationDiagnosisVerificationReliability EngineeringIndustrial Informatics

Publications per year

2006–2016

27

Publications

27

Fault detection for discrete event systems using Petri nets with unobservable transitions

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu · Automatica · 2010 · 346 citations · Full text

Petri Net, Reliability Engineering, Engineering +13

Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

Maria Paola Cabasino, Alessandro Giua, Marco Pocci et al. · Control Engineering Practice · 2011 · 182 citations

Petri Net, Engineering, Discrete Event System +13

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 2012 · 153 citations · Full text

Petri Net, Engineering, Reachability Problem +26

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions

Francesco Basile, Maria Paola Cabasino, Carla Seatzu · IEEE Transactions on Automatic Control · 2014 · 132 citations

Petri Net, Fault Diagnosis, Engineering +19

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu · IEEE Transactions on Automation Science and Engineering · 2013 · 107 citations · Full text

Petri Net, Engineering, Fault Event +17

1–5 of 27