重新审视连续与混合系统稳定性的复杂性
系统与控制
2014-06-05 v4 计算复杂性
计算机科学中的逻辑
摘要
我们开发了一个框架，用于给出广泛非线性连续和混合系统稳定性问题的“实际”计算复杂性的上界。为此，我们使用实数上的一阶公式描述动力系统的稳定性性质，并将稳定性问题归约为这些公式的delta-判定问题。该框架使我们能够精确刻画非线性连续和混合系统不同稳定性概念的复杂性。我们证明有界版本的稳定性问题通常是可判定的，并给出了其复杂性的上界。无界版本通常是不可判定的，我们给出了其不可解度的上界。
引用
@article{arxiv.1404.7169,
title = {Revisiting the Complexity of Stability of Continuous and Hybrid Systems},
author = {Sicun Gao and Soonho Kong and Edmund Clarke},
journal= {arXiv preprint arXiv:1404.7169},
year = {2014}
}