就近局部计算
一种基于动态量化与LTL规范的分层控制策略，将全局任务在局部区域内本地求解并合成，显著提升大规模复杂系统的控制效率。
Ren, Wei · Pan, Zhuo Rui · 夏卫国 · 孙希明
IEEE/CAA Journal of Automatica Sinica 2024
每个量化区域单独处理，抽象构造和控制器设计都是局部和动态的，避免全局计算。
局部动态处理使得计算复杂度降低，方法能够解决比现有方法大得多的问题。
利用LTL公式中的感兴趣区域直接导出接受路径，作为高层方案，无需手工分解任务。