面向符号控制器的规范感知鲁棒裕度

摘要

本文研究了在扰动系统族中，针对线性时序逻辑规范，通过符号控制技术实现鲁棒控制器综合的问题。作者提出了一个通用框架，用于计算在保持控制器正确性的前提下系统所能承受的最大扰动，并针对安全、可达性、持久性和循环四种基本规范推导了定制化的鲁棒裕度度量。