Integrated Design and Simulation of Hybrid Systems

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.

[1]  Bernd Kleinjohann,et al.  Towards a complete design method for embedded systems using predicate/transition-nets , 1997 .

[2]  Akash Deshpande,et al.  The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .

[3]  John Lygeros,et al.  Hierarchical, Hybrid Control of Large Scale Systems , 1996 .

[4]  Sebastian Engell,et al.  Modellierung und Analyse hybrider dynamischer Systeme , 1997 .

[5]  Klaus Waldschmidt,et al.  KIR-a graph-based model for description of mixed analog/digital systems , 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

[6]  Jürgen Seuss,et al.  Control Structures for Vehicle Convoy Control , 1997 .

[7]  Michael Sonnenschein,et al.  Extending high-level Petri nets for modeling hybrid systems , 1995 .

[8]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[9]  J. Richert.  Integration of mechatronic design tools with CAMeL, exemplified by vehicle convoy control design , 1996, Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design.

[10]  Klaus Waldschmidt,et al.  KANDIS-a tool for construction of mixed analog/digital systems , 1995, Proceedings of EURO-DAC. European Design Automation Conference.

[11]  サイバネットシステム,et al.  MATLAB : high-performance numeric computation and visualization software : エクスターナルインタフェースガイド , 1994 .

[12]  Bengt Lennartson,et al.  Hybrid Modelling Focused on Hybrid Petri Nets , 1995 .

[13]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[14]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[15]  Stefan Kowalewski,et al.  Verification of Sequential Controllers with Timing Functions for Chemical Processes , 1996 .

[16]  Bernd Kleinjohann,et al.  The SEA Language for System Engineering and Animation , 1996, Application and Theory of Petri Nets.

[17]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[18]  Ludmila Cherkasova,et al.  Structured Nets , 1981, International Symposium on Mathematical Foundations of Computer Science.

[19]  Maria Brielmann.  Modelling Differential Equations by Basic Information Technology Means , 1995, EUROCAST.