Integrated design and simulation of hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1386, Issue , 1998, Pages 221-236

  Lehrenfeld, Georg ^a   Naumann, Rolf ^a   Rasche, Rainer ^a   Rust, Carsten ^b   Tacken, Jürgen ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b C LAB   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22044447056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_42     Document Type: Conference Paper

References (24)

1. M. Brielmarm. 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.
2. 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.
3. 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.
4. H. Elmqvist, D. Bräck, and M. Otter. Dymola - User's Manual, Version 3.0. Dynasim AB, 1996.
5. S. Engell. Modeling and Analysis of hybrid dynamic systems (in German: Modellierung und Analyse hybrider dynamischer Systeme). Automatisierungstechnik (at) 4/97, 1997.
6. H.J. Genrich and K. Lautenbach. System Modelling with High-Level Petri Nets. Theoretical Computer Science, 13, 1981.
7. 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.
8. D. Hard. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1978.
9. 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.
10. M. Hahn and U. Meier-Noe. The Classification Concept in the Object- Oriented Modelling Language Objective-DSS, Exempfified by Vehicle Suspensions. In Proc. of the IEEE International Symposium on Computer-Aided Control System Design, Dearborn, Michigan, September 1996.
11. 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.
12. i-Logix Inc. Statemate MAGNUM Reference Manuals, 1997. Integrated Systems Inc. MATRIXx Reference Manuals, 1997.
13. Jensen K. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. 3, Pratical Use. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1997.
14. 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.
15. 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.
16. B. Kleinjoharm, 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.
17. J. Lygeros. Hierarchical, Hybrid Control of Large Scale Systems. PhD thesis, University of California, Berkeley, 1996.
18. Maiaer P. et al: alaska 2.0 Handbuch (in German). TU Chemnitz, I&M, Chemnitz, 1993.
19. Maiaer, P. et al. MATLAB, High Performance Numeric Computation and Visualization Software. The Math Works Inc., 1993.
20. Peter Oehler, Christoph Grimm, and Klaus Waldschmidt. KANDIS – a tool for construction of mixed analog/digital systems. In Proc. of IEEE Euro-DA C, Brighton, September 1995.
21. S. Pettersson and B. Lennartson. Hybrid Modeling focused on Hybrid Petri Nets. In Proc. of the @nd European Workshop on Real-time and Hybrid Systems, Grenobel, France, June 1995.
22. 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.
23. J. Seuss and J. Richert. Control Structures for Vehicle Convoy Control. In Proc. of the International Symposium on Advanced Vehicle Control (A VEC- 96), Monterey, California, June 1996.
24. 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.