Decision Problems for Parametric Timed Automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Decision Problems for Parametric Timed Automata

Résumé

Parametric timed automata (PTAs) allow to reason on systems featuring concurrency and timing constraints making use of parameters. Most problems are undecidable for PTAs, including the paramet-ric reachability emptiness problem, i. e., whether at least one parameter valuation allows to reach some discrete state. In this paper, we first exhibit a subclass of PTAs (namely integer-points PTAs) with bounded rational-valued parameters for which the parametric reachability emptiness problem is decidable. Second, we present further results improving the boundary between decidability and undecidability for PTAs and their subclasses.
Fichier principal
Vignette du fichier
andre-ICFEM-16.pdf (381.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02538055 , version 1 (09-04-2020)

Identifiants

Citer

Étienne André, Didier Lime, Olivier Henri Roux. Decision Problems for Parametric Timed Automata. 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩. ⟨hal-02538055⟩
44 Consultations
95 Téléchargements

Altmetric

Partager

More