Designing communicating transaction processes by supervisory control theory

Formal Methods in System Design

Volumn 30, Issue 2, 2007, Pages 117-141

  Feng, L ^a   Wonham, W M ^a   Thiagarajan, P S ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Communicating transaction processes; Discrete event systems; Message sequence charts; Supervisory control

Indexed keywords

CONSTRAINT THEORY; DISCRETE EVENT SIMULATION; EMBEDDED SYSTEMS; FORMAL LOGIC; SCADA SYSTEMS; SPECIFICATION LANGUAGES;

COMMUNICATING TRANSACTION PROCESS (CTP); COMPUTATIONAL MODEL; MESSAGE SEQUENCE CHARTS (MSC); SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY (SCT);

INFORMATION THEORY;

EID: 33847714084     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10703-006-0023-0     Document Type: Article

References (31)

1. Åkesson K, Flordal H, Fabian M (2002) Exploiting modularity for synthesis and verification of supervisors. In: Proceedings of the 15th IFAC World Congress on automatic control, Barcelona, Spain, 2002
2. Balarin F, Lavagno L, Passerone C, Sangiovanni-Vincentelli A, Watanabe Y, Yang G (2002) Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. In: International symposium on hardware/software codesign (CODES), May 6-8, pp 13-18
3. Cadence Berkeley Laboratories (2004) The SMV model checker, www-cad.eecs.berkeley.edu/~kenmcmil/smv
4. Brandin BA, Charbonnier FE (1994) The supervisory control of the automated manufacturing system of the AIR In: Proceedings of the fourth international conference on computer integrated manufacturing and automation technology. IEEE Computer Society Press, New York, USA, pp 319-324
5. Cao X-R, Cohen G, Giua A, Wonham WM, van Schuppen JH (2002) Unity in diversity, diversity in unity: retrospective and prospective views on control of discrete event systems. Discr Event Dyn Syst: Theory Appl 12(3):253-264
6. Cassandras C, Lafortune S (1999) Introduction to discrete event systems, 2nd edn. Kluwer, Boston, USA
7. Chandra V, Huang Z, Kumar R (2003) Automated control synthesis for an assembly line using discrete event system control theory. IEEE Trans Syst Man Cybern - Part C: Appl Rev 33(2):284-289
8. Cohen G, Gaubert S, Quadrat JP (1991) Algebraic tools for performance evaluation in discrete event systems. In: Discrete event dynamic systems: analyzing complexity and performance in the modem world. IEEE Press, New York, USA
9. Gajski D, Zhu J, Dmer R, Gerstlauer A, Zhao S (2000) SpecC: Specification language and methodology. Kluwer, Boston, USA
10. Gohari P, Wonham WM (2000) On the complexity of supervisory control design in the RW framework. IEEE Trans Syst Man Cybern - Part B: Cybern 30(5):643-652
11. Grotker T, Liao S, Martin G, Swan S (2002) System design with system C. Kluwer, Boston, USA
12. Harel D, Kugler H, Marelly R, Pnueli A (2002) Smart play-out of behavioral requirements. International conference on formal methods in computer aided design (FMCAD), pp 378-398
13. Ho YC (1992) Discrete event dynamic systems: analyzing complexity and performance in the modern world. IEEE Press, New York, USA
14. Holloway LE, Krogh BH, Giua A (1997) A survey of petri net methods for controlled discrete event systems. Discr Event Dyn Syst: Theory Appl 7(2):151-190
15. Holzmann GJ (1997) The model checker SPIN. IEEE Trans Softw Eng 23(5):279-295
16. International Telecommunication Union (1996) Z.120: Message Sequence Charts, http://www.itu.int/ITUT/studygroups/com10/languages, 1996.
17. Jafari MA, Darabi H, Boucher TO, Amini A (2002) A distributed discrete event dynamic model for supply chain of business enterprises. Proceedings of the sixth international workshop on discrete event systems (WODES'02), pp 279-285
18. Kozák P, Wonham WM (1996) Design of transaction management protocols. IEEE Trans Autom Contr 41(9):1330-1335
19. Lee SH, Wong KC (2002) Structural decentralized control of concurrent discrete-event systems. Eur J Contr 8(5):477-491
20. Peterson JL (1981) Petri net theory and the modeling of systems. Prentice-Hall. Upper Saddle River, NJ, USA
21. de Queiroz MH, Cury JER (2000) Modular supervisory control of large scale discrete event systems. Discr Event Syst: Anal Control. Kluwer, Boston, USA, pp 103-110
22. Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optimization 25(1):206-230
23. Ramadge PJ, Wonham WM (1989) The control of discrete-event systems. Proc IEEE 77(1):81-98
24. Ricker S, Sarkar N, Rudie K (1996) A discrete-event system approach to modeling dexterous manipulation. Robotica 14(5):515-526
25. Roychoudhury A, Thiagarajan P (2003) Communicating transaction processes. IEEE international conference on applications of concurrency in system design (ACSD), June 18-20, pp 157-166
26. Roychoudhury A, Thiagarajan P (2003) An executable specification language based on message sequence charts. Formal methods at the crossroads: From panacea to foundational support, LNCS 2757. Springer Verlag
27. Schmidt K, Reger J, Moor T (2004) Hierarchical control for structural decentralized DES. Proceedings of the seventh international workshop on discrete event systems (WODES'04). pp 289-294
28. Su R, Wonham WM (2004) Supervisor reduction for discrete-event systems. Discr Event Dyn Syst: Theory Appl 14(1):31-53
29. Wong KC, Wonham WM (1998) Modular control and coordination of discrete event systems. Discr Event Dyn Syst: Theory Appl 8(3):247-297.
30. Wonham WM (2005) Supervisory control of discrete event systems and XPTCT software (Version 85). Department of Electrical and Computer Engineering, University of Toronto, http://www.control.toronto.edu/DES
31. Wonham WM, Ramadge PJ (1987) On the supremal controllable sub-language of a given language. SIAM J Contr Optim 25(3):637-659