Pedro Ribeiro

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

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

論文

• 予測型Varanus：CSP適合性監視と予測的LTLランタイム検証の融合
  ランタイム検証2026/9/15

  CSPモデルによる適合性チェックと予測的LTLランタイム検証を組み合わせ、ロボットシステムの違反を事前に検出する二段階パイプラインを提案し、原子力貯蔵施設点検ローバーで有効性を示した。

• 信頼性の高い自律システムの構築：課題と解決策
  自律システム2026/6/1

  自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。

• 大規模言語モデルを活用した飛行ネットワークにおける自律UAV制御フレームワーク
  VLA2025/6/1

  オープンソースLLMとUAV自動操縦を統合し、自然言語指示からミッションコードを生成して自律制御を可能にするFLUCを提案・評価した。

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

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

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

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

• Safety assurance of an industrial robotic control system using hardware/software co-verification
  2021/12/1
• From Formalised State Machines to Implementations of Robotic Controllers
  2017/2/1