本論文では、確率的環境下での連続時間制御システムに対して、形式的に検証された制御障壁関数(CBF)をニューラルネットワークで表現したSNCBFを合成するアルゴリズムを提案している。
まず、問題を頑健最適化問題として定式化し、その近似問題として場合最適化問題(SOP)を導出する。SOPの最適解を用いて、SNBCFが全状態空間で有効であることを保証する条件を示した(定理1)。
次に、SNBCFの合成手法を提案した。ニューラルネットワークの出力、ヤコビアン、ヘシアンのリプシッツ境界を課すことで、SNBCFの有効性を保証する(定理2)。提案手法では、これらの境界条件を満たすようにニューラルネットワークを学習する。
最後に、倒立振子システムと自律走行車の障害物回避の2つのケーススタディを通して、提案手法の有効性を示した。提案手法は、より広い安全領域を確保できることを確認した。
To Another Language
from source content
arxiv.org
Key Insights Distilled From
by Manan Tayal,... at arxiv.org 03-29-2024
https://arxiv.org/pdf/2403.19332.pdfDeeper Inquiries