Control of vector discrete-event systems. II. Controller synthesis

DOI10.1109/9.280750MaRDI QIDQ4306699zbMATH OpenOpenAlexFDO

Authors Y. Li, W. Murray Wonham

Publication date 23 October 1995

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

Full work available at URL https://doi.org/10.1109/9.280750

zbMATH Keywords

linear integer programmingmemoryless and dynamic state feedbackvector disrete-event systems

Mathematics Subject Classification ID

Linear programming (90C05) Integer programming (90C10) General systems (93A10) Synthesis problems (93B50)

Recommendations

• Control of vector discrete-event systems. I. The base model
• Concurrent vector discrete-event systems
• scientific article; zbMATH DE number 4158510
• scientific article; zbMATH DE number 2059903
• Synthesis of feedback control logic for a class of controlled Petri nets

Cited in

(28)

• Petri nets for the design and operation of manufacturing systems
• Linear control of live marked graphs
• Feedback control of Petri nets based on place invariants
• Supervisory control of discrete event systems
• Lifted structural invariant analysis of Petri net product lines
• An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
• Synthesis of Petri net supervisors enforcing general constraints
• Structural optimal control for safe Petri nets
• Control of vector discrete-event systems. I. The base model
• Synthesis of feedback control logic for a class of controlled Petri nets
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• scientific article; zbMATH DE number 2059903 (Why is no real title available?)
• Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
• Supervisory control of marked graphs with partial observations
• Concurrent vector discrete-event systems
• On-line compositional controller synthesis for AGV
• On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
• Automated Technology for Verification and Analysis
• A new approach to modelling, control and simulation of knowledgeable manufacturing cell
• Matrix-based discrete event control for surveillance mobile robotics
• Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets
• The controller with installed polling program model for vector control systems
• Control of parameterized discrete event systems
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• Supervision based on place invariants: a survey
• An application of discrete-event theory to truck dispatching
• Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming

This page was built for publication: Control of vector discrete-event systems. II. Controller synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4306699)