MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  KIR - A graph-based model for description of mixed analog/digital systems (1996) [7 citations — 5 self]

Download:
Download as a PDF | Download as a PS
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