確率的安全性を保証するための分割定数ストキャスティック障壁関数の合成

本論文は、複雑なストキャスティックシステムの安全性解析のための新しい分割定数ストキャスティック障壁関数(PWC-SBF)の理論的および計算的枠組みを提案する。PWC-SBFは、従来のSOS最適化やニューラルネットワークベースの手法と比べて、より単純な構造を持ちながら、高次元システムにも適用可能であり、優れた安全性保証を提供する。