Formal Modeling and Analysis of Timed Systems

DOI10.1007/11603009zbMath1175.68241OpenAlexW2493457341MaRDI QIDQ5897953

Thomas Brihaye, Véronique Bruyère, Jean-François Raskin

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (14)

Expected reachability-time games ⋮ Model Checking Real-Time Systems ⋮ Improved undecidability results on weighted timed automata ⋮ On the optimal reachability problem of weighted timed automata ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Optimal controller synthesis for timed systems ⋮ Weighted o-minimal hybrid systems ⋮ Optimal Reachability in Divergent Weighted Timed Games ⋮ Infinite Runs in Weighted Timed Automata with Energy Constraints ⋮ Unnamed Item ⋮ Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study ⋮ Symbolic Approximation of Weighted Timed Games ⋮ Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata ⋮ On the Supports of Recognizable Timed Series

This page was built for publication: Formal Modeling and Analysis of Timed Systems