Quantitative Temporal Simulation and Refinement Distances for Timed Systems

DOI10.1109/TAC.2015.2404612MaRDI QIDQ2982579zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Vinayak S. Prabhu

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2015.2404612

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) 2-person games (91A05) Games involving graphs (91A43) Applications of game theory (91A80)

Cited in

(5)

• Quantitative timed simulation functions and refinement metrics for real-time systems
• Bidirectional nested weighted automata
• The robot routing problem for collecting aggregate stochastic rewards
• Computing bisimilarity metrics for probabilistic timed automata
• Deriving global virtual time algorithms from conservative simulation protocols

This page was built for publication: Quantitative Temporal Simulation and Refinement Distances for Timed Systems

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