Hybrid dynamical systems theory and the Signal language

The logic and synchronization characteristics of general dynamical systems called hybrid dynamical systems (HDS) are studied. The 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 dynamic 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 automation) and directed graphs (to describe how data dependencies dynamically evolve). The resolution algorithms are based on the study of this dynamical system. >

[1]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[2]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[3]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[4]  A. Benveniste,et al.  Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields , 1988 .

[5]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[6]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[7]  A. Benveniste,et al.  Polynomial ideal theory methods in discrete event, and hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[8]  P. Ramadge.  Observability of discrete event systems , 1986, 1986 25th IEEE Conference on Decision and Control.

[9]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[10]  A. Levis,et al.  Editorial: Research directions: A first step , 1987 .

[11]  Nicolas Halbwachs,et al.  Outline of a Real Time Data Flow Language , 1985, RTSS.

[12]  Albert Benveniste,et al.  Signal-A data flow-oriented language for signal processing , 1986, IEEE Trans. Acoust. Speech Signal Process..

[13]  Karl-Erik Årzén,et al.  Expert control , 1986, at - Automatisierungstechnik.

[14]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[15]  Jan C. Willems,et al.  From time series to linear system - Part III: Approximate modelling , 1987, Autom..

[16]  P. Varaiya,et al.  Finitely recursive processes , 1987, 26th IEEE Conference on Decision and Control.

[17]  A. Benveniste,et al.  The SIGNAL software environment for real-time system specification, design, and implementation , 1989, IEEE Control Systems Society Workshop on Computer-Aided Control System Design.

[18]  Paul Le Guernic,et al.  SIGNAL: A declarative language for synchronous programming of real-time systems , 1987, FPCA.