Abstract
The contribution tries to present some issues coming from control technology in a way that is related to embedded or reactive systems in computer science and technology. It therefore reviews some of the very basic design patterns of control engineering and shows the differences and similarities of the control engineering approach and methodologies taken from computer science and technology. It focuses on development of closed-loop and model-based design patterns for Programmable Logic Controllers for discrete state/transition or even hybrid systems. Some of the major issues in this field are discussed. Current limitations and obstacles are highlighted, and some ideas about how they could be overcome in future are presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angermann, A., Beuschel, M., Rau, M., Wohlfahrth, U.: Matlab – Simulink – Stateflow, 2nd edn. Oldenbourg Verlag, München (2003)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
David, R., Alla, H.: Petri nets and Grafcet: tools for modelling discrete event systems. Prentice Hall International, New York (1992)
Engell, S., Frehse, G., Schnieder, E.: Modelling, Analysis and Design of Hybrid Systems. Lecture Notes in Control and Information Science, vol. 279. Springer, Heidelberg (2002)
Ehrig, H.: DFG priority programme: Software specification – integration of software specification techniques for applications in engineering. Technische Universität, Berlin (March 2004), http://tfs.cs.tu-berlin.de/SPP/index-eng.html
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
Holloway, L.E., Krogh, B.H.: Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans. on Automatic Control 35(5), 514–523 (1990)
IEC. International Standard IEC1131-3 Programmable Controllers—Part 3. International Electrotechnical Commision, Geneva, Suisse, final draft edition (1993)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)
Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25(1), 206–230 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hanisch, HM. (2004). Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. In: Zimmermann, W., Thalheim, B. (eds) Abstract State Machines 2004. Advances in Theory and Practice. ASM 2004. Lecture Notes in Computer Science, vol 3052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24773-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-24773-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22094-7
Online ISBN: 978-3-540-24773-9
eBook Packages: Springer Book Archive