分段仿射系统有界时间与精度可达性的复杂性
计算复杂性
2017-01-18 v3 系统与控制
摘要
已知对于分段仿射系统，从维度 开始可达性是不可判定的。本文我们研究分段仿射系统若干可判定可达性与控制问题的精确复杂性。我们特别表明，区域到区域的有界时间版本导致了 -完全或 co--完全问题，从维度 开始。我们还证明有界精度版本导致 -完全问题。
引用
@article{arxiv.1601.05353,
title = {On the complexity of bounded time and precision reachability for piecewise affine systems},
author = {Hugo Bazille and Olivier Bournez and Walid Gomaa and Amaury Pouly},
journal= {arXiv preprint arXiv:1601.05353},
year = {2017}
}