CMU-CS-14-112
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-14-112

Revisiting the Complexity of Stability of Continuous and Hybrid Systems

Sicun Gao, Soonho Kong, Edmund M. Clarke

July 2014

CMU-CS-14-112.pdf


Keywords: Stability, Dynamical Systems, Complexity

We develop a general framework for obtaining upper bounds on the "practical" computational complexity of stability problems, for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems in first-order theories over the real numbers, and reduce stability problems to the δ-decision problems of their descriptions. The framework allows us to give a precise characterization of the complexity of different notions of stability for nonlinear continuous and hybrid systems. We prove that bounded versions of the δ-stability problems are generally decidable, and give upper bounds on their complexity. The unbounded versions are generally undecidable, for which we measure their degrees of unsolvability.

18 pages



Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by reports@cs.cmu.edu