Marking Observer in Labeled Petri Nets With Application to Supervisory Control
From MaRDI portal
Publication:5282426
DOI10.1109/TAC.2016.2592952zbMath1366.93074MaRDI QIDQ5282426
Maria Paola Cabasino, Carla Seatzu, Christoforos N. Hadjicostis
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Discrete event control/observation systems (93C65) Observability (93B07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Supervisory control of discrete-event systems under external attacks ⋮ Resource failure and buffer space allocation control for automated manufacturing systems ⋮ An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions ⋮ Symbolic state estimation in bounded timed labeled Petri nets ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Decentralized state estimation and diagnosis of p-time labeled Petri nets systems ⋮ Design of supervisors for linear marking specifications in labeled Petri nets
This page was built for publication: Marking Observer in Labeled Petri Nets With Application to Supervisory Control
