1. An algorithmic pipeline for solving equations over discrete dynamical systems modelling hypothesis on real phenomena
- Author
-
Dennunzio, A, Formenti, E, Margara, L, Riva, S, Dennunzio, A, Formenti, E, Margara, L, and Riva, S
- Subjects
General Computer Science ,Hypothesis on phenomena ,Modeling and Simulation ,Discrete modelling ,FOS: Mathematics ,Dynamical Systems (math.DS) ,Mathematics - Dynamical Systems ,Finite discrete dynamical system ,Theoretical Computer Science - Abstract
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
- Published
- 2023