Modeling of discrete event systems using finite automata with variables

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 3387-3392

  Sköldstam, Markus ^a   Åkesson, Knut ^a   Fabian, Martin ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FINITE AUTOMATA; MATHEMATICAL MODELS; VIRTUAL REALITY;

ORDINARY AUTOMATA; SUPERVISORY CONTROL THEORY; VARIABLES;

DISCRETE EVENT SIMULATION;

EID: 62749203693     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2007.4434894     Document Type: Conference Paper

References (18)

1. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
2. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2nd ed., ser. Series in Computer Science. Addison-Wesley, 2003.
3. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE, vol. 38, no. 7, pp. 1040-1059, 1993.
4. M. Fabian and A. Hellgren, "PLC-based implementation of supervisory control for discrete event systems," in 37th Decision and Control, Tampa, FL, USA, 1998.
5. X.-R. Cao, G. Cohen, A. Giua, W. M. Wonham, and J. H. van Schuppen, "Unity in diversity, diversity in unity: Retrospective and prospective views on control of discrete event systems," Discrete Event Dynamic Systems, vol. 12, pp. 253-264, 2002.
6. D. Harel, "Statecharts: A visual formalism for complex systems," Science of Computer Programming, vol. 8, pp. 231-274, 1987.
7. Y.-L. Chen and F. Lin, "Modeling of discrete event systems using finite state machines with parameters," in CCA00, Anchorage, Alaska, Sept. 2000.
8. Y. Yang and P. Gohari, "Embedded supervisory control of discreteevent systems," in 2005, Edmonton, Canada, August 2005, pp. 410-415.
9. B. Gaudin and P. H. Deussen, "Supervisory control on concurrent discrete event systems with variables (extended version)," Technical University, Berlin, Tech. Rep., 2006. [Online]. Available: http://www.benoit. gaudin1.free.fr
10. C. de Oliveira, J. Cury, and C. Kaestner, "Synthesis of supervisors for parameterized and infinity non-regular discrete event systems," in Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), June 2007, pp. 77-82.
11. C. Ma and W Wonham, "Nonblocking supervisory control of state tree structures," IEEE, vol. 51, no. 5, pp. 782-793, May 2006.
12. Supremica, "www.supremica.org. The official website for the Supremica project," 2007.
13. K. Åkesson, M. Fabian, H. Flordal, and R. Malik, "Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems," in 8th Discrete Event Systems, WODES '06, Ann Arbor, MI, USA, July 2006, pp. 384-385.
14. K. Åkesson and M. Sköldstam, "Towards a framework for integrated supervisory and logic control," in 1st Dependable Control of Discrete Event Systems'07, Paris, France, 2007, pp. 83-88.
15. P. Malik and R. Malik, "Modular control-loop detection," in 8th Discrete Event Systems, WODES '06, Ann Arbor, MI, USA, July 2006, pp. 119-124.
16. C. A. R. Hoare, Communicating sequential processes, ser. Series in Computer Science. Prentice-Hall, 1985.
17. J. M. Spivey, The Z Notation: A Reference Manual, 2nd ed. Prentice-Hall, 1992.
18. R. Malik and R. Mühlfeld, "A case study in verification of uml statecharts: the profisafe protocol," Universal Computer Science, vol. 9, no. 2, pp. 138-151, Feb. 2003.