Simos Gerasimou

収録論文 5本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• ODD耐性を持つ自律システムのための形式的保証付き制御適応
  自律システム2026/4/1

  運用設計領域外の状況に対応するため、確率的システムモデルを適応させつつ定量的な保証を提供する手法を提案した。予期しない状況下でもシステムの信頼性を向上できることを示した。

• ハイブリッドタスクプランニングによる適応型人間-ロボット協調ミッション
  タスクプランニング2025/4/1

  人間とロボットの協調作業において、タスクプランニングを実行可能計画の同定と不確実性を考慮したパレート最適計画の検証に分解するハイブリッド手法を提案し、ブドウ園での産業ケーススタディで有効性とスケーラビリティを示した。

• 自律ロボットのロバスト検証のためのベイズ学習
  検証・安全性2023/3/1

  ベイズ学習を用いて自律ロボットの実行時検証を行い、事象発生率の不確実性を考慮してミッション成功率や所要時間の変動範囲を推定する枠組みを提案し、水中インフラ点検ミッションで有効性を示した。

• モデル断片化による高速パラメトリックモデル検査
  モデル検査2021/2/1

  マルコフモデルを断片に分割して到達可能性を独立解析し、その結果を組み合わせることで、従来は扱えなかった多数パラメータを持つ複雑なシステムのパラメトリックモデル検査を高速化する手法を提案した論文。

• 静的解析とモデル駆動工学によるロボットソフトウェア移行支援
  モデル駆動工学2020/8/1

  ロボットソフトウェアを別のハードウェア基盤へ移行するため、静的解析でプラットフォーム依存/非依存の構成要素を特定し、モデル解析とコード生成で移行を自動化するRoboSMiを提案した論文。