Declaration of unknowns in DAE-based hybrid system specification

DOI10.1145/778553.778555MaRDI QIDQ4564827zbMATH OpenOpenAlexFDO

Authors D. A. van Beek, Victor Bos, Jacobus E. Rooda

Publication date 12 June 2018

Published in ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/778553.778555

zbMATH Keywords

consistent initial conditionshybrid languageinitial value problemsemantics

Mathematics Subject Classification ID

Recommendations

• Syntax and consistent equation semantics of hybrid Chi
• scientific article; zbMATH DE number 1264646
• Symbolic verification of hybrid systems: an algebraic approach
• Hybrid dynamical systems theory and the Signal language
• Structural analysis of multi-mode DAE systems

Cited in

(1)

• Simulation of systems with dynamically varying model structure

Describes a project that uses

Uses Software

• Dymola

This page was built for publication: Declaration of unknowns in DAE-based hybrid system specification

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