Robust discrete synthesis against unspecified disturbances
Robust discrete synthesis against unspecified disturbances
复制标题
针对未指定干扰的鲁棒离散综合
DOI：
10.1145/1967701.1967732
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
P. Tabuada
中科院分区：
文献类型：
--
作者：
R. Majumdar;Elaine Render;P. Tabuada
在不确定环境中工作的系统应具有鲁棒性，以确保系统的行为在未建模但有界的干扰的影响下保持接近原始行为。我们提出了一种理论和算法工具，用于设计鲁棒离散控制器，以实现离散转换系统上的 π 正则特性。正式地，我们定义了度量自动机——配备了状态度量的自动机——以及度量自动机上的策略，以保证 π-正则属性的鲁棒性。我们提出图论算法来在多项式时间内构建此类策略。与经典自动机理论算法计算的策略相比，我们的算法计算的策略确保受控系统在扰动下的行为满足取决于扰动大小的相关属性。我们展示了我们的理论在控制器设计中的应用，该控制器可以容忍无限多的瞬态误差，只要它们发生的频率足够低。
Systems working in uncertain environments should possess a robustness property, which ensures that the behaviours of the system remain close to the original behaviours under the influence of unmodeled, but bounded, disturbances. We present a theory and algorithmic tools for the design of robust discrete controllers for π-regular properties on discrete transition systems. Formally, we define metric automata - automata equipped with a metric on states - and strategies on metric automata which guarantee robustness for π-regular properties. We present graph-theoretic algorithms to construct such strategies in polynomial time. In contrast to strategies computed by classical automata-theoretic algorithms, the strategies computed by our algorithm ensure that the behaviours of the controlled system under disturbances satisfy a related property which depends on the magnitude of the disturbance. We show an application of our theory to the design of controllers that tolerate infinitely many transient errors provided they occur infrequently enough.