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.
Author(s): Frédéric Geurts (auth.)
Series: Lecture Notes in Computer Science 1426
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 280
Tags: Computation by Abstract Devices; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Software Engineering
Prologue: Aims, Themes, and Motivations....Pages 1-18
Dynamics of Relations....Pages 21-52
Dynamics of Composed Relations....Pages 53-79
Abstract Observation of Dynamics....Pages 83-94
Invariance, Attraction, Complexity....Pages 95-131
Compositional Analysis of Dynamical Properties....Pages 135-161
Case Studies: Compositional Analysis of Dynamics....Pages 163-181
Experimental Compositional Analysis of Cellular Automata....Pages 183-216
Compositional Analysis of Computational Properties....Pages 217-242
Epilogue: Conclusions and Directions for Future Work....Pages 243-255
