论文标题
抽象非线性事件触发控制系统的流量
Abstracting the Traffic of Nonlinear Event-Triggered Control Systems
论文作者
论文摘要
在事件触发的控件（ETC）系统网络中安排通信流量很具有挑战性，因为它们的采样时间未知，网络中的ETC的阻碍应用。在先前的工作中，创建了有限状态的抽象，从而捕获具有二次触发功能的LTI等系统的采样行为。提供无限马的外观，以适应ETC系统的所有采样模式，可以将这些抽象用于调度流量。在这里，我们通过将扰动的不确定的非线性等系统抽象具有一般触发功能来显着扩展此框架。要构建一个ETC系统的抽象：a）状态空间被分配到区域中，b）对于每个区域，确定了一个间隔，包含该区域中所有点的所有相互采样时间，c）通过可及性分析确定抽象的过渡。为了确定间隔和过渡，我们根据可及性分析设计算法。为了进行分区，我们提出了一种基于等流形的方法，从而使间隔更紧密，并提供了对它们的控制，从而包含抽象的非确定性。模拟展示了我们的发展。
Scheduling communication traffic in networks of event-triggered control (ETC) systems is challenging, as their sampling times are unknown, hindering application of ETC in networks. In previous work, finite-state abstractions were created, capturing the sampling behaviour of LTI ETC systems with quadratic triggering functions. Offering an infinite-horizon look to all sampling patterns of an ETC system, such abstractions can be used for scheduling of ETC traffic. Here we significantly extend this framework, by abstracting perturbed uncertain nonlinear ETC systems with general triggering functions. To construct an ETC system's abstraction: a) the state space is partitioned into regions, b) for each region an interval is determined, containing all intersampling times of points in the region, and c) the abstraction's transitions are determined through reachability analysis. To determine intervals and transitions, we devise algorithms based on reachability analysis. For partitioning, we propose an approach based on isochronous manifolds, resulting into tighter intervals and providing control over them, thus containing the abstraction's non-determinism. Simulations showcase our developments.
