Skip to Main content Skip to Navigation
Conference papers

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

Abstract : This article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [8, 9]. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, the existence of winning strategies, and then statistical model checking.
Complete list of metadata

Cited literature [98 references]  Display  Hide  Download

https://hal.inria.fr/hal-01087927
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, November 27, 2014 - 9:58:36 AM
Last modification on : Thursday, January 7, 2021 - 4:33:32 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:18:31 AM

File

ictacschool.pdf
Files produced by the author(s)

Identifiers

Citation

Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC, Aug 2013, Shanghai, China. pp.67 - 108, ⟨10.1007/978-3-642-39721-9_2⟩. ⟨hal-01087927⟩

Share

Metrics

Record views

479

Files downloads

351