arXiv Systems and Control · Engineering Energy· Daniel Silvestre·· 4 小时前AI 评分20
Hybrid Cones：以最小开销实现锐利并集的集合表示，适用于非线性与切换线性系统
Hybrid Cones: Set Representation with Sharp Unions of Minimal Overhead for Nonlinear and Switched Linear Systems
AI 导读
论文提出 Hybrid Cones 集合表示，可编码最多 2^n 个范数锥分量，并继承 Hybrid Zonotopes（HZs）的逻辑结构。其锐利并集只需新增一个二元变量，且能表示多面体与椭球的并集和交集；ReLU 图可用两个连续生成元加一个二元生成元精确表示。在神经网络近似非线性能量测量的定位问题与饱和 LQR 控制的双积分器闭环稳定性验证中，该表示相比 HZs 显著缩小表示规模并降低保守性。
来源：arXiv Systems and Control · Engineering Energy · arxiv.org