Philip Smith

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

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

論文

• 混合整数線形計画法による時間窓時相論理仕様のロバスト性に基づく合成
  形式手法/制御合成2026/6/1

  TWTL仕様を満たす制御入力を、ロバスト性を最大化するMILPとして定式化し、開ループと閉ループ(MPC)の両方で合成する手法を提案。MPCではタスク適応型ホライズンにより計算コストを削減する。