scientific article; zbMATH DE number 1284133

zbMATH Open0920.93022MaRDI QIDQ4240486FDOQ4240486

Authors: J. G. Thistle 

Publication date: 15 September 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (21)

• Synthesis of control implementation for discrete manufacturing systems
• Synthesis of logical controllers and discrete-event systems supervisory control theory
• A discrete event approach to the command sequence replanning and control in a teleprogramming system
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• A Solution of DEDS Control Synthesis Problems
• Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
• Supervisory control and reactive synthesis: a comparative introduction
• Progressive events in supervisory control and compositional verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
• Generating conditions for preserving the properties of controlled discrete event systems
• Formalization of synthesis problems for the control algorithms of a computer subsystem
• 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 large discrete event systems: constructive algorithms
• Control of parameterized discrete event systems
• The Verification and Control of Interacting Similar Discrete-Event Systems
• Theorem of abstraction for equivalent controllers in hybrid 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)