On controllability and normality of discrete event dynamical systems

Systems and Control Letters

Volumn 17, Issue 3, 1991, Pages 157-168

  Kumar, Ratnesh ^a   Garg, Vijay ^a   Marcus, Steven I ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Discrete event system; supervisory control; supremal controllable; supremal normal languages; synchronous composition

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS;

DISCRETE EVENT SYSTEMS; SUPERVISORY CONTROL; SUPREMAL CONTROL SUBLANGUAGES;

CONTROL SYSTEMS;

EID: 0026219123     PISSN: 01676911     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6911(91)90061-I     Document Type: Article

References (17)

1. Formulas for calculating supremal controllable and normal sublanguages
2. Supervisory control of discrete-event processes with partial observations
3. Supremal and maximal sublanguanges arising in supervisor synthesis problems with partial observations
4. On supremal languages of class of sublanguages that arise in supervisor synthesis problems with partial observations
5. Specification and analysis of distributed systems with a large number of processes
6. Concurrency and discrete event control
7. Supervisory control of discrete event systems: supremal controllable and observable languages
8. On observability of discrete event systems
9. Supervisory control of a class event processes
10. On the Supremal Controllable Sublanguage of a Given Language
11. The complexity of some basic problems for discrete event systems
12. Using trace theory to model discrete events
13. Control of discrete events
14. On the control of discrete-event dynamical systems
15. Modular supervisory control of discrete-event systems