Supervisory control of discrete event systems
type: Item
instance of: scholarly article
title: Supervisory control of discrete event systems
zbMATH Open document ID: 0854.93005
DOI: 10.1016/0895-7177(96)00063-5
author: J. G. Thistle
published in: Mathematical and Computer Modelling
publication date: 1997-01-22T00:00:00Z
Mathematics Subject Classification ID: 93-02
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 93A10
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93B11
zbMATH DE Number: 927166
zbMATH Keywords: supervisory control
zbMATH Keywords: discrete event systems
zbMATH Keywords: control synthesis
zbMATH Keywords: formal languages
zbMATH Keywords: automata
zbMATH Keywords: decomposition
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: 0895-7177(96)00063-5
OpenAlex ID: W1970092510
cites work: Q3727828
cites work: Supervisory control of a rapid thermal multiprocessor
cites work: Equivalence preserving transformations for timed transition models
cites work: Q4692776
cites work: Supervisory control of timed discrete-event systems under partial observation
cites work: Q4840936
cites work: On the consistency of hierarchical supervision in discrete-event systems
cites work: A unified approach to control problems in discrete event processes
cites work: A framework for real-time discrete event control
cites work: Control of discrete event systems modeled as hierarchical state machines
cites work: Q4763572
cites work: Modular Feedback Logic for Discrete Event Systems
cites work: Predicates and predicate transformers for supervisory control of discrete event dynamical systems
cites work: Q3787458
cites work: An algebraic approach to supervisory control
cites work: Q4763559
cites work: Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Stabilization of discrete-event processes
cites work: A graph-theoretic optimal control problem for terminating discrete event processes
cites work: Optimal Supervisory Control of Discrete Event Dynamical Systems
cites work: Formulas for calculating supremal controllable and normal sublanguages
cites work: Decentralized supervisory control of discrete-event systems
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Think globally, act locally: decentralized supervisory control
cites work: Supervisory control of concurrent discrete-event systems
cites work: Sharing out control in distributed processes
cites work: Hierarchical control of discrete-event systems
cites work: Hierarchical control of timed discrete-event systems
cites work: On supervisory control of real-time discrete-event systems
cites work: On observability of discrete-event systems
cites work: On-line control of partially observed discrete event systems
cites work: Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
cites work: On supervisory control of sequential behaviors
cites work: Control of Infinite Behavior of Finite Automata
cites work: Supervision of Infinite Behavior of Discrete-Event Systems
cites work: Output stabilizability of discrete-event dynamic systems
cites work: Q3975447
cites work: Stability and stabilizability of discrete event dynamic systems
cites work: Language Stability and Stabilizability of Discrete Event Dynamical Systems
cites work: Language convergence in controlled discrete-event systems
cites work: Q4202958
cites work: On control of systems modelled as deterministic Rabin automata
cites work: Q4385530
cites work: Decidability for a temporal logic used in discrete-event system analysis
cites work: On the control of discrete-event dynamical systems
cites work: Modular supervisory control of discrete-event systems
cites work: Control of vector discrete-event systems. I. The base model
cites work: Control of vector discrete-event systems. II. Controller synthesis
cites work: Concurrent vector discrete-event systems
cites work: Limited lookahead policies in supervisory control of discrete event systems
Recommended article: Supervisory control of discrete-event systems
Recommended article: Supervisory Control of Discrete-Event Systems
Recommended article: Q3827852
Recommended article: Supervisory control of the structured dynamic discrete-event systems
Recommended article: Q3222064

Supervisory control of discrete event systems (Recommended article)
Recommended article: Supervisory Control of a Class of Discrete Event Processes
Similarity Score: 0.971277
Recommender Run: Recommender Run 3

Supervisory control of discrete event systems (Recommended article)
Recommended article: Supervisory control of concurrent discrete-event systems
Similarity Score: 0.96968424
Recommender Run: Recommender Run 3

Supervisory control of discrete event systems (Recommended article)
Recommended article: Supervisory control of discrete event systems with distinguishers
Similarity Score: 0.96472585
Recommender Run: Recommender Run 3

Supervisory control of discrete event systems (Recommended article)
Recommended article: Supervisory Control Architecture for Discrete-Event Systems
Similarity Score: 0.96455866
Recommender Run: Recommender Run 3

Supervisory control of discrete event systems (Recommended article)
Recommended article: Supervisory control of timed discrete-event systems
Similarity Score: 0.96246123
Recommender Run: Recommender Run 3