scientific article; zbMATH DE number 1497790

MaRDI QIDQ4499208zbMATH OpenFDO

Authors Thomas Stauner, Christoph Grimm

Publication date 5 March 2001

zbMATH Keywords

hybrid data-flow graphsHyCharts

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular and visual specification of hybrid systems: An introduction to HyCharts
• From hybrid data-flow languages to hybrid automata: a complete translation
• Hybrid diagrams
• Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
• Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

Cites work

• scientific article; zbMATH DE number 1088216 (Why is no real title available?)
• scientific article; zbMATH DE number 763725 (Why is no real title available?)
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Reaction and control I. Mixing additive and multiplicative network algebras

Cited in

(2)

• Semi-automatic generation of mixed hardware/software prototypes from Simulink models
• Modular and visual specification of hybrid systems: An introduction to HyCharts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499208)