Modular supervisory control of discrete-event systems
From MaRDI portal
Publication:1113863
DOI10.1007/BF02551233zbMath0661.93053OpenAlexW4214749219MaRDI QIDQ1113863
W. Murray Wonham, Peter J. Ramadge
Publication date: 1988
Published in: MCSS. Mathematics of Control, Signals, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02551233
Formal languages and automata (68Q45) Synthesis problems (93B50) Theory of operating systems (68N25) Model systems in control theory (93C99)
Related Items (59)
Some decision problems for parallel communicating grammar systems ⋮ Control of parameterized discrete event systems ⋮ Asymptotic behavior of random discrete event systems ⋮ Development of concurrent structural decentralised discrete event system using bisimulation concept ⋮ On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation ⋮ Application of supervisory control theory to theme park vehicles ⋮ On supervisory control of real-time discrete-event systems ⋮ Supervisory control of discrete event systems ⋮ SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ A characterization of realizable behavior in supervisory control of timed event graphs ⋮ An efficient modular method for the control of concurrent discrete event systems: A language-based approach ⋮ Supervisor direct synthesis method for a structured discrete dynamical system ⋮ Modular supervisory control for multi-floor manufacturing processes ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Natural projection as partial model checking ⋮ Decentralized control of infinite systems ⋮ Incremental model evolution and reusability of supervisors for discrete event systems ⋮ Supervisor specification and synthesis for discrete event systems ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ On tolerable and desirable behaviors in supervisory control of discrete event systems ⋮ Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method ⋮ A new method for centralised and modular supervisory control of real-time discrete event systems ⋮ On nonconflicting languages that arise in supervisory control of discrete event systems ⋮ Control of discrete-event systems with modular or distributed structure ⋮ On controllability and normality of discrete event dynamical systems ⋮ On-line compositional controller synthesis for AGV ⋮ Mutually nonblocking supervisory control of discrete event systems ⋮ Decentralized supervisory control of discrete event systems with nonhomogeneous control structure ⋮ Nonconflict check by using sequential automaton abstractions based on weak observation equivalence ⋮ Supervisory control of a class of concurrent discrete event systems under partial observation ⋮ PSPACE-completeness of modular supervisory control problems ⋮ Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control ⋮ Logical models of discrete even systems: a comparative exposition ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ 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 ⋮ Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems ⋮ Reactive mode handling of flexible manufacturing systems ⋮ Recursive computation of limited lookahead supervisory controls for discrete event systems ⋮ State estimation and detectability of probabilistic discrete event systems ⋮ Achieving a global objective with competing networked agents in the framework of discrete event systems ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ Compositional coordinator synthesis of extended finite automata ⋮ A method for the modular synthesis of controllers for timed discrete-event systems ⋮ Optimal modular control of discrete event systems with distinguishers and approximations ⋮ Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations ⋮ Supervisory control of the structured dynamic discrete-event systems ⋮ Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation ⋮ Hierarchical control of discrete-event systems ⋮ Hierarchical control of timed discrete-event systems ⋮ A dynamic modelling framework for control-based computing system design ⋮ Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks ⋮ Maximally permissive mutually and globally nonblocking supervision with application to switching control ⋮ On-the-fly informed search of non-blocking directed controllers ⋮ Supervisory control using augmented languages in discrete event systems ⋮ Modular supervisory control and coordination of state tree structures
Cites Work
This page was built for publication: Modular supervisory control of discrete-event systems
