Using transition systems to describe and predict the behaviour of structured excitable media

Authors:
William M. Stevens
Affiliations:
Unconventional Computing Group, Faculty of Environment and Technology, University of the West of England, Bristol, UK BS16 1QY
Venue:
Natural Computing: an international journal
Year:
2013

Citing 9
Cited 0

On the development of reactive systems

Logics and models of concurrent systems
Models for concurrency

Handbook of logic in computer science (vol. 4)
Communication and Concurrency

Communication and Concurrency
Collision-based computing

Collision-based computing
Evolution In Materio: A Real-Time Robot Controller in Liquid Crystal

EH '05 Proceedings of the 2005 NASA/DoD Conference on Evolvable Hardware
Information processing with structured excitable medium

Natural Computing: an international journal
Principles of Asynchronous Circuit Design: A Systems Perspective

Principles of Asynchronous Circuit Design: A Systems Perspective
On Process-algebraic Verification of Asynchronous Circuits

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Computing with planar toppling domino arrangements

Natural Computing: an international journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

I show how transition systems can be applied to the naturally concurrent behaviour of excitable media. I consider structured excitable media, in which excitations are constrained to propagate only in defined narrow channels, and cannot propagate elsewhere. I define a type of transition system that can be used to describe the complete set of behaviours exhibited by simple structures. The composition rules that result from this definition can be used to automatically deduce the behaviour of more complex structures composed from simpler structures. Several examples illustrate the method, and a software implementation is provided.