论文标题
一类冲动系统的符号模型
Symbolic Models for a Class of Impulsive Systems
论文作者
论文摘要
符号模型已被用作系统框架的基础，以解决具有复杂控制目标的几类混合系统的控制设计。但是，文献中可用的结果与冲动系统无关，这是许多应用程序的重要建模框架。在本文中，我们提供了一种用于构建具有稳定属性的冲动系统的符号模型的方法。我们使用所谓的交替模拟函数的概念正式将冲动系统及其符号模型联系起来。我们表明，构造的符号模型的行为大致等于冲动系统的行为。最后，我们通过构建其符号模型和设计执行某些安全规范的控制器来说明结果的有效性。
Symbolic models have been used as the basis of a systematic framework to address control design of several classes of hybrid systems with sophisticated control objectives. However, results available in the literature are not concerned with impulsive systems which are an important modeling framework of many applications. In this paper, we provide an approach for constructing symbolic models for a class of impulsive systems possessing some stability properties. We formally relate impulsive systems and their symbolic models using a notion of so-called alternating simulation function. We show that behaviors of the constructed symbolic models are approximately equivalent to those of the impulsive systems. Finally, we illustrate the effectiveness of our results through a model of storage-delivery process by constructing its symbolic model and designing controllers enforcing some safety specifications.
