David A. Anisi

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

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

論文

• 自律ロボットのための形式手法再訪：構造化サーベイ
  形式手法2025/9/1

  自律ロボットシステムへの形式手法の適用に関する構造化文献レビューを行い、使用される形式手法や形式主義を分類し、時系列での傾向の変化を分析した。

• 農業ロボットの確率的モデリングと安全性保証：光処理作業を例に
  安全性保証2025/6/1

  農業ロボットの障害物・人間検知回避の安全性を、状態機械と確率モデル検査で初期設計段階から評価する枠組みを提案した。

• ロボット自律システムの安全保証のための検証手法
  安全検証2025/6/1

  農業用自律ロボットの開発ライフサイクル全体を対象に、危険分析から形式モデル検証、実行時検証までの安全保証ワークフローを提案し、実機で有効性を示した。

• 協働ロボット溶接の同期特性に対するモデル検査と検証
  モデル検査2024/11/1

  協働ロボットアームと外部ターンテーブルからなる産業用溶接システムの同期特性をモデル検査で検証し、ハードウェアの限界を特定して再キャリブレーションにつなげた事例。

• Safety assurance of an industrial robotic control system using hardware/software co-verification
  2021/12/1