Albert Lin
収録論文 4本 ・ フィジカルAI/ロボット学習
検証/安全性歩行
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 状態不確かさ下における制御器のハミルトン・ヤコビ到達可能性解析によるロバスト検証検証/安全性2025/11/1
知覚不確かさを持つシステムに対し、制御器・観測関数・状態推定を連結して等価な閉ループ系とし、ハミルトン・ヤコビ到達可能性解析で安全性を形式的に検証する枠組みを提案した。
- すべての四足歩行制御を守る万能セーフティフィルタ:未知環境でのロバストなナビゲーション歩行2024/12/1
LiDAR入力と外乱推定を用いて制御理論的な安全価値関数を予測し、未知環境でも様々な四足歩行コントローラに適応する安全フィルタを提案した。
- Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction2023/12/1
- Generating Formal Safety Assurances for High-Dimensional Reachability2022/9/1