Chong He

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

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

論文

• 漏れコーナー問題に対処する閾値戦略と分解計算によるHamilton-Jacobi到達可能性解析
  到達可能性解析2025/5/1

  Hamilton-Jacobi到達可能性解析の次元削減で生じる「漏れコーナー問題」を定義し、その発生条件を証明するとともに、計算効率を保ちながら不正確な値関数を修正する局所更新法を提案した論文。

• 時間論理木とHamilton-Jacobi到達可能性による複雑タスクの完了保証
  制御・形式手法2024/4/1

  Hamilton-Jacobi到達可能性解析を用いた時間論理木により、サイバーフィジカルシステムが複雑なタスクを完了するための制御方策の存在確認と、リアルタイムで実行可能な制御入力集合の効率的な合成手法を提案した。