使用定量自动机计算事件触发控制的平均采样间隔时间
系统与控制
2022-02-10 v2 系统与控制
摘要
事件触发控制 (ETC) 因其能够降低网络设备的资源利用率，成为信息物理系统近期的一项重要进展。然而，尽管大多数 ETC 文献报告的仿真结果表明控制所需的采样次数大幅减少，但迄今为止尚无方法能够对这些结果进行量化。在本工作中，我们提出了一种通过有限状态抽象对线性系统 ETC 生成的流量进行形式化量化的方法，特别旨在计算其最小平均采样间隔时间 (SAIST)。该方法包括通过 -完备抽象对流量模型进行抽象，在与之关联的图中寻找最小平均长度的环，并验证该环是否为无限循环的流量模式。该方法被证明对足够小的模型不确定性具有鲁棒性，从而允许将其应用于计算非线性系统 ETC 的 SAIST。
引用
@article{arxiv.2109.14391,
title = {Computing the average inter-sample time of event-triggered control using quantitative automata},
author = {Gabriel de Albuquerque Gleizer and Manuel Mazo},
journal= {arXiv preprint arXiv:2109.14391},
year = {2022}
}
备注
Submitted to Nonlinear Analysis: Hybrid Systems v2: fixing plant and controller data of numerical example in Sec. 6.2