On the determinization of timed systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

On the determinization of timed systems

Résumé

We introduce a new formalism called automata over a timed domain which provides an adequate framework for the determinization of timed systems. In this formalism, determinization w.r.t. timed language is always possible at the cost of changing the timed domain. We give a condition for determinizability of automata over a timed domain without changing the timed domain, which allows us to recover several known determinizable classes of timed systems, such as strongly-non-zeno timed automata, integer-reset timed automata, perturbed timed automata, etc. Moreover in the case of timed automata this condition encompasses most determinizability conditions from the literature.
Fichier principal
Vignette du fichier
formats2017-BJM.pdf (413.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01566436 , version 1 (21-07-2017)

Identifiants

Citer

Patricia Bouyer, Samy Jaziri, Nicolas Markey. On the determinization of timed systems. FORMATS'17, Sep 2017, Berlin, Germany. pp.25-41, ⟨10.1007/978-3-319-65765-32⟩. ⟨hal-01566436⟩
312 Consultations
352 Téléchargements

Altmetric

Partager

More