On Timed Simulation Relations for Hybrid Systems and Compositionality

DOI10.1007/11867340_15MaRDI QIDQ3511236zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2085342
• Approximate simulation relations for hybrid systems
• scientific article; zbMATH DE number 1617300
• Compositional abstractions of hybrid control systems
• scientific article; zbMATH DE number 1507211

Cited in

(7)

• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• Superposition principle in composable hybrid automata
• scientific article; zbMATH DE number 2085342 (Why is no real title available?)
• Compositional analysis for linear systems
• Asynchronous correspondences between hybrid trajectory semantics

Describes a project that uses

Uses Software

• PHAVer

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

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