Steuerungssynthese auf der Basis von Netz-Condition/Event-Systemen

VDI Berichte

Volumn , Issue 1397, 1998, Pages 327-334

  Hanisch, H M ^a   Thieme, J ^a   Luder A ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040398014     PISSN: 00835560     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (16)

1. Deuter A.: Entwicklung eines Modelcheckers für das Entwurfstool SAFECODE; Diplomarbeit, Ottovon-Guericke-Universität Magdeburg, Fakultät Elektrotechnik, 1996.
2. Hanisch H.-M., Kölbel S., Rausch M., A modular modelling, controller synthesis and control code generation framework; 13 IFAC World Congress, San Francisco. USA, Juli 1996, Proceed., Vol. J, S. 495-500.
3. Hanisch H -M., Lüder A., Thieme J. Controller Synthesis by Means of Symbolic Backward Search; 2nd MATHMOD, Wien, Östereich, Februar 1997, Proceed., S. 165-170.
4. Hanisch H.-M., Lüder A., Rausch M . Controller Synthesis for Net Condition/Event Systems with Incomplete State Observation; CIMAT96, Grenoble, Frankreich, Mai 1996, Proceed., S 351-356.
5. Hanisch H -M., Thieme J., Lüder A , Rausch M : Synthese und Automatische Codegenerierung Ereignisdiskreter Steuerungen; EKA'97, Braunschweig, Deutschland, Mai 1997, Band 2 , S. 418-445.
6. Hanisch H-M., Lüder A., Thieme J., Wienhold O Modelling of PLC Behaviour by Means of Timed Net Condition/Event Systems; ETFA'97, Los Angeles, USA, September 1997, Proceed., S. 391-396.
7. Hanisch H.-M, Lüder A., Rausch M. Controller Synthesis for Net Condition/Event Systems with incomplete state observation European Journal of Control, No. 3, 1997.
8. Lüder A , Hanisch H-M., Rausch M Synthesis of Forcing/Locking Controllers Based on Net Condition/Event Systems; EFTA'96, Kauai, USA, November 1996, Proceed., Vol.1, S. 341-347.
9. Rausch M., Hanisch H-M Netz Condition/Event-Systeme, EKA'95, Braunschweig, Deutschland, Juni 1995, Proceed , S 55-71
10. Rausch M., Hanisch H-M., Net condition/event systems with multiple condition outputs; ETFA'95, Paris. Frankreich, Oktober 1995, Proceed , Vol.1, S. 592-600
11. Rausch M., Lüder A , Hanisch H-M., Combined synthesis of locking and sequential controllers; WODES'96, Edinburgh, Großbritanien, August 1996, Proceed., S. 133-138
12. Rausch M.: Modulare Modellbilaung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme, VDI Reihe 8, Nr. 613, VDI-Verlag, Düsseldorf 1997.
13. Sreenivas R.S , Krogh B.H : On condition/event systems with discrete state realizations; Discrete Event Dynamic Systems: Theory and Applications 1991, 2(1) 209-236.
14. Starke P H., Hanisch H-M. Analysis of Signal/Event Nets, ETFA'97, Los Angelas, USA, September 1997, Proceed., S. 253 - 257.
15. Schwanke D , Lüder A., Hanisch H -M : Dynamic Behavior and the Deadlock-Trap Property of Signal/Event Nets; submitted to WODES'98, Caglian, italien, August 1998.
16. Thieme J.: Zeitbewertung von Netz Condition/Event Systemen; Diplomarbert, Otto-von-Guericke-Universität Magdeburg, Fakultät Elektrotechnik, 1995