Foundations of a Compositional Interchange Format for Hybrid Systems

DOI10.1007/978-3-540-71493-4_45zbMath1221.68152OpenAlexW2121000867MaRDI QIDQ3613003

Jacobus E. Rooda, D. A. van Beek, R. R. H. Schiffelers, Michel 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

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

Related Items (4)

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

Uses Software

• PHAVer
• Uppaal

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