Goal-Oriented Reduction of Automata Networks - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

Goal-Oriented Reduction of Automata Networks

Loïc Paulevé

Résumé

We consider networks of finite-state machines having local transitions conditioned by the current state of other automata. In this paper, we depict a reduction procedure tailored for a given reachability property of the form ``from global state s there exists a sequence of transitions leading to a state where an automaton g is in a local state T'. By exploiting a causality analysis of the transitions within the individual automata, the proposed reduction removes local transitions while preserving all the minimal traces that satisfy the reachability property. The complexity of the procedure is polynomial in the total number of local states and transitions, and exponential in the number of local states within one automaton. Applied to automata networks modelling dynamics of biological systems, we observe that the reduction shrinks down significantly the reachable state space, enhancing the tractability of the model-checking of large networks.
Fichier principal
Vignette du fichier
gored.pdf (267.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01149118 , version 1 (06-05-2015)
hal-01149118 , version 2 (06-05-2016)

Identifiants

  • HAL Id : hal-01149118 , version 1

Citer

Loïc Paulevé. Goal-Oriented Reduction of Automata Networks. [Research Report] Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2015. ⟨hal-01149118v1⟩
273 Consultations
422 Téléchargements

Partager

Gmail Facebook X LinkedIn More