arXiv cs.RO· Georg J\"ager, Nils-Jonathan Friedrich, Norman Seyffer, Jos\'e Cec\'ilio, Ant\'onio Casimiro·· 2 小时前AI 评分58
多候选 Simplex 架构从设计时辨识到运行时构建上下文相关安全吸引域
Context-dependent Runtime Construction of Safe Regions of Attraction from Design-Time Identification for Multi-Candidate Simplex Architectures
AI 导读
研究提出两阶段吸引域（RoA）认证流程，用基于收缩的稳定性分析确定目标集，再用 Taylor 模型可达性分析验证，从而在运行时构建上下文相关的安全 RoA，并支持高保障控制器候选间的安全切换。
来源：arXiv cs.RO · arxiv.org