Modular Feedback Logic for Discrete Event Systems
From MaRDI portal
Publication:5899777
DOI10.1137/0325066zbMath0698.93035OpenAlexW1982948055MaRDI QIDQ5899777
W. Murray Wonham, Peter J. Ramadge
Publication date: 1987
Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0325066
Related Items (23)
Control of parameterized discrete event systems ⋮ Controller Synthesis with Highly Simplified Linear Constraints ⋮ Supervision based on place invariants: a survey ⋮ Application of supervisory control theory to theme park vehicles ⋮ Modular supervisory control of discrete-event systems ⋮ Optimal Petri net supervisor synthesis for forbidden state problems using marking mask ⋮ Supervisory control of discrete event systems ⋮ On the computational power of swarm automata using agents with position information ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Min-plus realizable control design for partially observable timed event graphs under marking constraints ⋮ On condition/event systems with discrete state realizations ⋮ An algebraic approach to supervisory control ⋮ Invertibility of discrete-event dynamic systems ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Supervisory control of product and hierarchical discrete event systems ⋮ Structural decentralised control of concurrent discrete-event systems ⋮ Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems ⋮ Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations ⋮ Hierarchical control of discrete-event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ Stabilization and blocking in state feedback control of discrete event systems ⋮ Input/output discrete event processes and communication delays
This page was built for publication: Modular Feedback Logic for Discrete Event Systems
