Controller synthesis for net condition/event systems with a solution for incomplete state observation

European Journal of Control

Volumn 3, Issue 4, 1997, Pages 280-291

  Hanisch, H M ^a   Luder A ^a   Rausch, M ^b  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Condition event systems; Discrete event systems; Forbidden states; Implementation; Logic controller synthesis

Indexed keywords

ALGORITHMS; CONTROL SYSTEM SYNTHESIS; DESCRIBING FUNCTIONS; PROGRAMMABLE LOGIC CONTROLLERS; STATE SPACE METHODS;

CONTROLLER SYNTHESIS; FORBIDDEN STATES; NET CONDITION EVENT MODELS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0031387222     PISSN: 09473580     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0947-3580(97)70086-4     Document Type: Article

References (27)

1. Boel RK, Ben-Naoum L, Van Breusegem V. On forbidden state problems for a class of controlled Petri nets. IEEE Trans Autom Control 1995; 40 (10): 1717-1731
2. Charbonnier F, Alla H, David R. The supervised control of discrete event dynamic systems: a new approach. 34th IEEE CDC, New Orleans, LA. December 1995
3. Genrich HJ, Thieler-Mevissen G. The calculus of facts. Symposium on mathematical foundations of computer science, Gdansk, Poland. LNCS 45. Springer, Berlin. 1976. pp 588-595
4. Giua A, DiCesare F, Silva M. Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proceedings of the 1992 IEEE international conference on systems, man, and cybernetics, Chicago, IL. 1992. pp 974-979
5. Giua A, DiCesare F, Silva M. Petri net supervisors for generalized mutual exclusion constraints. Proceedings of the 12th IFAC world congress, Sydney, Australia, vol 1. July 1993. pp 267-270
6. Hanisch H-M, Kölbel S, Rausch M. A modular modelling, controller synthesis and control code generation framework. Proceedings of the 13th IFAC world congress, San Francisco, CA. vol J. July 1996. pp 495-500
7. Hanisch H-M, Lüder A, Thieme J. Controller synthesis by means of symbolic backward search. 2nd MATHMOD, Vienna, Austria. February 1997. pp 165-170
8. Hanisch H-M, Lüder A, Thieme J, Wienhold O. Modelling of PLC behaviour by means of timed net condition/event systems. Proceedings of the 6th IEEE international conference on emerging technologies and factory automation, ETFA'97, Los Angeles, CA. September 1997. pp 391-996.
9. Holloway LE, Krogh BH. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans Autom Control 1990; 35 (5): 514-523
10. Holloway LE, Krogh BH, Giua A. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Syst: Theory Appl 1997; 7: 151-190
11. Kowalewski S. Synthesis of static controllers for forbidden states problems in Boolean c/e-systems using the Boolean differential calculus. 11th international conference on analysis and optimisation of systems, Sophia-Antipolis, France. June 1994. LNCIS 199, Springer, Berlin. 1994. pp 122-128
12. Kowalewski S, Hanisch H-M. Permissive control of Boolean condition/event systems: synthesis and limits. Proceedings of the 9th IEEE international symposium on intelligent control (1994 ISIC), Columbus, OH. August 1994. pp 118-123
13. Kowalewski S, Gesthuisen R, Roßmann V. Modelbased verification of batch process control software. Proceedings of the international conference on systems, man and cybernetics, San Antonio, TX. October 1994. pp 331-336
14. Kowalewski S, Hanisch H-M, Anderssohn U. Logic controller synthesis for non-C/U-partitionable automata with forbidden states. Proceedings of the 13th IFAC world congress, San Francisco, CA. vol J. July 1996. pp 359-364
15. Krogh BH, Holloway LE. Synthesis of feedback control logic for discrete manufactured systems. Automatica 1990; 27 (4): 641-651
16. Krogh BH, Kowalewski S. Boolean condition/event systems: computational representation and algorithms. Proceedings of the 12th IFAC world congress, Sydney, Australia. July 1993. pp 327-330
17. Lüder A, Hanisch H-M, Rausch M. Synthesis of forcing/locking controllers based on net condition/event systems. Proceedings of the 5th IEEE international conference on emerging technologies and factory automation (EFTA '96), Kauai, Hawaii, vol 1. November 1996. pp 341-347
18. Moody JO, Yamalidou K, Lemmon MD, Antsaklis PJ. Feedback control of Petri nets based on place invariants. Proceedings of the 33rd conference on decision and control, Lake Buena Vista, USA. December 1994. pp 3104-3109
19. Moody JO, Antsaklis PJ, Lemmon MD. Automated design of a Petri net feedback controller for robotic assembly cell. Proceedings of the symposium on emerging technologies and factory automation, Paris, France, vol 2. October 1995. pp 117-128
20. Ramadge PJ, Wonham WM. Supervisory control of a class of discrete event processes. SIAM J Contr Optimization 1987; 25(1): 206-230
21. Rausch M, Hanisch H-M. Net condition/event systems with multiple condition outputs. Proceedings of the symposium on emerging technologies and factory automation, Paris, France, vol 1. October 1995. pp 592-600
22. Rausch M, Hanisch H-M. Netz Condition/Event-Systeme. Proceedings of the Entwurf komplexer Automatisierungssysteme, 4. Fachtagung, TU Braunschweig, Germany. June 1995. pp 55-71 (http://www. et.uni-magdeburg.de/steutech/paper/paper-list.html)
23. Rausch M, Lüder A, Hanisch H-M. Combined synthesis of locking and sequential controllers. International workshop on discrete event systems (WODES'96), Edinburgh, UK, August 1996. Proc IEEE 1996; 133-138
24. Rausch M. Modulare Modellbildung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme. Fortschritt-Berichte, VDI Reihe 8, Meß-, Steuerungs- und Regelungstechnik, Nr 613, VDI-Verlag, Düsseldorf 1997
25. Sreenivas RS, Krogh BH. On condition/event systems with discrete state realizations. Discrete Event Dynamic Syst: Theory Appl 1991; 2 (1): 209-236
26. Sreenivas RS, Krogh BH. Petri net based models for condition/event systems. Proceedings of the American control conference 1991, Boston, MA. vol 3. pp 2899-2904
27. Yamalidou K, Moody JO, Lemmon MD, Antsaklis PJ. Feedback control of Petri nets based on place invariants. Automatica 1996; 32 (1): 15-28