Communication Dans Un Congrès Année : 2022

Efficient Convex Zone Merging in Parametric Timed Automata

Résumé

Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a significant way to reduce the inherently large analysis times. We present here different merging reduction techniques based on convex union of constraints (parametric zones), allowing to decrease the number of states while preserving the correctness of verification and synthesis results. We perform extensive experiments, and identify the best heuristics in practice, bringing a significant decrease in the computation time on a benchmarks library.

Fichier principal
Vignette du fichier
2212.04802v1.pdf (540.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
DOI

Cite 10.5281/zenodo.6806915 Jeu de données André, É., Marinho, D., Petrucci, L., & Van De Pol, J. (2022). Data for paper ‘Efficient Convex Zone Merging in Parametric Timed Automata’ (Version 1.0) [Data set]. Zenodo. https://doi.org/10.5281/ZENODO.6806915

Dates et versions

hal-03772708 , version 1 (20-03-2025)

Licence

Identifiants

Citer

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata. 20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩. ⟨hal-03772708⟩
344 Consultations
169 Téléchargements

Altmetric

Partager

  • More