针对具有可达-停留规范的非线性系统的无记忆控制器鲁棒完全综合

本文提出一种有限终止算法，用于求解非线性系统的可达-停留控制问题。若该规范可鲁棒实现，则保证算法返回一个控制策略。这一特性是值得期待的，因为常用的基于抽象的方法对于非增量稳定的系统而言是可靠但不完全的。所提方法的基础在于系统关于给定规范的获胜集的不动点刻画，即可以被控制以满足规范的所有初始状态。自适应划分方案的使用不仅保证了获胜集的逼近精度，还减少了计算时间。若干基准示例说明了其有效性与效率。