Marking Observer in Labeled Petri Nets With Application to Supervisory Control

DOI10.1109/TAC.2016.2592952MaRDI QIDQ5282426zbMATH OpenFDO

Authors Maria Paola Cabasino, Christoforos N. Hadjicostis, C. Seatzu

Publication date 27 July 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Observability (93B07) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(8)

• Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
• Design of supervisors for linear marking specifications in labeled Petri nets
• An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Supervisory control of discrete-event systems under external attacks
• Resource failure and buffer space allocation control for automated manufacturing systems
• Probabilistic Marking Estimation in Labeled Petri Nets
• Symbolic state estimation in bounded timed labeled Petri nets

This page was built for publication: Marking Observer in Labeled Petri Nets With Application to Supervisory Control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282426)