Title :
Asynchronous dynamical systems
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
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
Keywords :
Petri nets; algebra; deterministic automata; nondeterministic systems; sequential machines; Petri nets; algebra; asynchronous dynamical system; deterministic automata; dining philosophers problem; event interleaving; input-output representation; interconnected systems; nondeterministic processes; nondeterministic systems; sequential machines; signal mixing; symbolic event-driven dynamical system; synchronization; Algebra; Computer languages; Discrete event systems; Equations; Filters; Interleaved codes; Laboratories; Logic; Signal design; State-space methods;
Conference_Titel :
Decision and Control, 1989., Proceedings of the 28th IEEE Conference on
Conference_Location :
Tampa, FL
DOI :
10.1109/CDC.1989.70406
