Sciweavers

Share
FSEN
2009
Springer

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

9 years 2 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
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.
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2009
Where FSEN
Authors Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
Comments (0)
books