Download:
|
by Christoph Grimm, Klaus Waldschmidt, Technische Informatik, Professur Prof, Dr. K. Waldschmidt
in European Design Automation Conference
http://www.ti.informatik.uni-frankfurt.de/Papers/Kandis/edac96.ps
Add To MetaCart
Abstract:
Systems can be described in different time models and on various levels of abstraction. We can distinguish between models in discrete-event, discrete and continuous time. Graph-based, formal models allow us to use either discrete event/discrete time models or continuous time models. The combined use of all three time models in one system is the main problem when modeling mixed analog/digital systems. In this paper, a graph-based model is presented that supports the use of all three time models in different parts of a graph. This allows digital, discrete-time systems to be modeled together with their analog, physical environment. 1.
Citations
|
292
|
Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems
– Alur, Courcoubetis, et al.
|
|
7
|
A Formal Model for Coupling Computer Based Systems and Physical Systems
– Brielmann, Kleinjohann
- 1993
|
|
6
|
KANDIS - A Tool for Construction of Mixed Analog/Digital Systems
– Oehler, Grimm, et al.
- 1995
|
|
4
|
Modelling and Simulation of Non-Homogeneous Models
– Praehofer, Zeigler
- 1989
|
|
3
|
Data flow graphs: system specification with the most unrestricted semantics
– Jong
- 1991
|
|
3
|
Begriffshierarchien zur wissensbasierten Konstruktion von Filtern, mathematischen Operatoren und Wandlern (in German
– Oehler, Grimm, et al.
- 1992
|
|
2
|
subPAR 1076.1: Analog Extensions to VHDL. Design Objective Document (DOD). Version 2.2
– VHDL
- 1995
|
|
2
|
Petri Net Modelling of Task Level Behavioral VHDL for VLSI
– Benders, Stevens
- 1991
|
|
2
|
Eine Zwischendarstellung zum Entwurf hybrider Systeme durch Kopplung verschiedener Konstruktionswerkzeuge (in German
– Grimm, Oehler, et al.
|
|
2
|
Spezifikation hybrider Systeme (in German
– Leyendecker, Oehler, et al.
- 1995
|
|
1
|
System-Synthesis Using Hardware /Software Codesign
– Steinhausen
|