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.

• Type: Conference
• Year: 2009
• Where: FSEN
• Authors: Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
• Keywords: Automata Modeling Formalism, FSEN 2009, Precise Travellers, Software Engineering, Timed Automata