scientific article; zbMATH DE number 1284133

MaRDI QIDQ4240486zbMATH OpenFDO

Authors J. G. Thistle

Publication date 15 September 1999

zbMATH Keywords

\(\mu\)-calculusdiscrete event control synthesishybrid systemsmonolithic synthesisproblem decompositionsupervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Supervisory control of discrete event systems
• On supervisory control of sequential behaviors
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• scientific article; zbMATH DE number 4041696

Cited in

(24)

• 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:

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