Abstract
The paper describes the challenges of modeling embedded hybrid control systems at a higher abstraction level. It discusses the problems of modeling and analyzing such systems and suggests the use of hybrid Petri nets and time interval Petri nets. Modeling an exemplary embedded control system with a special hybrid Petri net class using an object-oriented modeling and simulation tool and the extension of hybrid Petri nets with the concept of time intervals for analyzing time constraints shows the potential of this approach.
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
H. Alla, R. David, J. Le Bail, Hybrid Petri nets. In: Proceedings of the European Control Conference, Grenoble (1991).
H. Alla, R. David, Continuous Petri nets. In: Proceedings of the 8th European Workshop on Application and Theory of Petri nets, Saragossa (1987).
R. Drath, Modeling hybrid systems based on modified Petri nets. PhD Thesis, TU Ilmenau, (1999) (in German).
R. Drath, Hybrid object nets: An object-oriented concept for modeling complex hybrid systems. In: Hybrid Dynamical Systems. Third International Conference on Automation of Mixed Processes, ADPM’98, Reims (1998).
L. Popova-Zeugmann, Time Petri nets. PhD Thesis, Humboldt-Universität zu Berlin (1989) (in German).
L. Popova-Zeugmann, On Parametrical Sequences in Time Petri Nets. Humboldt-University Berlin, Institute of Informatics.
C.A. Petri, Communication with Automata. Schriften des IIM Nr. 2, Institut für Instrumentelle Mathematik, Bonn (1962) (in German).
E. Saffert, C. Schäffel, E. Kallenbach, Control of an integrated multi-coordinate drive. In: Mechatronics’96, Vol. 1, Guimaraes, Portugal, Proceedings 151–156 September 18–20, (1996).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
Hummel, T., Fengler, W. (2005). Design of Embedded Control Systems Using Hybrid Petri Nets. In: Design of Embedded Control Systems. Springer, Boston, MA. https://doi.org/10.1007/0-387-28327-7_12
Download citation
DOI: https://doi.org/10.1007/0-387-28327-7_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23630-8
Online ISBN: 978-0-387-28327-2
eBook Packages: EngineeringEngineering (R0)