Learning, control and hybrid systems pp 46-58 | Cite as

# Overview of complexity and decidability results for three classes of elementary nonlinear systems

## Abstract

It has become increasingly apparent this last decade that many problems in systems and control are NP-hard and, in some cases, undecidable. The inherent complexity of some of the most elementary problems in systems and control points to the necessity of using alternative approximate techniques to deal with problems that are unsolvable or intractable when exact solutions are sought.

We survey some of the decidability and complexity results available for three classes of discrete time nonlinear systems. In each case, we draw the line between the problems that are unsolvable, those that are NP-hard, and those for which polynomial time algorithms are known.

## Preview

Unable to display preview. Download preview PDF.

## References

- [Asarin et al., 1995][Asarin
*et al.*, 1995] Asarin, A., O. Maler and A. Pnueli (1995). Reachability analysis of dynamical systems having piecewise-constant derivatives,*Theoretical Computer Science*,**138**, 35–66.zbMATHCrossRefMathSciNetGoogle Scholar - [Blondel and Tsitsiklis, 1997a]Blondel, V. D. and J. N. Tsitsiklis (1997). Complexity of elementary hybrid systems,
*Proc. of the 4th European Control Conference*, Brussels.Google Scholar - [Blondel and Tsitsiklis, 1997b]Blondel, V. D. and J. N. Tsitsiklis (1997). When is a pair of matrices mortal?,
*Information Processing Letters*,**63**, 283–286.CrossRefMathSciNetGoogle Scholar - [Blondel and Tsitsiklis, 1997c]Blondel, V. D. and J. N. Tsitsiklis (1997). Survey of complexity results for systems and control problems, (in preparation).Google Scholar
- [Blondel and Tsitsiklis, 1997d]Blondel, V. D. and J. N. Tsitsiklis (1997). Decidability limits for low-dimensional piecewise linear systems, (submitted).Google Scholar
- [Davis, 1982]Davis, M. (1982).
*Computability and Unsolvability*, New York, Dover.zbMATHGoogle Scholar - [Garey and Johnson, 1979]Garey, M. R. and D. S. Johnson (1979).
*Computers and Intractability: A Guide to the Theory of NP-completeness*, Freeman and Co., New York.zbMATHGoogle Scholar - [Hopcroft and Ullman, 1969]Hopcroft, J. E. and J. D. Ullman (1969).
*Formal languages and their relation to automata*, Addison-Wesley.Google Scholar - [Hyotyniemu, 1997]Hyotyniemu, H. (1997). On unsolvability of nonlinear system stability, Proc. ECC conference, to appear.Google Scholar
- [Kilian and Siegelmann, 1996]Kilian, J. and H. Siegelmann (1996). The dynamic universality of sigmoidal neural networks,
*Information and Computation*,**128**, 48–56.zbMATHCrossRefMathSciNetGoogle Scholar - [Koiran, 1996]Koiran, P. (1996). A family of universal recurrent networks,
*Theor. Comp. Sciences*,**168**, 473–480.zbMATHCrossRefMathSciNetGoogle Scholar - [Koiran et al., 1994][Koiran
*et al.*, 1994] Koiran, P., M. Cosnard and M. Garzon (1994). Computability properties of low-dimensional dynamical systems,*Theoretical Computer Science*,**132**, 113–128.zbMATHCrossRefMathSciNetGoogle Scholar - [Liu and Michel, 1994]Liu, D. and A. Michel (1994). Dynamical systems with saturation nonlinearities: analysis and design, Springer-Verlag, London, 1994.zbMATHGoogle Scholar
- [Matiyasevich and Sénizergues, 1996]Matiyasevich, Y. and G. Sénizergues (1996). Decision problem for semi-Thue systems with a few rules, preprint.Google Scholar
- [Papadimitriou, 1994]Papadimitriou, C. H. (1994).
*Computational complexity*, Addison-Wesley, Reading.zbMATHGoogle Scholar - [Siegelmann and Sontag, 1991]Siegelmann, H. T. and E. D. Sontag (1991). Turing computability with neural nets,
*Applied Mathematics Letters*,**4**, 77–80.zbMATHCrossRefMathSciNetGoogle Scholar - [Siegelmann and Sontag, 1995]Siegelmann, H. and E. Sontag (1995). On the computational power of neural nets,
*J. Comp. Syst. Sci.*, 132–150.Google Scholar - [Sontag, 1981]Sontag, E. (1981). Nonlinear regulation: the piecewise linear approach,
*IEEE Trans. Automat. Control*,**26**, 346–358.zbMATHCrossRefMathSciNetGoogle Scholar - [Sontag, 1990]Sontag, E. (1990).
*Mathematical control theory*, Springer, New York.zbMATHGoogle Scholar - [Sontag, 1993]Sontag, E. (1993).
*Neural networks for control*in Essays on Control: Perspectives in the Theory and its Applications (H.L. Trentelman and J.C. Willems, eds.), Birkhauser, Boston, pp. 339–380.Google Scholar - [Sontag, 1995]Sontag, E. (1995). From linear to nonlinear: some complexity comparisons,
*Proc. IEEE Conference Decision and Control*, New Orleans, 2916–2920.Google Scholar - [Sontag, 1996]Sontag, E. (1996). Interconnected automata and linear systems: A theoretical framework in discrete-time, in
*Hybrid Systems III: Verification and Control*(R. Alur, T. Henzinger, and E.D. Sontag, eds.), Springer, 436–448.Google Scholar - [Tsitsiklis, 1994]Tsitsiklis, J. N. (1994). Complexity theoretic aspects of problems in control theory,
*Transactions of the eleventh Army*, ARO Report.Google Scholar