Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
Decentralized supervisory control of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
On supervisory control real-time discrete-event systems
Information Sciences: an International Journal
A control theory for discrete-event systems
Proceedings of the NATO Advanced Study Institute on The Application of Advanced Computing Concepts and Techniques in Control Engineering on Advanced computing concepts and techniques in control engineering
On the control of discrete-event systems
Three decades of mathematical system theory
Formulas for calculating supremal controllable and normal sublanguages
Systems & Control Letters
Handbook of theoretical computer science (vol. B)
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
Language stability and stabilizability of discrete event dynamical systems
SIAM Journal on Control and Optimization
Control of Infinite Behavior of Finite Automata
SIAM Journal on Control and Optimization
Supervision of Infinite Behavior of Discrete-Event Systems
SIAM Journal on Control and Optimization
Optimal Supervisory Control of Discrete Event DynamicalSystems
SIAM Journal on Control and Optimization
SIAM Journal on Control and Optimization
Sharing out control in distributed processes
Theoretical Computer Science
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata
CSL '91 Proceedings of the 5th Workshop on Computer Science Logic
Supervisory Control of Distributed Systems: Conflict Resolution
Discrete Event Dynamic Systems
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Discrete Event Dynamic Systems
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
State estimation and detectability of probabilistic discrete event systems
Automatica (Journal of IFAC)
Incremental model evolution and reusability of supervisors for discrete event systems
Automatica (Journal of IFAC)
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
| Hi-index | 0.98 |
In its earliest formulation, supervisory control theory for discrete event systems addresses formal control synthesis for discrete event systems in an abstract framework of formal languages and automata. Key properties determining existence of controllers include controllability and (co-)observability of languages. A principal theme is the modular decomposition of control problems as a means of managing their complexity. Recent work has added such features as real time and infinite event strings to the modelling framework, and contributed to the management of computational complexity through the introduction of structural assumptions and on-line synthesis procedures.