Exploiting modularity for synthesis and verification of supervisors

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 35, Issue 1, 2002, Pages 175-180

  Akesson K ^a   Flordal, H ^a   Fabian, M ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Discrete event systems; Supervisory control; Synthesis; Verification

Indexed keywords

AUTOMATION; COMPUTATION THEORY; CONTROL THEORY; DISCRETE EVENT SIMULATION; SYNTHESIS (CHEMICAL); VERIFICATION;

CLOSED SYSTEMS; COMPUTATIONAL EFFORT; CONTROLLABILITY PROBLEMS; MODULAR STRUCTURES; REAL-WORLD; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY; VERIFICATION ALGORITHMS;

SUPERVISORY PERSONNEL;

EID: 84945579163     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20020721-6-es-1901.00517     Document Type: Conference Paper

References (14)

1. Brandin, B., R. Malik and P. Dietrich (2000). Incremental system verification and synthesis of minimally restrictive behaviors. In: Proc. of the 2000 American Control Conference. Chicago, USA. pp. 4056-4061.
2. Bryant, R. (1992). Symbolic manipulation with ordered binary decision diagrams. ACM Computing Surveys 24 24, 293-318.
3. Corbett, James C. (1996). Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering 22(3), 161-180.
4. Flordal, H. (2001). Modular controllability verification and synthesis of discrete event systems. Technical report. Department of Signals and Systems, Chalmers University of Technology.
5. Gohari, P. and W.M. Wonham (2000). On the complexity of supervisory control design in the RW framework. IEEE Transactions on Systems, Man, and Cybernetics 30(5), 643-652.
6. Heymann, M. (1990). Concurrency and discrete event control. IEEE Control Systems Magazine 10(4), 103-112.
7. Hoare, C.A.R. (1985). Communicating Sequential Processes. Prentice-Hall International Series in Computer Science.
8. Hoffmann, G. and H. Wong-Toi (1992). Symbolic synthesis of supervisory controllers. In: Proc. of the 1992 American Control Conference. Chicago, IL. pp. 2789-2793.
9. Hopcroft, J.E. and J.D. Ullman (1979). Introduction to Automata Theory, Languages and Computation. Addison-Wesley Series in Computer Science, Addison-Wesley.
10. Ramadge, P. and W.M. Wonham (1989). The control of discrete event systems. Proc. IEEE 77(1), 81-98.
11. Tronci, E. (1997). On computing optimal controllers for finite state systems. In: Proc. of 36th IEEE CDC. USA.
12. Wong, K. and W.M. Wonham (1998). Modular control and coordination of discrete-event systems. Journal of Discrete Event Dynamic Systems: Theory and Applications 8(3), 247-297.
13. Wonham, W.M. and P.J. Ramadge (1988). Modular supervisory control of discrete event systems. Mathematics of Control Signals and Systems 1(1), 13-30.
14. Zhang, Z. and W.M. Wonham (2001). STCT: An efficient algorithm for supervisory control design. In: Proc. Symposium on the Supervisory Control of Discrete Event Systems. A Satellite Workshop of 13th Conference on Computer Aided Verification. Paris, France. pp. 82-93.