Symbolic Quantitative Robustness Analysis of Timed Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Symbolic Quantitative Robustness Analysis of Timed Automata

Résumé

We study the robust safety problem for timed automata under guard imprecisions which consists in computing an imprecision parameter under which a safety specification holds. We give a symbolic semi-algorithm for the problem based on a parametric data structure, and evaluate its performance in comparison with a recently published one, and with a binary search on enlargement values.
Fichier principal
Vignette du fichier
symrob.pdf (437.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01244766 , version 1 (16-12-2015)

Identifiants

Citer

Ocan Sankur. Symbolic Quantitative Robustness Analysis of Timed Automata. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Apr 2015, London, United Kingdom. ⟨10.1007/978-3-662-46681-0_48⟩. ⟨hal-01244766⟩
412 Consultations
167 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More