TY  - JOUR
A1  - Stauner, Thomas
A1  - Grimm, Christoph
T1  - Prototyping of hybrid systems : from HyCharts to hybrid data-flow graphs
T2  - Electronic Notes in Theoretical Computer Science
N2  - 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.
Y1  - 2017
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/42225
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-422251
N1  - https://creativecommons.org/licenses/by-nc-nd/3.0/
VL  - 28
SP  - 81
EP  - 100
ER  -