An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena

Autor: Dennunzio, A, Formenti, E, Margara, L, Riva, S
Přispěvatelé: Dennunzio, A, Formenti, E, Margara, L, Riva, S
Rok vydání: 2023
Předmět:
Zdroj: Journal of Computational Science. 66:101932
ISSN: 1877-7503
DOI: 10.1016/j.jocs.2022.101932
Popis: This paper provides an algorithmic pipeline for studying the intrinsic structure of a finite discrete dynamical system (DDS) modelling an evolving phenomenon. Here, by intrinsic structure we mean, regarding the dynamics of the DDS under observation, the feature of resulting from the "cooperation" of the dynamics of two or more smaller DDS. The intrinsic structure is described by an equation over DDS which represents a hypothesis over the phenomenon under observation. The pipeline allows solving such an equation, i.e., validating the hypothesis over the phenomenon, as far the asymptotic behavior and the number of states of the DDS under observation are concerned. The results are about the soundness and completeness of the pipeline and they are obtained by exploiting the algebraic setting for DDS introduced in [10].
Comment: Accepted for publication by Journal of Computational Science
Databáze: OpenAIRE