LTI事件触发控制系统的形式化流量表征

控制任务周期性执行中不必要的通信与计算导致控制应用（如网络控制系统）中硬件设计的过度配置（或硬件利用率的利用不足）。为解决这些问题，研究者提出了一类称为事件驱动策略的新策略。尽管它们有益，但任务调度和通信组件的适当定维等问题相对于传统周期策略变得更加复杂。本文中，我们提出一种形式化方法推导一个抽象系统，该系统捕获 LTI 系统情况下一类事件触发策略的采样行为。该结构近似模拟了非周期控制系统的采样行为。此外，得到的商系统等价于一个时间自动机。在抽象构造中，状态空间被限制为有限个凸区域，每个区域表示商系统中的一个模式。部署了基于 LMI 的技术来推导与每个区域相关的采样时间间隔。最后，利用可达性分析找出商系统的转移。