HYBRID DYNAMIC-SYSTEMS THEORY AND THE SIGNAL LANGUAGE

We study the logic and synchronization characteristics of general dynamical systems called Hybrid Dynamical Systems. Our theory is related to discrete event dynamical system theory, but handles numerics as well as symbolics. It is supported by the programming language SIGNAL and a mathematical model of general implicit dynamical systems. The core of the theory is the notion of HDS resolution which is based on a coding of any HDS into a “dynamical graph” which consists of a skew product of a polynomial dynamical system on the finite field of integers modulo 3 (to describe the transitions of the underlying automaton) and directed graphs (to describe how data dependencies dynamically evolve). The resolution algorithms are then based on the study of this dynamical system. © 1990 IEEE