Kaj Munhoz Arfvidsson

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

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

論文

• 歩道ロボットを活用した歩行環境分析
  歩行環境分析2025/7/1

  歩道配送ロボットを移動センサとして使い、歩道の幅や凹凸、歩行者密度などを収集し、歩きやすさとの関係を分析した研究。

• 自動運転車とロボット群のための小規模テストベッド：課題とロードマップ
  テストベッド2025/3/1

  自動運転車とロボット群の小規模テストベッドに関する課題を整理し、アクセシビリティ向上、ベストプラクティス共有、抽象化層による連携の3つのロードマップを提案した。

• インテリジェント交差点の安全性保証：時相論理と到達可能性解析の融合
  自動運転/安全性検証2024/5/1

  時相論理とハミルトン・ヤコビ到達可能性解析を組み合わせ、インテリジェント交差点を通過する車両の安全性を自動的に検証・保証するフレームワークを提案し、T字路のシミュレーションで有効性を示した。

• 時間論理木とHamilton-Jacobi到達可能性による複雑タスクの完了保証
  制御・形式手法2024/4/1

  Hamilton-Jacobi到達可能性解析を用いた時間論理木により、サイバーフィジカルシステムが複雑なタスクを完了するための制御方策の存在確認と、リアルタイムで実行可能な制御入力集合の効率的な合成手法を提案した。