Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
From MaRDI portal
Publication:5282376
DOI10.1109/TAC.2016.2586604zbMATH Open1366.93354MaRDI QIDQ5282376FDOQ5282376
Authors: Jiliang Luo, MengChu Zhou 
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)
Cited In (11)
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- Complete inference via knowledge Petri nets and resolution rules
- Title not available (Why is that?)
- Resource failure and buffer space allocation control for automated manufacturing systems
- Synthesis of controllers of processes modeled as colored Petri nets
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
- New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Design of supervisors for linear marking specifications in labeled Petri nets
- Title not available (Why is that?)
This page was built for publication: Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282376)
