Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The authors study the logic and synchronization characteristics of general dynamical systems called hybrid dynamical systems (HDSs). The proposed theory generalizes the notion of discrete-event dynamical systems by handling numerics as well as symbolics. This theory is supported by the programming language SIGNAL and a mathematical model of relational style. This framework makes it possible to formulate in the same way HDS programming or specification and HDS control. The core of the theory is the notion of HDS resolution, which is based on a reduction technique that maps any HDS specification program into a polynomial dynamical system on the finite field of integers modulo 3; all the algorithms are then based on the study of this dynamical system.Keywords
This publication has 4 references indexed in Scilit:
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- From time series to linear system—Part IIIAutomatica, 1987
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977