自主航天器交会任务的安全性验证
系统与控制
2017-03-22 v1
摘要
自主空间操作中的基本机动称为交会，其中航天器导航至另一航天器并接近它。在本案例研究中，我们提出主动追踪航天器对被动轨道目标执行交会的线性和非线性基准模型。系统建模为混合自动机，追踪器在每个离散模式中必须遵守不同约束集。相应地设计了切换LQR控制器，以满足这组物理和几何安全约束，同时保持导航向目标航天器的活性。我们将此基准问题扩展以检查被动安全性，即在被动、无推进轨迹（系统故障可能遵循）下的碰撞避免。我们展示了现有混合验证工具如SpaceEx、C2E2以及我们自己的仿真驱动验证工具实现，能够针对需求及各种相关初始条件鲁棒地验证该系统。
引用
@article{arxiv.1703.06930,
title = {Verifying safety of an autonomous spacecraft rendezvous mission},
author = {Nicole Chan and Sayan Mitra},
journal= {arXiv preprint arXiv:1703.06930},
year = {2017}
}