Model Checking Real-Time Systems

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

doi:10.1007/978-3-319-10575-8_29

Model Checking Real-Time Systems

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

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

28 Citations (Scopus)

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).

Original language	English
Title of host publication	Handbook of Model Checking
Number of pages	46
Publisher	Springer Publishing Company
Publication date	2018
Pages	1001-1046
ISBN (Print)	9783319105741
ISBN (Electronic)	978-3-319-10575-8
DOIs	https://doi.org/10.1007/978-3-319-10575-8_29
Publication status	Published - 2018

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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",

isbn = "9783319105741",

pages = "1001--1046",

booktitle = "Handbook of Model Checking",

publisher = "Springer Publishing Company",

address = "United States",

}

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).

UR - http://www.scopus.com/inward/record.url?scp=85054044575&partnerID=8YFLogxK

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

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

M3 - Book chapter

SN - 9783319105741

SP - 1001

EP - 1046

BT - Handbook of Model Checking

PB - Springer Publishing Company

ER -

Model Checking Real-Time Systems

Abstract

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this