Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems

DOI10.1109/TAC.2016.2586604MaRDI QIDQ5282376zbMATH OpenFDO

Authors Jiliang Luo, MengChu Zhou

Publication date 27 July 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

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
• scientific article; zbMATH DE number 2117022 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1191000 (Why is no real title available?)
• New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets
• scientific article; zbMATH DE number 1755140 (Why is no real title available?)
• Design of supervisors for linear marking specifications in labeled Petri nets
• scientific article; zbMATH DE number 1820094 (Why is no real title available?)

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)