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)

Full work available at URL https://doi.org/10.1109/TAC.2016.2592952

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)

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