A generic approach to build plant models for des verification purposes

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 407-412

  Machado, J ^a   Denis, B ^b   Lesage, J J ^b  

^a UNIVERSITY OF MINHO   (Portugal)

^b Ecole Normale Superieure de Cachan   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY SEQUENCES; COMPUTATIONAL METHODS; CONTROL SYSTEM ANALYSIS; FINITE AUTOMATA; MODEL CHECKING;

BEHAVIORAL MODELS; PLANT MODELS;

DISCRETE EVENT SIMULATION;

EID: 34250667389     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. th Int. Joint Conf. on Artificial Intelligence, Karlsruhe, Germany, 1983, pp. 405-408.
2. G. Morel, J.-F. Petin, P. Lamboley, "Formal specification for manufacturing systems automation", in CDROM Proc. IFAC Int. Conf. on Information Control Problems in Manufacturing, Vienna, Austria, September 2001, 6 pages.
3. P.J. Ramadge, and W.M. Wonham, "The control of discrete event systems", IEEE special issue on Discrete Event Dynamic Systems, vol. 77, no 1, January 1989, pp. 81-98.
4. th IFAC World Congress, Praha, Czech Republic, July 2005, paper no 04427, 6 pages.
5. T. Merkte and T. Menzel, "Methods and tools to the verification of safety-related control software", in Proc. IEEE int. conf. on Systems Man and Cybernetics, Nashville, USA, October 2000, pp. 2455-2457.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, "Failure diagnosis using discrete-event models", IEEE Trans. C S T, vol. 4, no 2, pp. 105-124, March 1996.
7. D. Crockett D, A. Desrochers, F. Dicesare, and T. Ward, "Implementation of a Petri net controller for a machining workstation", in Proc. IEEE conf. Robotics and Automation, Raleigh, North Carolina, USA, April 1987, pp. 1861-1867.
8. M.C. Zhou, F. Dicesare, and D. Rudolph, "Design and Implementation of a Petri net based supervisor for a flexible manufacturing System", Automatica, vol. 28, no 6, pp. 1199-1208, 1992.
9. M. Fabian and A. Hellgren, "PLC-based implementation of supervisory control for discrete event systems", in Proc. 37th IEEE Conf. on Decision and Control, Tampa, USA, December 1998, pp. 3305-3310.
10. S. Balemi, G.J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G.F. Franklin, "Supervisory control of a rapid thermal multiprocessor", IEEE Trans. Automatic Control, vol. 38, no 7, pp.1040-1059, 1993.
11. th Int. Workshop on D E S, Ghent, Aug. 2000, pp. 383-389.
12. th Int. Workshop on D E S, Zaragoza, Spain, Oct. 2002, pp. 377-382.
13. th Int. Workshop on D E S, Reims, France, Sep. 2004, pp. 397-402.
14. th Int. Workshop on Discrete Event Systems, Reims, France, September 2004, pp. 19-24.
15. B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen, "Systems and software verification: model-Checking techniques and tools", Springer, 1999, 190 pages.
16. G. Frey and L. Litz, "Formal method in PLC programming", in CDROM Proc. IEEE int. conf. on Systems Man and Cybernetics, Nashville, Tennessee, USA, October 2000, pp. 2431-2436.
17. G. Canet, S. Couffin, J.-J. Lesage, A. Petit, and P. Schnoebelen, "Towards the automatic verification of PLC programs written in instruction list", in Proc. IEEE int. conf. on Systems Man and Cybernetics, Nashville, Tennessee, USA, Oct. 2000, pp. 2449-2454.
18. th Int. Conf. on Industrial Engineering and Production Management, Porto, Portugal, May 2003, 10 pages.
19. th int. workshop on principles of diagnosis, Sansicario, Italy, Mar. 2001, pp. 111-118.
20. th International workshop on principles of diagnosis, Val Morin, Canada, 1996.
21. J. Bengtsson and W. Yi, "Timed Automata: Semantics, Algorithms and Tools," LNCS 3098, Springer-Verlag, 2004.
22. R.S.Sreenivas and B.H.Krogh On condition/event systems with discrete state realizations Discrete Event Dynamic Systems: Theory and Applications, 2(1):209-236, 1991
23. M. Rausch and H.-M. Hanisch. Net condition/event systems with multiple condition outputs. Symposium on Emerging Technologies and Factory Automation, Paris, France, pp 592-600, Oct. 1995.