HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Analyses statiques de la dynamique des réseaux d'automates indéterministes

Loïc Paulevé 1, * Maxime Folschette 2 Morgan Magnin 2 Olivier Roux 2
* Corresponding author
2 MeForBio
IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
Abstract : This paper gives an overview of recent results on scalable analysis of automata networks dynamics. We focus on two properties: reachability – given a global state of the network, does it exist a sequence of transition reaching a given local state of a given automaton; and fixed point characterization. Concerning reachability, we give necessary conditions in the general scope of automata networks; and sufficient conditions in the scope of asynchronous automata networks. We address the computation of cut sets for reachability, that are sets of local states, that if disabled make impossible the concerned reachability. Those analyses exploit the concurrency in indeterministic automata networks and rely on abstractions giving compact, non-redundant, but approximate representations of the network dynamics. Such methods have made tractable the analysis of dynamics of biological networks gathering hundreds and thousands of components.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

Contributor : Loïc Paulevé Connect in order to contact the contributor
Submitted on : Wednesday, September 9, 2015 - 9:32:13 PM
Last modification on : Wednesday, April 27, 2022 - 3:46:35 AM
Long-term archiving on: : Monday, December 28, 2015 - 10:44:23 PM


Files produced by the author(s)



Loïc Paulevé, Maxime Folschette, Morgan Magnin, Olivier Roux. Analyses statiques de la dynamique des réseaux d'automates indéterministes. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (4), pp.22. ⟨10.3166/TSI.34.463-484⟩. ⟨hal-01070295v2⟩



Record views


Files downloads