Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time

This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author in the early 1980s. Some related more recent results are briefly mentioned as well.

[1]  Eduardo Sontag,et al.  Remarks on continuous feedback , 1980, 1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[2]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[3]  Eduardo Sontag.  Remarks on piecewise-linear algebra , 1982, Pacific Journal of Mathematics.

[4]  Eduardo D. Sontag,et al.  Real Addition and the Polynomial Hierarchy , 1985, Inf. Process. Lett..

[5]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[6]  Eduardo Sontag.  Systems Combining Linearity and Saturations, and Relations of “Neural Nets” , 1992 .

[7]  Armando Freitas da Rocha,et al.  Neural Nets , 1992, Lecture Notes in Computer Science.

[8]  Eduardo Sontag,et al.  Sign-linear systems as cascades of automata and continuous variable systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[9]  Eduardo D. Sontag,et al.  Identi ability of discrete-time neural networks , 1993 .

[10]  Eduardo D. Sontag,et al.  State observability in recurrent neural networks , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[11]  Observability of linear systems with saturated outputs , 1994 .

[12]  Hava T. Siegelmann,et al.  Analog computation via neural networks , 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.

[13]  Eduardo Sontag,et al.  A general result on the stabilization of linear systems using bounded controls , 1994, IEEE Trans. Autom. Control..

[14]  Hava T. Siegelmann,et al.  On the Computational Power of Neural Nets , 1995, J. Comput. Syst. Sci..