Rayan Mazouz
収録論文 5本 ・ フィジカルAI/ロボット学習
動作計画安全性検証安全制御安全性解析
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 連続時間ガウス信念木による動作計画動作計画2026/7/1
連続時間の確率システムと不確実性を考慮し、信念伝播と安全検証を統合したサンプリングベースの動作計画手法を提案。
- 動的障害物存在下での確率バリア証明書安全性検証2026/4/1
不確実性を伴う離散時間システムの安全性を、動的障害物を考慮した時間依存バリア証明書を用いて検証し、凸最適化で解けることを示した論文。
- データ駆動型バリア証明による許容安全制御安全制御2024/5/1
未知の確率システムに対し、ガウス過程回帰で学習したモデルから区分的確率バリア関数を構築し、安全を保証する最大の許容戦略集合をデータから同定する手法を提案した。
- 区分確率バリア関数安全性解析2024/4/1
確率システムの安全性解析のための区分関数ベースの確率バリア関数フレームワークを提案し、区分定数バリア関数の合成をミニマックス最適化問題に帰着させ、効率的な3つのアルゴリズムを導入した。
- Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions2022/6/1