On the determinization of timed systems

Abstract : 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.
Type de document :
Communication dans un congrès
FORMATS'17, Sep 2017, Berlin, Germany. 10419, pp.25-41, LNCS. 〈10.1007/978-3-319-65765-3 2〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01566436
Contributeur : Nicolas Markey <>
Soumis le : vendredi 21 juillet 2017 - 09:45:20
Dernière modification le : jeudi 7 février 2019 - 14:21:00

Fichier

formats2017-BJM.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Patricia Bouyer, Samy Jaziri, Nicolas Markey. On the determinization of timed systems. FORMATS'17, Sep 2017, Berlin, Germany. 10419, pp.25-41, LNCS. 〈10.1007/978-3-319-65765-3 2〉. 〈hal-01566436〉

Partager

Métriques

Consultations de la notice

387

Téléchargements de fichiers

136