论文标题
输出反馈符号控制的框架
A Framework for Output-Feedback Symbolic Control
论文作者
论文摘要
符号控制是一种基于抽象的控制器合成方法，可在算法上为网络物理系统提供算法，可构造控制器。符号控制方法通常假定可用的全州信息不适用于许多具有部分观察状态或输出信息的现实世界应用程序。本文介绍了一个用于输出反馈符号控制的框架。我们根据输出提出了原始系统与其符号模型之间的关系。它们使设计符号控制器并改进了原始系统的复杂要求。我们提供示例方法来合成和完善输出反馈符号控制器。
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic control approaches usually assume that full-state information is available which is not suitable for many real-world applications with partially-observable states or output information. This article introduces a framework for output-feedback symbolic control. We propose relations between original systems and their symbolic models based on outputs. They enable designing symbolic controllers and refining them to enforce complex requirements on original systems. We provide example methodologies to synthesize and refine output-feedback symbolic controllers.
