Logical models of discrete even systems: a comparative exposition

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

93C65: Discrete event control/observation systems

Cites Work

Formulas for calculating supremal controllable and normal sublanguages
On observability of discrete-event systems
Modular supervisory control of discrete-event systems
On the control of discrete-event dynamical systems
Deadlock absence proofs for networks of communicating processes
On nonconflicting languages that arise in supervisory control of discrete event systems
On controllability and normality of discrete event dynamical systems
Control of large scale discrete event systems: task allocation and coordination
Aggregation and multi-level control in discrete event dynamic systems
Invertibility of discrete-event dynamic systems
Petri nets for modeling of dynamic systems -- a survey
A nondeterministic extension over finitely recursive process model
The infimal prefix-closed and observable superlanguage of a given language
Decentralized supervisory control of discrete-event systems
Deadlock analysis in networks of communicating processes
Language Stability and Stabilizability of Discrete Event Dynamical Systems
Undecidability results for deterministic communicating sequential processes
Feedback logic for discrete event systems with arbitrary control patterns
Stabilization of discrete-event processes
The infimal closed controllable superlanguage and its application in supervisory control
A framework for real-time discrete event control
Observability of discrete event dynamic systems
Synthesis of feedback control logic for a class of controlled Petri nets
Automatic verification of finite-state concurrent systems using temporal logic specifications
Control problems in a temporal logic framework
Supervisory Control of a Class of Discrete Event Processes
Supervisory control of discrete-event processes with partial observations
Finitely recursive process models for discrete event systems
A Proof System for Communicating Sequential Processes
Supervisory control of concurrent discrete-event systems
Output stabilizability of discrete-event dynamic systems
Tracking and Restrictability in Discrete Event Dynamic Systems
Think globally, act locally: decentralized supervisory control
Petri net synthesis and analysis of a flexible manufacturing system cell
Control of discrete event systems modeled as hierarchical state machines
Stability and stabilizability of discrete event dynamic systems
On observability with delay: antitheses and syntheses
Boundedness analysis of finitely recursive processes. I. Concurrent processes
Finite buffer realization of input-output discrete-event systems
Equivalence preserving transformations for timed transition models
The computational complexity of decentralized discrete-event control problems
Diagnosability of discrete-event systems
Static-state feedback control of discrete-event systems under partial observation
Fully decentralized solutions of supervisory control problems
On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
Decentralized control and coordination of discrete-event systems with partial observation
On the consistency of hierarchical supervision in discrete-event systems
Limited lookahead policies in supervisory control of discrete event systems
Predicates and predicate transformers for supervisory control of discrete event dynamical systems
An axiomatic basis for computer programming
Decidability for a temporal logic used in discrete-event system analysis
Modular Feedback Logic for Discrete Event Systems
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item