Nawshin Mannan Proma
収録論文 4本 ・ フィジカルAI/ロボット学習
自律システムロバスト性/安全要件安全検証安全性検証
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- ODD耐性を持つ自律システムのための形式的保証付き制御適応自律システム2026/4/1
運用設計領域外の状況に対応するため、確率的システムモデルを適応させつつ定量的な保証を提供する手法を提案した。予期しない状況下でもシステムの信頼性を向上できることを示した。
- 視覚ベースAIシステムのための状況カバレッジによるロバスト性要件カバレッジロバスト性/安全要件2025/7/1
カメラ劣化を考慮したAI知覚システムのロバスト性安全要件を、ノイズ要因分析と状況カバレッジ分析を統合して体系的に導出するフレームワークを提案する。
- 自律走行車両の確率的安全検証:状況カバレッジグリッドアプローチ安全検証2025/7/1
状況カバレッジグリッドと確率モデル検査を用いて、自律走行車両の安全検証を行う手法を提案し、高リスク状況の特定と定量的な安全保証を実現した。
- SCALOFT: 鉱山環境における自律飛行ドローンの状況カバレッジに基づく安全性解析の初期アプローチ安全性検証2025/5/1
鉱山で飛行する自律ドローンの安全性を評価するため、多様なテストケース生成・リアルタイム監視・違反検出を行うSCALOFTを提案し、意図的に埋め込んだ故障を検出できることを示した。