使用近似双仿真的低复杂度量化切换控制器
Low-Complexity Quantized Switching Controllers using Approximate Bisimulation
AI总结：
针对增量稳定切换系统，提出基于近似双仿真的符号模型计算方法，设计离线预计算的量化切换控制器，并利用代数决策图和非确定性减少存储需求。
摘要：
本文考虑为增量稳定切换系统综合低复杂度控制器的问题。为此，我们建立了一个新的近似结果，用于计算与给定切换系统近似双仿真的符号模型。与现有结果相比，主要优势在于它允许我们为安全性或可达性规范自然地设计量化切换控制器；这些控制器可以离线预计算，从而减少在线执行时间。然后，我们提出了一种技术，通过借用代数决策图进行紧凑函数表示，并利用综合控制器的非确定性，来减少存储控制律所需的内存。我们通过将其应用于一个简单的建筑温度调节模型来展示我们方法的优点。
英文摘要：
In this paper, we consider the problem of synthesizing low-complexity controllers for incrementally stable switched systems. For that purpose, we establish a new approximation result for the computation of symbolic models that are approximately bisimilar to a given switched system. The main advantage over existing results is that it allows us to design naturally quantized switching controllers for safety or reachability specifications; these can be pre-computed offline and therefore the online execution time is reduced. Then, we present a technique to reduce the memory needed to store the control law by borrowing ideas from algebraic decision diagrams for compact function representation and by exploiting the non-determinism of the synthesized controllers. We show the merits of our approach by applying it to a simple model of temperature regulation in a building.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
