Selected publications at LSV

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.

@inproceedings{BJM-formats17,
   address = {Berlin, Germany},
   author = {Bouyer, Patricia and Jaziri, Samy and Markey, Nicolas},
   booktitle = {{P}roceedings of the 15th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'17)},
   DOI = {10.1007/978-3-319-65765-3_2},
   editor = {Abate, Alessandro and Geeraerts, Gilles},
   month = sep,
   pages = {25-41},
   publisher = {Springer},
   title = {On the Determinization of Timed Systems},
   url = {https://hal.archives-ouvertes.fr/hal-01566436/},
   volume = {10419},
   year = {2017},
}

About LSV

Select by Year