Solving Equations on Discrete Dynamical Systems - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Solving Equations on Discrete Dynamical Systems

Résoudre des équations sur des Systèmes Dynamiques Discrets

Résumé

Boolean automata networks, genetic regulation networks, and metabolic networks are just a few examples of biological modeling by discrete dynamical systems (DDS). A major issue in modeling is the verification of the model against the experimental data or inducing the model under uncertainties in the data. Equipping finite discrete dynamical systems with an algebraic structure of commutative semiring provides a suitable context for hypothesis verification on the dynamics of DDS. Indeed, hypothesis on the systems can be translated into polynomial equations over DDS. Solutions to these equations provide the validation to the initial hypothesis. Unfortunately, finding solutions to general equations over DDS is undecidable. In this article, we want to push the envelop further by proposing a practical approach for some decidable cases in a suitable configuration that we call the Hypothesis Checking. We demonstrate that for many decidable equations all boils down to a "simpler" equation. However, the problem is not to decide if the simple equation has a solution, but to enumerate all the solutions in order to verify the hypothesis on the real and undecidable systems. We evaluate experimentally our approach and show that it has good scalability properties. 2012 ACM Subject Classification
Fichier principal
Vignette du fichier
1904.13115.pdf (678.87 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02271381 , version 1 (26-08-2019)

Identifiants

Citer

Alberto Dennunzio, Enrico Formenti, Luciano Margara, Valentin Montmirail, Sara Riva. Solving Equations on Discrete Dynamical Systems. 2019. ⟨hal-02271381⟩
71 Consultations
219 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More