Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time 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.
Type de document :
Communication dans un congrès
ICTAC, Aug 2013, Shanghai, China. pp.67 - 108, 2013, 〈10.1007/978-3-642-39721-9_2〉
Liste complète des métadonnées

Littérature citée [98 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087927
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:58:36
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:18:31

Fichier

ictacschool.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC, Aug 2013, Shanghai, China. pp.67 - 108, 2013, 〈10.1007/978-3-642-39721-9_2〉. 〈hal-01087927〉

Partager

Métriques

Consultations de la notice

281

Téléchargements de fichiers

94