Quantitative timed simulation functions and refinement metrics for real-time systems
From MaRDI portal
Publication:2986932
DOI10.1145/2461328.2461370zbMath1361.68019arXiv1212.6556OpenAlexW2145654574MaRDI QIDQ2986932
Krishnendu Chatterjee, Vinayak S. Prabhu
Publication date: 16 May 2017
Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.6556
Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Distributed systems (68M14)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on two problems in connexion with graphs
- Enhancing model checking in verification by AI techniques
- Receding horizon control for temporal logic specifications
- Model Repair for Probabilistic Systems
- Markov decision processes and regular events
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability