Maria Paola Cabasino

IEEE Trans. Autom. Control., 2017

Diagnosability Analysis of Labeled Time Petri Net Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

2015

Probabilistic Marking Estimation in Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Fault model identification and synthesis in Petri nets.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2015

2014

A Remark on the Decentralized Diagnosis of Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2014

Diagnosability of Discrete-Event Systems Using Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications.

[BibT_eX]

[DOI]

Yu Ru

Discret. Event Dyn. Syst., 2014

K-Diagnosability of Time Labeled Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

State feedback control of labeled Petri nets with uncertainty in the initial marking.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Initial marking estimation in labeled Petri nets in a probabilistic setting.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2013

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2013

Optimal sensor selection for ensuring diagnosability in labeled Petri nets.

[BibT_eX]

[DOI]

Stéphane Lafortune

Autom., 2013

Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

A survey on efficient diagnosability tests for automata and bounded Petri nets.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Marking estimation of Time Petri nets with unobservable transitions.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Diagnosis of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Control of Discrete-Event Systems, 2013

Structural Analysis of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Control of Discrete-Event Systems, 2013

Introduction to Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Control of Discrete-Event Systems, 2013

Petri Nets with Time.

[BibT_eX]

[DOI]

Proceedings of the Control of Discrete-Event Systems, 2013

2012

Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets.

[BibT_eX]

[DOI]

Stéphane Lafortune

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Marking estimation of fuzzy Petri nets.

[BibT_eX]

[DOI]

Mariagrazia Dotoli

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A comparison among tools for the diagnosability of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

On decentralized observability of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Fault diagnosis of an ABS system using Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

A software platform for the integration of discrete event systems tools.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

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

[BibT_eX]

[DOI]

Autom., 2010

A new protocol for the decentralized diagnosis of labeled Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Fault diagnosis of manufacturing systems using continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2010

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Decentralized diagnosis of Petri nets.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

2009

Discrete Event Diagnosis using Petri Nets.

[BibT_eX]

Proceedings of the ICINCO 2009, 2009

New results for fault detection of untimed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability of bounded Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability analysis of unbounded Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Observer design for untimed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

Fault diagnoser design for untimed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 2009

2008

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications.

[BibT_eX]

[DOI]

Yu Ru

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Linear programming techniques for the identification of place/transition nets.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Identification of Petri Nets from Knowledge of Their Language.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2007

A state estimation problem for timed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

State Estimation of Petri Nets by Transformation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006

Identification of unbounded Petri nets from their coverability graph.

[BibT_eX]

[DOI]