On the determinization of timed systems - Archive ouverte HAL
Conference Papers Year : 2017

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.
Fichier principal
Vignette du fichier
formats2017-BJM.pdf (413.77 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
311 View
345 Download

Altmetric

Share

More