Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
From MaRDI portal
Publication:5282376
DOI10.1109/TAC.2016.2586604zbMath1366.93354MaRDI QIDQ5282376
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Resource failure and buffer space allocation control for automated manufacturing systems ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Design of supervisors for linear marking specifications in labeled Petri nets
This page was built for publication: Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
