A new model structure based synthesis approach for distributed discrete process control

IEEE International Conference on Industrial Informatics (INDIN)

Volumn , Issue , 2011, Pages 527-532

  Winkler, Thomas ^a   Lapp, Hans Christian ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS METHOD; FORMAL MODELING LANGUAGE; GRAPHICAL REPRESENTATIONS; MODELING LANGUAGES; STATE SPACE; SYNTHESIS METHOD; SYNTHESIS PROCESS; SYSTEM BEHAVIORS;

INFORMATION SCIENCE; PETRI NETS; STRUCTURAL ANALYSIS;

PROCESS CONTROL;

EID: 80054983122     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2011.6034935     Document Type: Conference Paper

References (12)

1. D. Missal and H.-M. Hanisch, "A Modular Synthesis Approach for Distributed Safety Controllers, Part A: Modelling and Specification, " in Proceedings of the 17th World Congress-The International Federation of Automatic Control, Seoul, Korea, July 2008, pp. 473-478.
2. -, "Synthesis of Distributed Controllers by means of a Monolithic Approach, " in Proceedings of the Conference on Emerging Technologies and Factory Automation (ETFA), September 2006, pp. 356-363.
3. -, "A Modular Synthesis Approach for Distributed Safety Controllers, Part B: Modular Control Synthesis, " in Proceedings of the 17th World Congress-The International Federation of Automatic Control, Seoul, Korea, July 2008, p. 14 47914 484.
4. -, "Synthesis of Distributed Safety Controllers with Incomplete State Observation, " in 35th Annual Conference of the IEEE Industrial Electronics Society (IECON), Porto, 2009, pp. 4383-4390.
5. A. I. Vasiliu, A. Dideban, and H. Alla, "Control Synthesis for Manufacturing Systems Using Non-Safe Petri Nets, " Journal of Control Engineering and Applied Informatics, vol. 11, no. 2, pp. 43-50, June 2009.
6. P. Starke and S. Roch, "Analysing signal-net systems, " Humboldt-Universitt zu Berlin, Berlin, Germany, Technical Report 162, September 2002, Informatikberichte.
7. J. Desel and W. Reisig, "Place or transition petri nets, " in Advances in Petri Nets, ser. Lecture Notes in Computer Science, W. Reisig and G. Rozenberg, Eds., vol. 1491. Springer, 1996, pp. 122-173.
8. H.-M. Hanisch and M. Rausch, "Net condition/event systems with multiple condition outputs, " in Proceedings of the Conference on Emerging Technologies and Factory Automation (ETFA), Paris, France, October 1995, pp. 592-600.
9. A. Lüder and H.-M. Hanisch, "Synthesis of admissible Behavior of Petri Nets for partial order Specifications, " in 5th international Workshop on discrete event Systems (WODES 2000). Gent, Belgium: Kluwer Academic Press, August 2000, pp. 409-420.
10. L. Pinzon, M. Jafari, H.-M. Hanisch, and P. Zhao, "Modelling admissible behavior using event signals, " Transactions on Systems, Man and Cybernetics (SMC) Part B: Cybernetics, vol. 34 (3), pp. 1435-1448, 2004.
11. P. Starke, Analyse von Petri-Netz-Modellen. Teubner Verlag, 1990.
12. Modular testbed for distributed control, http://aut.informatik.unihalle. de/forschung/testbed/.