一种用于互联系统安全验证的契约协商机制
系统与控制
2024-03-29 v2 系统与控制
摘要
本文提出了一种基于假设-保证契约（AGC）与平方和（SOS）技术的互联非线性系统（控制）障碍函数综合与安全验证机制。众所周知，SOS方法在高维系统的障碍函数综合中可扩展性较差。本文中，我们表明诸如AGC之类的组合方法可缓解该问题。我们将综合问题表述为一组小规模问题，为子系统构建局部契约，并提出一种在契约层上子系统间的协商机制。所提机制随后在车辆编队与室温调节两个算例上进行了数值实现。
引用
@article{arxiv.2311.03164,
title = {A contract negotiation scheme for safety verification of interconnected systems},
author = {Xiao Tan and Antonis Papachristodoulou and Dimos V. Dimarogonas},
journal= {arXiv preprint arXiv:2311.03164},
year = {2024}
}