Hierarchical interface-based supervisory control: Serial case

Proceedings of the IEEE Conference on Decision and Control

Volumn 5, Issue , 2001, Pages 4116-4121

  Leduc, R J ^a,c   Brandin, B A ^b   Wonham, W M ^a   Lawford, M ^c  

^a UNIVERSITY OF TORONTO   (Canada)

^b SIEMENS CORPORATE RESEARCH   (United States)

^c MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMMAND AND CONTROL SYSTEMS; COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; SCADA SYSTEMS; STATE SPACE METHODS;

DISCRETE EVENT SYSTEMS; MASTER SLAVE SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035708981     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1109/CDC.2001.980825     Document Type: Article

References (24)

1. Formal techniques for the procedural control of industrial processes
2. Local liveness for compositional modelling of fair reactive systems
3. Minimizing interacting finite state machines: A compositional approach to language containment
4. Control of discrete event systems modeled as hierarchical state machines
5. The hierarchical lattices of a finite machine
6. Modular design and verification of logic control for reconfigurable machining systems
7. A linguistic framework for controlled hierarchical DES
8. PLC implementation of a DES supervisor for a manufacturing testbed: An implementation perspective
9. Hierarchical interface-based non-blocking verification
10. Hierarchical interface based supervisory control: Bi-level systems
11. Decentralized control and coordination of discrete-event systems with partial observations
12. On hybrid synthesis for hierarchical structured Petri nets
13. A computational approach to top-down hierarchical supervisory control of DES
14. On the criteria to be used in decomposing systems into modules
15. Use of abstract interfaces in the development of software for embedded computer systems
16. The modular structure of complex systems
17. Modular supervisory control of large scale discrete event systems
18. Think globally, act locally: Decentralized supervisory control
19. Top-down design for RW supervisory control theory
20. A general architecture for decentralized supervisory control of discrete-event systems
21. On the consistency of hierarchical supervision in discrete-event systems
22. Using Petri nets for object-oriented design of command and control systems