Discrete dynamical systems (DDS) are a useful tool for modelling the dynamical behavior of many phenomena occurring in a huge variety of scientific domains. Boolean automata networks, genetic regulation networks, and metabolic networks are just a few examples of DDS used in Bioinformatics. Equations over DDS have been introduced as a formal tool to check the model against experimental data. Solving generic equations over DDS has been proved undecidable. In this paper we propose to solve a decidable abstraction which consists in equations having a constant part. The abstraction we focus on consists in restricting the solutions to equations involving only the periodic behavior of DDS. We provide a fast and scalable method to solve such abstractions.

Dennunzio, A., Formenti, E., Margara, L., Montmirail, V., Riva, S. (2020). Solving equations on discrete dynamical systems. In Computational Intelligence Methods for Bioinformatics and Biostatistics (pp.119-132). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-63061-4_12].

Solving equations on discrete dynamical systems

Dennunzio A.;
2020

Abstract

Discrete dynamical systems (DDS) are a useful tool for modelling the dynamical behavior of many phenomena occurring in a huge variety of scientific domains. Boolean automata networks, genetic regulation networks, and metabolic networks are just a few examples of DDS used in Bioinformatics. Equations over DDS have been introduced as a formal tool to check the model against experimental data. Solving generic equations over DDS has been proved undecidable. In this paper we propose to solve a decidable abstraction which consists in equations having a constant part. The abstraction we focus on consists in restricting the solutions to equations involving only the periodic behavior of DDS. We provide a fast and scalable method to solve such abstractions.
paper
Boolean automata networks; Decidability; Discrete dynamical systems
English
International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2019
2019
Computational Intelligence Methods for Bioinformatics and Biostatistics
978-3-030-63060-7
2020
12313
119
132
reserved
Dennunzio, A., Formenti, E., Margara, L., Montmirail, V., Riva, S. (2020). Solving equations on discrete dynamical systems. In Computational Intelligence Methods for Bioinformatics and Biostatistics (pp.119-132). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-030-63061-4_12].
File in questo prodotto:
File Dimensione Formato  
Dennunzio-2020-CIBB LNBI LNCS-VoR.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Licenza: Tutti i diritti riservati
Dimensione 551.46 kB
Formato Adobe PDF
551.46 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/337035
Citazioni
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
Social impact