Marking Observer in Labeled Petri Nets With Application to Supervisory Control

DOI10.1109/TAC.2016.2592952zbMATH Open1366.93074MaRDI QIDQ5282426FDOQ5282426

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)

• 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)