Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
A game approach to determinize timed automata
du groupe Graphes et Logique

Date 2012-03-20  11:00-12:00
TitreA game approach to determinize timed automata 
RésuméTimed automata are frequently used to model real-time systems. Their determinization is a key issue for several validation problems. However, not all timed automata can be determinized, and determinizability itself is undecidable. In this talk, we will present a game-based algorithm which, given a timed automaton, tries to produce a language-equivalent deterministic timed automaton, otherwise a deterministic over-approximation. Our method subsumes two recent contributions: it is at once more general than a recent determinization procedure and more precise than the existing over-approximation algorithm. Then, we will explain how this method can be adapted to be usefull for test generation. This talk is a joint work with Nathalie Bertrand, Thierry Jéron and Moez Krichen. Papers have been presented at FoSSaCs'11 and TACAS'11. 
Lieusalle 76 
OrateurAmélie Stainer 
Emailamelie.stainer@inria.fr 
UrlINRIA 



Aucun document lié à cet événement.

Retour
Retour à l'index