Advertisement

Integrated design and simulation of hybrid systems

  • Georg Lehrenfeld
  • Rolf Naumann
  • Rainer Rasche
  • Carsten Rust
  • Jürgen Tacken
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1386)

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.

Keywords

Hybrid System Continuous Part System Part Discrete Component Drive Train 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bri95]
    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.Google Scholar
  2. [CK81]
    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.Google Scholar
  3. [DGS97]
    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.Google Scholar
  4. [EB096]
    H. Elmqvist, D. Bräck and M. Otter. Dymola-User's Manual, Version 3.0. Dynasim AB, 1996.Google Scholar
  5. [Eng97]
    S. Engell. Modeling and Analysis of hybrid dynamic systems (in German: Modellierung and Analyse hybrider dynamischer Systeme. Automatisierungstechnik (at) 4/97, 1997.Google Scholar
  6. [GL81]
    H.J. Genrich and K. Lautenbach. System Modelling with High-Level Petri Nets. Theoretical Computer Science, 13, 1981.Google Scholar
  7. [GW96]
    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.Google Scholar
  8. [Har78]
    D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3:231–274, June 1978.Google Scholar
  9. [HCRP91]
    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.Google Scholar
  10. [HMN96]
    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.Google Scholar
  11. [Hom97]
    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.Google Scholar
  12. [i-L97]
    i-Logix Inc. Statemate MAGNUM Reference Manuals, 1997.Google Scholar
  13. [Int97]
    Integrated Systems Inc. MATRIXx Reference Manuals, 1997.Google Scholar
  14. [K.97]
    Jensen K. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use. 3, Pratical Use. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1997.Google Scholar
  15. [KKT96]
    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.Google Scholar
  16. [Kow97]
    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.Google Scholar
  17. [KTT97]
    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.Google Scholar
  18. [Lyg96]
    J. Lygeros. Hierarchical, Hybrid Control of Large Scale Systems. PhD thesis, University of California, Berkeley, 1996.Google Scholar
  19. [Mai93a]
    P. Maiaer et. al.. alaska 2.0 Handbuch (in German). TU Chemnitz, I&M, Chemnitz, 1993.Google Scholar
  20. [Mai93b]
    P. et. al. Maiaer. MATLAB, High Performance Numeric Computation and Visualization Software. The Math Works Inc., 1993.Google Scholar
  21. [OGW95]
    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.Google Scholar
  22. [PL95]
    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.Google Scholar
  23. [Ric96]
    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.Google Scholar
  24. [SR96]
    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.Google Scholar
  25. [WS95]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Georg Lehrenfeld
    • 1
  • Rolf Naumann
    • 2
  • Rainer Rasche
    • 2
  • Carsten Rust
    • 3
  • Jürgen Tacken
    • 3
  1. 1.Heinz Nixdorf InstitutPaderborn UniversityGermany
  2. 2.Mechatronics LaboratoryPaderborn UniversityGermany
  3. 3.C-LABJoint R&D Institute of Paderborn University and Siemens Nixdorf Informationssysteme AGGermany

Personalised recommendations