Search
 
loader loading subjects...
cover
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus Thrane
235 - 273
10.3233/978-1-61499-207-3-235
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 34: Engineering Dependable Software 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.

$35.00 / €27.50 / £22.00
Add PDF to cart