Abstract
In this article we present a new approach for the design of hybrid systems composed of discrete and continuous parts. In our approach the system designers can start their specifications with the discrete as well as with the continuous parts. Both paradigms can be used with there own methodology and Tools. There are integration mechanisms for both paradigms. For the integrated simulation C code is generated. The advantages of our approach are demonstrated by modeling all important aspects of a system for building up motorcades. The model includes a discrete part selecting one of the different strategies modeled in the continuous parts. These are strategies for velocity and distance control for vehicles.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Brielmann. Modelling differential equations by basic information technology means. In Proceedings of the 5th International Conference on Computer Aided Systems, Theory and Technology (EUROCAST'95), Innsbruck, Austria, May 1995.
L. A. Cherkasova and V. E. Kotov. Structured nets. In J. Gruska and M. Chytil, editors, Mathematical Foundations of Computer Science, volume 118 of Lecture Notes in Computer Science. Springer Verlag, 1981.
A. Deshpande, A.Göllü, and L. Semenzato. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata. Technical report, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, 1997. CA 94720.
H. Elmqvist, D. Bräck and M. Otter. Dymola-User's Manual, Version 3.0. Dynasim AB, 1996.
S. Engell. Modeling and Analysis of hybrid dynamic systems (in German: Modellierung and Analyse hybrider dynamischer Systeme. Automatisierungstechnik (at) 4/97, 1997.
H.J. Genrich and K. Lautenbach. System Modelling with High-Level Petri Nets. Theoretical Computer Science, 13, 1981.
C. Grimm and K. Waldschmidt. Kir-a graph-based model for description of mixed analog/digital systems. In Proceedings of IEEE Euro-DAC/Euro VHDL, Genf, Switzerland, September 1996.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3:231–274, June 1978.
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305–1320, September 1991.
M. Hahn and U. Meier-Noe. The Classification Concept in the Object-Oriented Modelling Language Objective-DSS, Exemplified by Vehicle Suspensions. In Proc. of the IEEE International Symposium on Computer-Aided Control System Design, Dearborn, Michigan, September 1996.
C. Homburg. SIMBA-Increasing Efficiency in the Simulation of Heterogenously modelled Mechatronic Systems. In Proc. of the 9th European Simulation Symposium (ESS-97) “Simulation in Industry”, Germany, Passau, October 1997.
i-Logix Inc. Statemate MAGNUM Reference Manuals, 1997.
Integrated Systems Inc. MATRIXx Reference Manuals, 1997.
Jensen K. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use. 3, Pratical Use. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1997.
B. Kleinjohann, E. Kleinjohann, and J. Tacken. The SEA Language for System Engineering and Animation. In Applications and Theory of Petri Nets, LNCS 1091, pages 307–326. Springer Verlag, 1996.
J. Kowalewski, S.; Preuaig. Verification of sequential controllers with timing functions for chemical processes. In Proc. of IFAC 13th World Congress, Vol. J, pages 419–424, Francisco, USA, 1997.
B. Kleinjohann, J. Tacken, and C. Tahedl. Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets. In Proc. of the XIII IFIP WG 10.5 Conference on Computer Hardware Description Languages and Their Applictations (CHDL-97), pages 4–23, Toledo, Spain, April 1997. Chapman & Hall.
J. Lygeros. Hierarchical, Hybrid Control of Large Scale Systems. PhD thesis, University of California, Berkeley, 1996.
P. Maiaer et. al.. alaska 2.0 Handbuch (in German). TU Chemnitz, I&M, Chemnitz, 1993.
P. et. al. Maiaer. MATLAB, High Performance Numeric Computation and Visualization Software. The Math Works Inc., 1993.
Peter Oehler, Christoph Grimm, and Klaus Waldschmidt. KANDIS — a tool for construction of mixed analog/digital systems. In Proc. of IEEE Euro-DAC, Brighton, September 1995.
S. Pettersson and B. Lennartson. Hybrid Modelling focused on Hybrid Petri Nets. In Proc. of the @nd European Workshop on Real-time and Hybrid Systems, Grenobel, France, June 1995.
J. Richert. Integration of Mechatronic Design Tools with CAMeL, Exemplified by Vehicle Convoy Control Design. In Proc. of the IEEE International Symposium on Computer-Aided Control System Design, Dearborn, Michigan, September 1996.
J. Seuss and J. Richert. Control Structures for Vehicle Convoy Control. In Proc. of the International Symposium on Advanced Vehicle Control (AVEC96), Monterey, California, June 1996.
R. Wieting and M. Sonnenschein. Extending High-Level Petri Nets for Modeling Hybrid Systems. In Proc. of the IMACS Symposium on Systems Analysis and Simulation, Berlin, Germany, June 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lehrenfeld, G., Naumann, R., Rasche, R., Rust, C., Tacken, J. (1998). Integrated design and simulation of hybrid systems. In: Henzinger, T.A., Sastry, S. (eds) Hybrid Systems: Computation and Control. HSCC 1998. Lecture Notes in Computer Science, vol 1386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64358-3_42
Download citation
DOI: https://doi.org/10.1007/3-540-64358-3_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64358-6
Online ISBN: 978-3-540-69754-1
eBook Packages: Springer Book Archive