Application-driven Challenges for Automata Networks and Complex Systems

HORIZON.1.2HORIZON-TMA-MSCA-SEID: 101131549
EC Contribution
€4,370
Consortium Size
7 orgs
Summary

The ACANCOS project aims to lay the foundation for a solid, and internationally competitive research, which is deeply rooted in a context of numerous prior collaborations (but non structured in an unique network on a worldwide scale) on Automata Networks, Cellular Automata, and modelling of complex systems by these discrete models.ACANCOS connects the scientific expertise and excellence of research groups from five countries, two of them outside EU, including experts from two distinct communities (AN and CA), from two distinct orientations (theory-oriented and application-oriented), and from three distinct disciplines (computer science, mathematics, and biomedicine).The scientific objectives of the project are:a) Increasing the knowledge on the relations among the architecture/properties of the underlying graph of AN and the dynamical properties of DTDS defined by AN;b) Understanding the sensitivity/robustness of AN to (a)synchronism;c) Understanding AN through the concept of intrinsic simulation, i.e. the capacity of instances of the computational model to simulate the dynamical behaviour of other instances of the same model;d) Targeting and understanding wide classes of CA both exhibiting the complex behaviours of general CA and with decidable dynamical properties;e) Designing efficient decision algorithms for the dynamical properties describing the dynamical behaviour of DTDS defined by the above mentioned classes of CA;f) Understanding the complexity of the problems regarding the dynamics of DTDS defined by CA with both finite and infinite lattice. g) AN for new conceptualisation and modelling of GRN: theoretical validations and applicative validations on real GRN;h) New CA-based methods for data encryption;Sharing knowledge among different cultural and scientific environments will be crucial to achieve the scientific objectives of the project. The partnership will be strengthened through summer schools and workshops.

Consortium (7)

Project Results (26)

Source: CORDIS, the EU research results database.

Publications (24)
Creation of Fixed Points in Block-Parallel Boolean Automata Networks
Lecture Notes in Computer Science, Unconventional Computation and Natural Computation· 2026DOI
Kévin Perrot, Sylvain Sené, Léah Tapin
Hardness of monadic second-order formulae over succinct graphs
Logical Methods in Computer Science· 2026DOI
Guilhem Gamard, Aliénor Goubault-Larrecq, Pierre Guillon, Pierre Ohlmann, Kévin Perrot, Guillaume Theyssier
Interaction graphs of isomorphic automata networks II: Universal dynamics
Journal of Computer and System Sciences· 2026DOI
Florian Bridoux, Aymeric Picard Marchetto, Adrien Richard
On the dynamics of bounded-degree automata networks
Natural Computing· 2026DOI
Julio Aracena, Florian Bridoux, Maximilien Gadouleau, Pierre Guillon, Kévin Perrot, Adrien Richard, Guillaume Theyssier
Chemical pure reaction automata in maximally parallel manner
Journal of Membrane Computing· 2025DOI
Rocco Ascone, Giulia Bernardini, Francesco Leiter, Luca Manzoni
Circuit Metaconstruction in Logspace for Rice-Like Complexity Lower Bounds in ANs and SGRs
Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations· 2025DOI
Aliénor Goubault–Larrecq, Kévin Perrot
Cycles and global attractors of reactantless and inhibitorless reaction systems
Theoretical Computer Science· 2025DOI
Rocco Ascone, Giulia Bernardini, Luca Manzoni
Dynamical stability of threshold networks over undirected signed graphs
Theoretical Computer Science· 2025DOI
Eric Goles, Pedro Montealegre, Martín Ríos-Wilson, Sylvain Sené
Foundations of block-parallel automata networks
Theoretical Computer Science· 2025DOI
Kévin Perrot, Sylvain Sené, Léah Tapin
Impact of (a)synchronism on ECA: Towards a new classification
Chaos, Solitons & Fractals· 2025DOI
Isabel Donoso-Leiva, Eric Goles, Martín Ríos-Wilson, Sylvain Sené
Impact of (a)synchronism on ECA: Towards a new classification
Chaos, Solitons & Fractals· 2025DOI
Isabel Donoso-Leiva, Eric Goles, Martín Ríos-Wilson, Sylvain Sené
Injectivity of Polynomials over Finite Discrete Dynamical Systems
Lecture Notes in Computer Science, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations· 2025DOI
Antonio E. Porreca, Marius Rolland
Natural Computing
Natural Computing· 2025DOI
Victor Lutfalla, Kévin Perrot
Polygonal corona limit on multigrid dual tilings
Natural Computing· 2025DOI
Victor Lutfalla, Kévin Perrot
Sandpiles prediction and crossover on $$\mathbb {Z}^2$$ within Moore neighborhood
Natural Computing· 2025DOI
Pablo Concha-Vega, Eric Goles, Pedro Montealegre, Kévin Perrot
Solving “Pseudo-injective” Polynomial Equations over Finite Dynamical Systems
Lecture Notes in Computer Science, Cellular Automata and Discrete Complex Systems· 2025DOI
Antonio E. Porreca, Marius Rolland
Theoretical Computer Science
Theoretical Computer Science· 2025DOI
Eric Goles, Pedro Montealegre, Martín Ríos-Wilson, Sylvain Sené
Asymptotic (a)Synchronism Sensitivity and Complexity of Elementary Cellular Automata
Lecture Notes in Computer Science, LATIN 2024: Theoretical Informatics· 2024DOI
Isabel Donoso Leiva, Eric Goles, Martín Ríos-Wilson, Sylvain Sené
Combinatorics of Block-Parallel Automata Networks
Lecture Notes in Computer Science, SOFSEM 2024: Theory and Practice of Computer Science· 2024DOI
Kévin Perrot, Sylvain Sené, Léah Tapin
Complexity of Boolean Automata Networks Under Block-Parallel Update Modes
Leibniz International Proceedings in Informatics (LIPIcs)· 2024DOI
Kévin Perrot, Sylvain Sené, Léah Tapin
Dividing Permutations in the Semiring of Functional Digraphs
Lecture Notes in Computer Science, Cellular Automata and Discrete Complex Systems· 2024DOI
Florian Bridoux, Christophe Crespelle, Thi Ha Duong Phan, Adrien Richard
IEEE Access
IEEE Access· 2024DOI
Alberto Dennunzio; Enrico Formenti; Luciano Margara
On the Dynamical Behavior of Cellular Automata on Finite Groups
IEEE Access· 2024DOI
Alberto Dennunzio, Enrico Formenti, Luciano Margara
Roots in the Semiring of Finite Deterministic Dynamical Systems
Lecture Notes in Computer Science, Cellular Automata and Discrete Complex Systems· 2024DOI
François Doré, Kévin Perrot, Antonio E. Porreca, Sara Riva, Marius Rolland
Deliverables (2)