TY - CHAP
T1 - From timed automata to stochastic hybrid games model checking, synthesis, performance analysis and machine learning
AU - Larsen, Kim G.
AU - Fahrenberg, Uli
AU - Legay, Axel
N1 - Publisher Copyright:
© 2017 The authors and IOS Press. All rights reserved.
Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.
PY - 2017/1/1
Y1 - 2017/1/1
N2 - 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. Also the article provides the stochastic semantic extension of timed automata and timed games enabling statistical model checking as well as optimal synthesis using reinforcement learning.
AB - 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. Also the article provides the stochastic semantic extension of timed automata and timed games enabling statistical model checking as well as optimal synthesis using reinforcement learning.
KW - Bisimilarity
KW - Conditional optimality
KW - Optimal infinite run
KW - Optimal reachability
KW - Optimal winning strategies
KW - Priced timed automaton
KW - Reachability
KW - Region
KW - Statistical model checking
KW - Stochastic timed automata
KW - Stochastic timed games
KW - Timed automaton
KW - Timed game
KW - Weighted timed automaton
KW - Winning strategy
KW - Zone
UR - http://www.scopus.com/inward/record.url?scp=85046427422&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-810-5-60
DO - 10.3233/978-1-61499-810-5-60
M3 - Book chapter
AN - SCOPUS:85046427422
SN - 9781614998099
SP - 60
EP - 103
BT - Dependable Software Systems Engineering
PB - IOS Press
ER -