为可达性和安全规范综合通信计划
Synthesizing communication plans for reachability and safety specifications
摘要：
针对状态和输入受限的非线性网络控制系统，提出了控制和通信策略。目标是在有限时间内将系统状态转向规定的目标集（\textit{reachability}），同时始终保持在安全集（\textit{safety}）内。通过利用$δ$ -ISS控制李雅普诺夫函数的概念，我们得到了一个充分条件，以产生一个通信调度，使得产生的状态轨迹保证可达性和安全性。此外，为了减轻计算负担，我们提出了一种方法来找到一个合适的通信调度实现抽象计划和标准的图搜索方法。仿真实例验证了该方法的有效性。
英文摘要：
We propose control and communication strategies for nonlinear networked control systems subject to state and input constraints. The objective is to steer the state of the system towards a prescribed target set in finite time (\textit{reachability}), while at the same time remaining inside a safety set for all time (\textit{safety}). By leveraging the notion of $δ$-ISS control Lyapunov function, we derive a sufficient condition to generate a communication scheduling, such that the resulting state trajectory guarantees reachability and safety. Moreover, in order to alleviate computational burden we present a way to find a suitable communication scheduling by implementing abstraction schemes and standard graph search methodologies. Simulation examples validate the effectiveness of the proposed approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
