arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2007.00681eess.SYcs.SY
收藏

使用基于不变性的安全框架的分布式安全学习

Distributed Safe Learning using an Invariance-based Safety Framework

Andrea Carron, Jerome Sieber, Melanie N. Zeilinger

摘要:

在不确定动力系统的大规模网络中,通信是有限的,子系统之间有很强的相互作用,学习局部模型和控制策略提供了设计高性能控制器的巨大潜力。与此同时,缺乏安全保证,这里考虑的约束满足的形式,防止使用数据驱动技术的安全关键的分布式系统。本文提出了一个安全框架,保证约束满足不确定分布式系统的学习。该框架考虑了动力学中存在耦合的线性系统,且系统具有有界参数不确定性,利用鲁棒不变性保证系统的安全性。特别是,一个强大的非凸不变集,给出了多个椭球不变集的联合,和一个非线性备份控制律,给出了多个稳定的线性反馈的组合,离线计算。在存在不安全输入的情况下,安全框架应用后备控制律,防止系统违反约束。由于鲁棒不变集和备用稳定控制器是离线计算的,因此在线操作简化为简单的函数评估,这使得能够在计算资源有限的系统上使用所提出的框架。的安全框架的能力,说明了三个数值例子。

英文摘要:

In large-scale networks of uncertain dynamical systems, where communication is limited and there is a strong interaction among subsystems, learning local models and control policies offers great potential for designing high-performance controllers. At the same time, the lack of safety guarantees, here considered in the form of constraint satisfaction, prevents the use of data-driven techniques to safety-critical distributed systems. This paper presents a safety framework that guarantees constraint satisfaction for uncertain distributed systems while learning. The framework considers linear systems with coupling in the dynamics and subject to bounded parametric uncertainty, and makes use of robust invariance to guarantee safety. In particular, a robust non-convex invariant set, given by the union of multiple ellipsoidal invariant sets, and a nonlinear backup control law, given by the combination of multiple stabilizing linear feedbacks, are computed offline. In presence of unsafe inputs, the safety framework applies the backup control law, preventing the system to violate the constraints. As the robust invariant set and the backup stabilizing controller are computed offline, the online operations reduce to simple function evaluations, which enables the use of the proposed framework on systems with limited computational resources. The capabilities of the safety framework are illustrated by three numerical examples.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑