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
* Auteur correspondant
2 MeForBio
IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
Résumé : Cet article présente une synthèse de résultats récents permettant l'analyse à grande échelle de la dynamique des réseaux d'automates. Nous nous focalisons sur deux types de propriétés : l'accessibilité -- étant donné un état global du réseau, existe-t-il une suite de transitions permettant d'atteindre un état local donné pour un automate donné ; et la caractérisation des points fixes à partir de la topologie du réseau d'automates et de ses transitions locales. Pour l'accessibilité, nous donnons des conditions nécessaires applicables à tout réseaux d'automates et des conditions suffisantes pour les réseaux d'automates asynchrones. Nous abordons également le calcul d'ensembles de coupes pour l'accessibilité, qui sont des ensembles d'états locaux d'automates qui, si ils sont désactivés, rendent impossible l'accessibilité étudiée. Ces analyses de la dynamique exploitent la concurrence au sein des réseaux d'automates indéterministes et reposent sur des abstractions donnant une représentation compacte, non redondante, mais approchée, de l'ensemble des comportements possibles. Ces méthodes ont rendu possible l'analyse de la dynamique de réseaux biologiques avec des centaines et des milliers de composants.
Type de document :
Article dans une revue
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〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01070295
Contributeur : Loïc Paulevé <>
Soumis le : mercredi 9 septembre 2015 - 21:32:13
Dernière modification le : mercredi 19 décembre 2018 - 15:02:08
Document(s) archivé(s) le : lundi 28 décembre 2015 - 22:44:23

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

163