Compositional synthesis of maximally permissive supervisors using supervision equivalence

Discrete Event Dynamic Systems: Theory and Applications

Volumn 17, Issue 4, 2007, Pages 475-504

  Flordal, Hugo ^a   Malik, Robi ^b   Fabian, Martin ^a   Åkesson, Knut ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

Controllability; Discrete event systems; Finite state automata; Model reduction; Nonblocking; Supervisory control; Synthesis

Indexed keywords

COMPUTATIONAL METHODS; DATA REDUCTION; FINITE AUTOMATA; OPTIMIZATION;

MODEL REDUCTION; NONBLOCKING; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 35948947891     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-007-0018-z     Document Type: Conference Paper

References (20)

1. Åkesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proceedings of the 15th IFAC world congress, Barcelona, Spain
2. Brandin BA, Malik R, Malik P (2004) Incremental verification and synthesis of discrete-event systems guided by counter examples. Trans Control Syst Technol 12(3):387-401
3. Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer
4. De Nicola R, Hennessy MCB (1984) Testing equivalences for processes. Theor Comp Sci 34(1-2): 83-133
5. de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. In: Boel R, Stremersch G (eds) Discrete event systems, analysis and control. Kluwer, pp 103-110
6. de Queiroz MH, Cury JER, Wonham WM (2005) Multitasking supervisory control of discrete-event systems. Discrete Event Dyn Syst 15(4):375-395
7. Dershowitz N, Jouannaud J-P (1990) Rewrite systems. In: van Leeuwen J (ed) Handbook of theoretical computer science, vol B. Elsevier, pp 243-320
8. Fabian M (1995) On object oriented nondeterministic supervisory control. PhD thesis, Control Engineering Laboratory, Chalmers University of Technology, Göteborg, Sweden
9. Feng L, Wonham WM (2006) Computationally efficient supervisor design: Abstraction and modularity. In: Proceedings of the 8th international workshop on discrete event systems, WODES '06, Ann Arbor, MI, USA, pp 3-8
10. Flordal H, Malik R (2006) Supervision equivalence. In: Proceedings of the 8th international workshop on discrete event systems, WODES '06, Ann Arbor, MI, USA, pp 155-160
11. Hill RC, Tilbury DM (2006) Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction. In: Proceedings of the 8th international workshop on discrete event systems, WODES '06. Ann Arbor, MI, USA, pp 399-406
12. Hoare CAR (1985) Communicating sequential processes. Series in Computer Science, Prentice-Hall
13. Lin F, Wonham WM (1990) Decentralized control and coordination of discrete-event systems with partial observation. IEEE Trans. Autom Control 35(12):1330-1337
14. Malik R, Streader D, Reeves S (2006) Conflicts and fair testing. Int J Found Comput Sci 17(4): 797-813
15. Milner R (1989) Communication and concurrency. Series in Computer Science, Prentice-Hall
16. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81-98
17. Song R, Leduc RJ (2006) Symbolic synthesis and verification of hierarchical interface-based supervisory control. In: Proceedings of the 8th international workshop on discrete event systems, WODES '06 Ann Arbor, MI, USA, pp 419-426
18. Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discrete Event Dyn Syst 14(1):31-53
19. Wong KC, Wonham WM (1998) Modular control and coordination of discrete-event systems. Discrete Event Dyn Syst 8(3):247-297
20. Wonham WM (2006) Supervisory control of discrete event systems, Technical report. Department of Electrical and Computer Engineering, University of Toronto, Toronto, Canada