Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5897961
DOI10.1007/11603009zbMath1175.68245OpenAlexW2493457341MaRDI QIDQ5897961
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11603009
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 (6)
Weighted o-minimal hybrid systems ⋮ STORMED Hybrid Systems ⋮ Unnamed Item ⋮ Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets ⋮ Unnamed Item ⋮ Decisiveness of stochastic systems and its application to hybrid models
This page was built for publication: Formal Modeling and Analysis of Timed Systems