Supervisory control of a class of discrete event processes
Explore this paper's citation graph
Summary
The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly nondeterministic, which is described as the generator of a formal language, while the controller is constructed from a recognizer for a specified target language that incorporates the desired closed-loop system behavior.
- Type
- article
- Published
- 1987-01-01
- Cited by
- 3,601
- References
- 25
- Access
- Open access
- OpenAlex
- https://openalex.org/W1979349468
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:18949514
Keywords
Supervisor, Nondeterministic algorithm, Supervisory control, Asynchronous communication, Class (philosophy)
References
- Multifacetted Modelling and Discrete Event Simulation
- Introduction to switching and automata theory
- Linear Multivariable Control: A Geometric Approach
- Semantics of Concurrent Computation
- The Temporal Semantics of Concurrent Programs
- Concurrent Processes and Their Syntax
- Port Automata and the Algebra of Concurrent Processes
- Principles of Discrete Event Simulation
- Introduction to Lattice Theory
- Introduction to Automata Theory, Languages and Computation
- A Boolean Model for a Class of Discrete Event Systems
- Supervision of discrete event processes
- Software Descriptions with Flow Expressions
- Modular Verification of Computer Communication Protocols
- Automata, languages, and machines. A
- Control and supervision of discrete event processes
- Petri Net Theory and the Modeling of Systems
- Notes on communicating sequential processes
- Nonlinear multivariable control : a differential geometric approach
- Petri net theory and the modeling of systems
Cited by
- On Formal Methods for Large-Scale Product Configuration
- Minimal K-step event observation policy for on-line observability of discrete event systems
- Discrete Event Dynamic Systems: An Overview
- Methods for the supervisory control of concurrent systems based on petri net abstractions
- Timed discrete-event system supervisory control for under-load tap-changing transformers
- State-Based Control of Fuzzy Discrete-Event Systems
- Reactive control of adaptive embedded systems: a position paper
- An algebra of discrete event processes
- On the Algorithmic Unsolvability of Some Stability Problems for Discrete Event Systems
- Matching Nondeterministic Services with Operating Guidelines
- A decentralized supervisory control approach for distributed adaptive systems
- Design, vérification et implémentation de systèmes à composants
- Stochastic omega-regular games
- Opacity Of Discrete Event Systems: Analysis And Control
- Control of visually guided behaviors
- Full Superposition Principle Is Inconsistent with Non-Deterministic Versions of Quantum Physics
- A colored Petri net-based formal method for the design of control systems
- Petri nets as discrete event models for supervisory control
- Verification of Forbidden Behavior in EPCs
- Integrated Health Management and Control of Complex Dynamical Systems
Related papers
- Optimal control design for DES using supervisory control theory with enforceable events
- Robust nonblocking supervisory control of discrete-event systems
- Online discrete event supervisory control of hybrid dynamical systems using embedded simulation
- The Existence of the Supervisor of Product Composition for Discrete Event Systems
- Properties of Fuzzy Discrete Event Systems
- Supervisory control of fuzzy discrete event systems
- Discrete approximation and supervisory control of continuous systems
- Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems
- On the control of discrete-event dynamical systems