Observability of hybrid systems and turing machines

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 7-12

  Collins, Pieter ^a   Van Schuppen, Jan H ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; FUNCTIONS; LINEAR SYSTEMS; NEURAL NETWORKS; OBSERVABILITY; PARAMETER ESTIMATION; PROBLEM SOLVING; SET THEORY; THEOREM PROVING; TURING MACHINES;

HYBRID SYSTEMS; PIECE-AFFINE SYSTEM; SATURATED LINEAR SYSTEMS; TRANSITION FUNCTIONS;

LARGE SCALE SYSTEMS;

EID: 14344251377     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1428598     Document Type: Conference Paper

References (21)

1. M. Sipser, Introduction to the Theory of Computation. Brooks Cole, 1996.
2. C. H. Bennett, "Logical reversibility of computation," IBM J. Res. Develop., vol. 17, pp. 525-532, 1973.
3. K. Morita, "Universality of a reversible two-counter machine," Theoret. Comput. Sci., vol. 168, no. 2, pp. 303-320, 1996.
4. P. K. Hooper, "The undecidability of the Turing machine immortality problem," J. Symbolic Logic, vol. 31, pp. 219-234, 1966.
5. V. D. Blondel, O. Bournez, P. Koiran, C. H. Papadimitriou, and J. N. Tsitsiklis, "Deciding stability and mortality of piecewise affine dynamical systems," Theoret. Comput. Sci., vol. 255, no. 1-2, pp. 687-696, 2001.
6. C. Moore, "Generalized shifts: unpredictability and undecidability in dynamical systems," Nonlinearity, vol. 4, no. 2, pp. 199-230, 1991.
7. P. Koiran, M. Cosnard, and M. Garzon, "Computability with low-dimensional dynamical systems," Theoret. Comput. Sci., vol. 132, no. 1-2, pp. 113-128, 1994.
8. E. Asarin, O. Maler, and A. Pnueli, "Reachability analysis of dynamical systems having piecewise-constant derivatives," Theoret. Comput. Sci., vol. 138, no. 1, pp. 35-65, 1995.
9. H. T. Siegelmann and E. D. Sontag, "On the computational power of neural nets," J. Comput. System Sci., vol. 50, no. 1, pp. 132-150, 1995.
10. E. D. Sontag, "From linear to nonlinear: Some complexity questions," in Proceedings of the 34th IEEE Conference on Decision and Control. New York: IEEE Press, 1995, pp. 2916-2920.
11. V. D. Blondel and J. N. Tsitsiklis, "A survey of computational complexity results in systems and control," Automatica, vol. 36, no. 9, pp. 1249-1274, 2000.
12. V. D. Blondel, O. Bournez, P. Koiran, and J. N. Tsitsiklis, "The stability of saturated linear dynamical systems is undecidable," J. Comput. System Sci., vol. 62, no. 3, pp. 442-462, 2001.
13. R. Koplon, E. Sontag, and M. Hautus, "Observability of linear systems with saturated outputs," Linear Algebra Appl., vol. 205-206, pp. 909-936, 1994.
14. E. D. Sontag, "On the observability of polynomial systems, i: Finite-time problems," SIAM J. Control Optim., vol. 17, no. 1, pp. 139-151, 1979.
15. A. Grzegorczyk, "Computable functionals," Fund. Math., vol. 42, pp. 168-202, 1955.
16. K. Weihrauch, Computable analysis - An introduction, ser. Texts in Theoretical Computer Science. Berlin: Springer-Verlag, 2000.
17. M. W. Hirsch, Differential Topology, ser. Graduate Texts In Mathematics. Springer-Verlag, 1976, no. 33.
18. R. Vidal, A. Chiuso, S. Soatto, and S. Sastry, "Observability of linear hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, O. Maler and A. Pnueli, Eds., no. 2623. Berlin Heidelberg New York: Springer-Verlag, 2003, pp. 527-539.
19. P. Collins and J. H. van Schuppen, "Observability of piecewise-affine hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, no. 2993. Berlin Heidelberg New York: Springer-Verlag, 2004, pp. 265-279.
20. T. M. Cover and J. A. Thomas, Elements of information theory, ser. Wiley Series in Telecommunications. New York: John Wiley & Sons, Inc., 1991.
21. L. Habets and J. H. van Schuppen, "Reduction of affine systems on polytopes," in Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems, Univ. of Notre Dame, Notre Dame, IN. U.S.A., August 2002, 2002.