Foundations of a Compositional Interchange Format for Hybrid Systems

DOI10.1007/978-3-540-71493-4_45MaRDI QIDQ3613003zbMATH OpenOpenAlexFDO

Authors D. A. van Beek, R. R. H. Schiffelers, Jacobus E. Rooda, Michel A. Reniers

Publication date 11 March 2009

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71493-4_45

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Nonlinear programming (90C30)

Recommendations

• Syntax and semantics of the compositional interchange format for hybrid systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 7314988
• scientific article; zbMATH DE number 2085342

Cited in

(8)

• Syntax and semantics of the compositional interchange format for hybrid systems
• Rigorous discretization of hybrid systems using process calculi
• Verification of Hybrid Systems
• Application of supervisory control theory to theme park vehicles
• Compositional Abstraction in Real-Time Model Checking
• scientific article; zbMATH DE number 7314988 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

Describes a project that uses

Uses Software

• PHAVer
• Uppaal

This page was built for publication: Foundations of a Compositional Interchange Format for Hybrid Systems

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