薛、白;王秋叶;詹乃军;马丁·范策尔;冯胜华 基于不变量生成的到达-无效微分对策。 arXiv：1811.03215 预印本，arXiv:1811.03215[math.OC]（2018）。 摘要：Reach-avoid微分游戏在飞机的避碰、运动规划和控制以及相关应用中发挥着重要作用。中心问题是计算初始状态集，自我玩家可以从中强制在指定的时间范围内满足安全规范。以前解决这一问题的方法主要集中在有限时间范围内。我们在无限时间范围的背景下研究这个问题，在无限时间范围内，自我玩家的目标是永远迫使系统满足某些安全规范，而相互的其他玩家试图强制违反该安全规范。在Hamilton-Jacobi可达性框架下研究了具有唯一Lipschitz连续粘性解的问题。粘性解的连续性和唯一性有助于使用现代数值方法，通过适当数量的状态变量来解决这个问题。本文以穆勒-格雷泽喷气发动机模型为例说明了我们的方法。 BibTeX公司 引用 \textit{B.Xue}等人，“基于不变生成的Reach-Avoid微分对策”，预印本，arXiv:1811.03215[math.OC]（2018） 全文： arXiv公司 OA许可证 arXiv数据来自arXiv OAI-PMH API.如果你发现了错误，请直接向arXiv报告.