Modular control-loop detection

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

Volumn , Issue , 2006, Pages 119-124

  Malik, Petra ^a   Malik, Robi ^a  

^a UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL APPLICATIONS; PROBLEM SOLVING; STATE ESTIMATION; SYNCHRONIZATION; SYSTEMS ANALYSIS;

FINITE STATE SYSTEMS; MODULAR STRUCTURE; STATE EXPLOSION PROBLEMS;

ALGORITHMS;

EID: 34250740525     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2006.1678418     Document Type: Conference Paper

References (24)

1. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer, Sept. 1999.
3. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Automat. Contr., vol. 38, no. 7, pp. 1040-1059, July 1993.
4. S. Balemi, "Input/output discrete event processes and communication delays," Discrete Event Dynamic Systems: Theory and Applications, vol. 4, pp. 41-85, 1994.
5. C. H. Golaszewski and P. J. Ramadge, "Control of discrete event processes with forced events," in Proc. 26th IEEE Conf. Decision and Control, CDC'87, Los Angeles, CA, USA, Dec. 1987, pp. 247-251.
6. P. Dietrich, R. Malik, W. M. Wonham, and B. A. Brandin, "Implementation considerations in supervisory control," in Synthesis and Control of Discrete Event Systems, B. Caillaud, P. Darondeau, L. Lavagno, and X. Xie, Eds. Kluwer, 2002, pp. 185-201.
7. P. Malik, "From supervisory control to nonblocking controllers for discrete event systems," Ph.D. dissertation, University of Kaiserslautern, Kaiserslautern, Germany, 2003.
8. B. A. Brandin, R. Malik, and P. Malik, "Incremental verification and synthesis of discrete-event systems guided by counter-examples," IEEE Trans. Contr. Syst. Technol., vol. 12, no. 3, pp. 387-401, May 2004.
9. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verifi cation of fi nite-state concurrent systems using temporal logic specifi cations," ACM Trans. Programming Languages and Systems, vol. 8, no. 2, pp. 244-263, Apr. 1986.
10. K. L. McMillan, Symbolic Model Checking. Kluwer, 1993.
11. E. M. Clarke, Jr., O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 1999.
12. H.-M. Hanisch and S. Kowalewski, "Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications," in Proc. 4th Int. Conf. Computer Integrated Manufacturing and Automation Technology. Troy, NY, USA: IEEE Computer Society Press, Oct. 1994, pp. 157-162.
13. C. A. R. Hoare, Communicating Sequential Processes. Prentice-Hall, 1985.
14. R. Tarjan, "Depth first search and linear graph algorithms," SIAM J. Computing, vol. 1, no. 2, pp. 146-160, June 1972.
15. E. Nuutila and E. Soisalon-Soininen, "On finding the strongly connected components in a directed graph," Information Processing Letters, vol. 49, no. 1, pp. 9-14, Jan. 1994.
16. C. Lewerentz and T. Under, Case Study "Production Cell", ser. LNCS. Springer, 1995, vol. 891.
17. A. Lötzbeyer and R. Mühlfeld, "Task description of a flexible production cell with real time properties," FZI, Karlsruhe, Germany, Tech. Rep., 1996. [Online]. Available: http://www.fzi.de/divisions/ prost/projects/korsys/korsys.html
18. R. Malik and R. Mühlfeld, "A case study in verification of UML statecharts: the PROFIsafe protocol," J. Universal Computer Science, vol. 9, no. 2, pp. 138-151, Feb. 2003.
19. _, "Testing the PROFIsafe protocol using automatically generated test cases based on a formally verified model," Siemens AG, Corporate Technology, Software and Engineering 1, Munich, Germany, Tech. Rep., 2002.
20. Profi bus Nutzerorganisation e. V., "PROFIsafe - profile for safety technology, version 1.12," 2002.
21. B. Brandin and F. Charbonnier, "The supervisory control of the automated manufacturing system of the AIP," in Proc. Rensselaer's 4th Int. Conf. Computer Integrated Manufacturing and Automation Technology, Troy, NY, USA, 1994, pp. 319-324.
22. F. Charbonnier, "Commande par supervision des systèmes à événements discrets: application àun site expérimental l'Atelier Interétablissement de Productique," Laboratoire d'Automatique de Grenoble, Grenoble, France, Tech. Rep., 1994.
23. R. J. Leduc, "Hierarchical interface-based supervisory control," Ph.D. dissertation, Dept. of Electrical Engineering, University of Toronto, Ontario, Canada, 2002.
24. _, "PLC implementation of a DES supervisor for a manufacturing testbed: An implementation perspective," Master's thesis, Dept. of Electrical Engineering, University of Toronto, Ontario, Canada, 1996.