Safety-critical control上級
有限データと非対称アクチュエータ制約の下で出力安全を証明する新手法、車両シミュレーションで有効性を確認
本プレプリントは、モデル不確実性と非対称な入力制限のもとで、有限の観測データから出力安全を強制できる指令の可否を判定する証明を開発した。測定スパンに基づく最悪ケースの不確実性上界と、アクチュエータ追従誤差の保証範囲を組み合わせ、実行可能な指令の特徴付けと閉ループ安全を導いた。数値実験では、データ選択により同一サンプル数で証明可能なクエリ割合を1.03%から76.27%へ改善し、厳密パラメータ基準との差を9.99ポイントに縮めた。