Search
 
loader loading subjects...
cover
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
203 - 229
10.3233/978-1-58603-976-9-203
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 22: Engineering Methods and Tools for Software Safety and Security
Abstract

This note 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 [7,8]. The note 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, and winning strategies.

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