离散时间分段仿射系统的符号模型与控制：一种近似仿真方法
摘要：一种符号模型近期被广泛应用于纯连续和混合系统的形式验证和控制设计，它是一个健全的数学形式体系。本文提出了一系列符号模型，以近似模拟的方式逼近离散时间分段仿射系统，并在所谓的仿真度量下收敛到该分段仿射系统。然后，采用非确定性有限自动机描述的规范来进行符号控制设计。得到了一系列符号控制策略，以仿真度量的意义下收敛到在PWA系统上解决给定规范的最大控制器。
作者：Giordano Pola and Maria D. Di Benedetto
论文ID：1202.1372
分类：Systems and Control
分类简称：cs.SY
提交时间：2013-05-10