We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SY

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Systems and Control

Title: Revisiting the Complexity of Stability of Continuous and Hybrid Systems

Abstract: We develop a framework to give 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 using first-order formulas over the real numbers, and reduce stability problems to the delta-decision problems of these formulas. The framework allows us to obtain 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 give upper bounds on their degrees of unsolvability.
Subjects: Systems and Control (eess.SY); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
Cite as: arXiv:1404.7169 [cs.SY]
  (or arXiv:1404.7169v4 [cs.SY] for this version)

Submission history

From: Sicun Gao [view email]
[v1] Mon, 28 Apr 2014 21:14:45 GMT (14kb)
[v2] Thu, 1 May 2014 06:23:22 GMT (14kb)
[v3] Sun, 11 May 2014 19:09:01 GMT (14kb)
[v4] Wed, 4 Jun 2014 05:22:49 GMT (14kb)

Link back to: arXiv, form interface, contact.