Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems
Book information
Description
This self-contained monograph is an integrated study of generic systems defined by iterated relations using the two paradigms of abstraction and composition. This accommodates the complexity of some state-transition systems and improves understanding of complex or chaotic phenomena emerging in some dynamical systems. The main insights and results of this work concern a structural form of complexity obtained by composition of simple interacting systems representing opposed attracting behaviors. This complexity is expressed in the evolution of composed systems (their dynamics) and in the relations between their initial and final states (the computation they realize). The theoretical results are validated by analyzing dynamical and computational properties of low-dimensional prototypes of chaotic systems, high-dimensional spatiotemporally complex systems, and formal systems.
Similar books
Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
2016 · PDF
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
2015 · PDF
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
2015 · PDF
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
2014 · PDF
Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
2014 · PDF
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
2005 · PDF
Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
2007 · PDF
Trees in Algebra and Programming — CAAP '96: 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
1996 · PDF