scientific article; zbMATH DE number 1284133

MaRDI QIDQ4240486zbMATHFDO

Authors J. G. Thistle

Publication date 15 September 1999

zbMATH Keywords

hybrid systemsproblem decompositionsupervisory control\(\mu\)-calculusdiscrete event control synthesismonolithic synthesis

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

(21)

• Formalization of synthesis problems for the control algorithms of a computer subsystem
• A discrete event approach to the command sequence replanning and control in a teleprogramming system
• The Verification and Control of Interacting Similar Discrete-Event Systems
• scientific article; zbMATH DE number 434960 (Why is no real title available?)
• Progressive events in supervisory control and compositional verification
• A Solution of DEDS Control Synthesis Problems
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• Synthesis of control implementation for discrete manufacturing systems
• Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Control of parameterized discrete event systems
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Synthesis of logical controllers and discrete-event systems supervisory control theory
• Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
• scientific article; zbMATH DE number 4101059 (Why is no real title available?)
• A survey on compositional algorithms for verification and synthesis in supervisory control
• Theorem of abstraction for equivalent controllers in hybrid systems
• Generating conditions for preserving the properties of controlled discrete event systems
• Control of large discrete event systems: constructive algorithms
• Supervisory control and reactive synthesis: a comparative introduction

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)