认证具有集值输入不确定性的积分器智能体可达集之交
最优化与控制
2022-05-19 v4 系统与控制
系统与控制
摘要
我们考虑在连续时间下、具有紧集值输入不确定性的两个相同积分器智能体间的安全性验证问题。我们将该验证问题编码为认证或证伪二者可达集之交的问题。我们将其转化为一个变分问题，即在单位球上最小化两可达集之差的支撑函数。我们通过详细构建两种情况——即输入具有时变范数有界不确定性与一般超矩形不确定性——来说明所提公式的计算易处理性。我们表明，后者可通过二阶锥规划实现分布式认证。
引用
@article{arxiv.2203.12007,
title = {Certifying the Intersection of Reach Sets of Integrator Agents with Set-valued Input Uncertainties},
author = {Shadi Haddad and Abhishek Halder},
journal= {arXiv preprint arXiv:2203.12007},
year = {2022}
}