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

DOI10.1109/9.280750zbMath0823.93003OpenAlexW2115241031MaRDI QIDQ4306699

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

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

Related Items

An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems ⋮ 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 ⋮ Feedback control of Petri nets based on place invariants ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Supervisory control of discrete event systems ⋮ Matrix-based discrete event control for surveillance mobile robotics ⋮ Maximally permissive supervisor synthesis based on a new constraint transformation method ⋮ Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids ⋮ An application of discrete-event theory to truck dispatching ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Supervisory control of marked graphs with partial observations ⋮ Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming ⋮ A new approach to modelling, control and simulation of knowledgeable manufacturing cell ⋮ Structural optimal control for safe Petri nets ⋮ Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm ⋮ Synthesis of Petri net supervisors enforcing general constraints ⋮ Lifted structural invariant analysis of Petri net product lines ⋮ Linear control of live marked graphs