Model Checking Real-Time Systems

Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

6 Citationer (Scopus)

Resumé

This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).
OriginalsprogEngelsk
TitelHandbook of Model Checking
ForlagSpringer Publishing Company
Publikationsdato2018
Sider1001-1046
ISBN (Elektronisk)978-3-319-10575-8
DOI
StatusUdgivet - 2018

Fingerprint

Timed Automata
Model Checking
Weighted Automata
Real-time
Finite State Automata
Game
Model
Framework

Citer dette

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J., & Worrell, J. (2018). Model Checking Real-Time Systems. I Handbook of Model Checking (s. 1001-1046). Springer Publishing Company. https://doi.org/10.1007/978-3-319-10575-8_29
Bouyer, Patricia ; Fahrenberg, Uli ; Larsen, Kim Guldstrand ; Markey, Nicolas ; Ouaknine, Joël ; Worrell, James. / Model Checking Real-Time Systems. Handbook of Model Checking. Springer Publishing Company, 2018. s. 1001-1046
@inbook{50651120bb33427f8b700f6beced630b,
title = "Model Checking Real-Time Systems",
abstract = "This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).",
author = "Patricia Bouyer and Uli Fahrenberg and Larsen, {Kim Guldstrand} and Nicolas Markey and Jo{\"e}l Ouaknine and James Worrell",
year = "2018",
doi = "10.1007/978-3-319-10575-8_29",
language = "English",
pages = "1001--1046",
booktitle = "Handbook of Model Checking",
publisher = "Springer Publishing Company",
address = "United States",

}

Bouyer, P, Fahrenberg, U, Larsen, KG, Markey, N, Ouaknine, J & Worrell, J 2018, Model Checking Real-Time Systems. i Handbook of Model Checking. Springer Publishing Company, s. 1001-1046. https://doi.org/10.1007/978-3-319-10575-8_29

Model Checking Real-Time Systems. / Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James.

Handbook of Model Checking. Springer Publishing Company, 2018. s. 1001-1046.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

TY - CHAP

T1 - Model Checking Real-Time Systems

AU - Bouyer, Patricia

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Markey, Nicolas

AU - Ouaknine, Joël

AU - Worrell, James

PY - 2018

Y1 - 2018

N2 - This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).

AB - This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint about some recent extensions (namely weighted timed automata and timed games).

U2 - 10.1007/978-3-319-10575-8_29

DO - 10.1007/978-3-319-10575-8_29

M3 - Book chapter

SP - 1001

EP - 1046

BT - Handbook of Model Checking

PB - Springer Publishing Company

ER -

Bouyer P, Fahrenberg U, Larsen KG, Markey N, Ouaknine J, Worrell J. Model Checking Real-Time Systems. I Handbook of Model Checking. Springer Publishing Company. 2018. s. 1001-1046 https://doi.org/10.1007/978-3-319-10575-8_29