Ryan Matheu

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

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

論文

• IDDMBSE：データ駆動型とモデルベースのシステム工学を統合した自律サイバー物理システムの信頼性確保手法
  システム工学2026/6/4

  モデルベースシステム工学（MBSE）とデータ駆動型ML/AIを統合する新しいシステム工学手法IDDMBSEを提案し、SysMLベースのツールチェーン（PERFECT、TRADES-X、VERITAS）を実装して自律地上ロボットの開発ライフサイクル全体で実証した。

• 時間的振る舞い木の三値論理エンコーディングと制御合成への応用
  制御合成2026/4/1

  振る舞い木の実行を三値信号時相論理で再定式化し、混合整数線形計画による制御合成を可能にした。