Yoshinari Takayama

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

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

論文

• 不変性による安全性、リファインメントによる活性：階層制御の協調設計のための異種契約フレームワーク
  階層制御2026/5/1

  階層制御アーキテクチャにおいて、連続時間の安全性と離散時間の活性を異種のassume-guarantee契約で統一的に扱い、層間の協調を形式的に保証するフレームワークを提案し、ハイブリッド蓄電システムで検証した。

• STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
  2023/5/1
• Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
  2023/4/1