Michel D. Ingham
収録論文 5本 ・ フィジカルAI/ロボット学習
宇宙探査/ソフトウェア定義システム仕様合成
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 惑星探査3.0:ソフトウェア定義型・超適応宇宙システムのロードマップ宇宙探査/ソフトウェア定義システム2026/4/1
火星以遠の未探査天体を少数のミッションで探査する新パラダイム「惑星探査3.0」を提案し、その実現を支えるソフトウェア定義型宇宙システム技術とシステム工学手法をまとめたロードマップ論文。
- オントロジー駆動型ロボット仕様合成仕様合成2026/2/1
オントロジーと確率的時間ペトリネットを用いて、高レベル目標から形式仕様を階層的に合成する手法を提案し、多ロボットシステムの設計・資源配分・性能解析を支援する。
- Risk-Averse Decision Making Under Uncertainty2021/9/1
- Constrained Risk-Averse Markov Decision Processes2020/12/1
- Risk-Averse Planning Under Uncertainty2019/9/1