Decision Problems for Parametric Timed Automata - Archive ouverte HAL
Conference Papers Year : 2016

Decision Problems for Parametric Timed Automata

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

É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⟩
36 View
90 Download

Altmetric

Share

More