Control synthesis for discrete event systems
The author investigates supervisory control of problem decomposition and he describes some of the computational aspects of the monolithic subproblems that such a decomposition yields. The paper considers algorithms for the synthesis of supervisory control observations in the case where all pertinent formal languages are represented by finite automata. The main section of the paper gives an overview of discrete event control synthesis in the case of complete observations, introducing the \(\mu\)-calculus and illustrating its use in control. Finally, the author discusses related work on formal synthesis and verification of computer systems, and applications to control synthesis for hybrid systems with simple dynamics, namely, timed discrete-event systems. For the entire collection see [Zbl 0911.00015].
- Supervisory control and reactive synthesis: a comparative introduction
- Formal specification and synthesis of procedural controllers for process systems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Theorem of abstraction for equivalent controllers in hybrid systems
- Synthesis of control implementation for discrete manufacturing systems
- A discrete event approach to the command sequence replanning and control in a teleprogramming system
- Formalization of synthesis problems for the control algorithms of a computer subsystem
- scientific article; zbMATH DE number 434960 (Why is no real title available?)
- Generating conditions for preserving the properties of controlled discrete event systems
- Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
- The Verification and Control of Interacting Similar Discrete-Event Systems
- Control of large discrete event systems: constructive algorithms
- scientific article; zbMATH DE number 4101059 (Why is no real title available?)
- An Efficient Algorithm for Controller Synthesis under Full Observation
- Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
- Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
- Synthesis of logical controllers and discrete-event systems supervisory control theory
- A Solution of DEDS Control Synthesis Problems
- Progressive events in supervisory control and compositional verification
- On supervisory control of sequential behaviors
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Control of parameterized discrete event systems
This page was built for publication: Control synthesis for discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4240486)
