安全な制御エンベロープの合成: 天使的な洗練による手法

本論文は、ハイブリッドシステムの安全な制御エンベロープを合成する手法を提案する。制御エンベロープは、安全な制御アクションの集合を特徴づけ、実行中の制御器を監視するために使用される。提案手法は、ハイブリッドシステムゲームの理論を用いて最適な制御エンベロープを暗黙的に特徴づけ、その後、記号的実行と系統的なゲームの洗練により明示的な解を導出する。