Compositional and uniform modeling of hybrid systems

DOI10.1109/9.664162MaRDI QIDQ4393086zbMATH OpenOpenAlexFDO

Authors Albert Benveniste

Publication date 9 February 1999

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/9.664162

zbMATH Keywords

behavioral approachcompositionalityconcurrencyhybrid system modelingmultiform time

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited in

(5)

• Syntax and semantics of the compositional interchange format for hybrid systems
• Compositionality issues in discrete, continuous, and hybrid systems
• Non-standard semantics of hybrid systems modelers
• scientific article; zbMATH DE number 1956632 (Why is no real title available?)
• UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration

This page was built for publication: Compositional and uniform modeling of hybrid systems

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