Integrated Design and Simulation of Hybrid Systems
暂无分享,去创建一个
Georg Lehrenfeld | Rolf Naumann | Carsten Rust | Jürgen Tacken | Rainer Rasche | C. Rust | J. Tacken | G. Lehrenfeld | R. Rasche | R. Naumann
[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.