Prototyping of hybrid systems : from HyCharts to hybrid data-flow graphs
- In this paper, a translation of the visual description technique HyCharts to Hybrid Data-Flow Graphs (HDFG) is given. While HyCharts combine a data-flow and a control-flow oriented formalism for the specification of the architecture and the behavior of hybrid systems, HDFG allow the efficient and homogeneous internal representation of hybrid systems in computers and their automatic manipulation. HDFG represent a system as a data-flow network built from a set of fundamental functions. The translation permits to combine the advantages of the different description techniques: The use of HyCharts for specification supports the abstract and formal interactive specification of hybrid systems, while HDFG permit the tool based optimization of hybrid systems and the synthesis of mixed-signal prototypes.
Author: | Thomas Stauner, Christoph Grimm |
---|---|
URN: | urn:nbn:de:hebis:30:3-422251 |
DOI: | https://doi.org/10.1016/S1571-0661(05)80631-0 |
Parent Title (German): | Electronic Notes in Theoretical Computer Science |
Document Type: | Article |
Language: | English |
Year of Completion: | 2017 |
Year of first Publication: | 2000 |
Publishing Institution: | Universitätsbibliothek Johann Christian Senckenberg |
Release Date: | 2017/08/29 |
Volume: | 28 |
Page Number: | 20 |
First Page: | 81 |
Last Page: | 100 |
Note: | https://creativecommons.org/licenses/by-nc-nd/3.0/ |
HeBIS-PPN: | 428603572 |
Institutes: | Informatik und Mathematik / Mathematik |
Dewey Decimal Classification: | 5 Naturwissenschaften und Mathematik / 51 Mathematik / 510 Mathematik |
Sammlungen: | Universitätspublikationen |
Licence (German): | Creative Commons - Namensnennung-Nicht kommerziell - Keine Bearbeitung 4.0 |