On Timed Simulation Relations for Hybrid Systems and Compositionality

DOI10.1007/11867340_15zbMath1141.68434OpenAlexW1608477325MaRDI QIDQ3511236

Goran Frehse

Publication date: 8 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11867340_15

Mathematics Subject Classification ID

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

Related Items (4)

Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis ⋮ Asynchronous correspondences between hybrid trajectory semantics ⋮ Towards Component Based Design of Hybrid Systems: Safety and Stability ⋮ Can we build it: formal synthesis of control strategies for cooperative driver assistance systems

Uses Software

• PHAVer

This page was built for publication: On Timed Simulation Relations for Hybrid Systems and Compositionality