Abstraction strategies for computing travelling or looping durations in networks of timed automata - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Abstraction strategies for computing travelling or looping durations in networks of timed automata

Raymond Devillers
  • Function : Author
  • PersonId : 855780

Abstract

This paper shows how to abstract networks of timed automata in order to accelerate the analysis of quantitative properties such as path or cycle duration, that would otherwise suffer from the state space explosion. Two approaches are introduced, a single step strategy and an iterative one, where a part of the network of timed automata is merged and abstracted. As a consequence, the state space is reduced and model-checking is simplified. These approaches are illustrated on a case study, where the comparison is done by calculating the cycle time of one automaton in the network, both on the real network and on the two abstracted ones, showing that the method reduces significantly the runtime, or simply renders feasible the analysis of the system.
Fichier principal
Vignette du fichier
Devillers-Klaudel2016.pdf (299.08 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01364726 , version 1 (18-07-2018)

Identifiers

Cite

Raymond Devillers, Hanna Klaudel. Abstraction strategies for computing travelling or looping durations in networks of timed automata. 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016), Aug 2016, Quebec, Canada. pp.140--156, ⟨10.1007/978-3-319-44878-7_9⟩. ⟨hal-01364726⟩
99 View
91 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More