Towards a synthesis method for distributed safety controllers based on net condition/event systems

Journal of Intelligent Manufacturing

Volumn 8, Issue 5, 1997, Pages 357-368

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

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

Condition event systems; Forbidden states; Modular logic controllers; Synthesis

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; INDUSTRIAL PLANTS; PROGRAMMABLE LOGIC CONTROLLERS; SYSTEMS ANALYSIS;

CONDITION EVENT SYSTEMS; FORBIDDEN STATES; MODULAR LOGIC CONTROLLERS; MODULARITY;

COMPUTER INTEGRATED MANUFACTURING;

EID: 0031246724     PISSN: 09565515     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1018502131099     Document Type: Article

References (17)

1. Genrich, H. J. and Thieler-Mevissen, G. (1976) The Calculus of Facts: Mathematical Foundations of Computer Science, Springer, Berlin, pp. 588-595.
2. Hanisch, H.-M., Kölbel, S. and Rausch, M. (1996a) A modular modelling, controller synthesis and control code generation framework, in Preprints of the 13th IFAC World Congress, San Francisco, July 1996, International Federation on Automatic Control, Vol. J, pp. 495-500.
3. Hanisch, H.-M., Lüder, A. and Rausch, M. (1996b) Controller synthesis for net condition/event systems with incomplete state observation, in Proceedings of CIMAT'96, Grenoble, France, May 1996, CIMAT, St Martin d'Heres Cedex, France, pp. 351-356.
4. Hanisch, H.-M., Lüder, A. and Thieme, J. (1997a) Controller synthesis by means of symbolic backward search in Proceedings of the 2nd MATHMOD, Vienna, Austria, February 1997, Technical University Vienna, Vienna, pp. 165-170.
5. Hanisch, H.-M., Thieme, J. and Lüder, A. (1997b) A modular modelling and control code generation concept for manufacturing systems, in Proceedings of the 2nd HIMAC Workshop, Karlsrahe, Germany, May 1997, (in press).
6. Holloway, L. E., Guan, X. and Zhang, L. (1996) A generalization of state avoidance policies for controlled Petri nets. IEEE Transactions on Automatic Control, 41, 804-816.
7. Krogh, B. H. and Holloway, L. E. (1991) Synthesis of feedback control logic for discrete manufacturing systems. Automatica, 27, 641-651.
8. Ostroff, J. S. (1989) Synthesis of controllers for real-time discrete event systems in Proceedings of the 28th IEEE Conference on Decision and Control, Tampa, Florida, December 1989, pp. 138-149.
9. Ramadge, P. J. and Wonham, W. M. (1987a) Supervisory control of a class of discrete-event processes. SIAM Journal of Control and Optimization, 25, 206-230.
10. Ramadge, P. J. and Wonham, W. M. (1987b) Modular feedback logic for discrete event systems. SIAM Journal of Control and Optimization, 25, 1202-1218.
11. Rausch, M. (1996) Modulare modellbildung, synthese und code-generierang ereignisdiskreter steuerangssysteme. PhD Thesis, Otto-von-Guericke-University of Magdeburg, Department of Electrical Engineering (in German).
12. Rudie, K. and Wonham, W. M. (1992) Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control, 37, 1692-1708.
13. Sreenivas, R. S. and Krogh, B. H. (1991) On condition/event systems with discrete state realizations. Discrete Event Dynamic Systems: Theory and Applications, 2, 209-236.
14. Starke, P. H. (1990) Analyse von Petri-Netz-Modellen. Teubner, Stuttgart (in German).
15. Wong, K. C. and Wonham, W. M. (1996) Hierarchical control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, 6, 241-274.
16. Wonham, W. M. and Ramadge, P. J. (1988) Modular supervisory control of discrete-event systems. Mathematics of Control, Signals and Systems, 1, 13-30.
17. Zhong, H. and Wonham, W. M. (1990) On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control, 35, 1125-1134.