scientific article; zbMATH DE number 4101059

MaRDI QIDQ3826451zbMATH OpenFDO

Authors Peter J. Ramadge

Publication date 1988

zbMATH Keywords

asynchronous interacting componentsBüchi automataDiscrete event systems (DES)

Mathematics Subject Classification ID

Theory of operating systems (68N25) Formal languages and automata (68Q45) Model systems in control theory (93C99)

Recommendations

• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Supervisory control of discrete event systems
• On the control of discrete-event dynamical systems
• scientific article; zbMATH DE number 1284133
• Supervisory control of product and hierarchical discrete event systems

Cited in

(14)

• On tolerable and desirable behaviors in supervisory control of discrete event systems
• PSPACE-completeness of modular supervisory control problems
• On-line tracing supervisory control of discrete-event dynamic systems based on outlooking
• On-the-fly informed search of non-blocking directed controllers
• Supervisory control of product and hierarchical discrete event systems
• Supervisory control of discrete event systems with state-dependent controllability
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Control of discrete event systems modeled as hierarchical state machines
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control
• Confusion avoidance for discrete event systems by P/E constraints and supervisory control
• scientific article; zbMATH DE number 744044 (Why is no real title available?)
• Supervisory Control and Scheduling of Resource Allocation Systems
• On Tractable Instances of Modular Supervisory Control
• Supervisory control of discrete event systems with distinguishers

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 Q3826451)