Asynchronous dynamical systems

An asynchronous dynamical system (ADS) is a formalism for a symbolic event-driven dynamical system based on input-output representation. By projecting the state space on the input and output process spaces the authors obtain input-state and input-output maps that represent the behavior of the system. The model is extended to incorporate nondeterministic processes as its input and output. The algebra of the ADS environment consists of projection, sum, and internal sum operators used for input-output projection, signal mixing by event interleaving, and synchronization, respectively. Properties of these operators are summarized and illustrated by examples. Input-output reduction of interconnected ADSs are discussed in the context of the dining philosophers problem