Elizabeth Dietrich

University of California, Berkeley

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

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

論文

• 仕様を守り続ける：不確実性下でのリアルタイム監視と海事ケーススタディ
  監視/不確実性2026/8/1

  不確実性下でロボットが複雑な仕様を満たすことを監視する枠組みを提案し、データ駆動の到達可能集合を用いてデータ要件を削減。海事ナビゲーションに適用し、シミュレーションと実機実験で有効性を示した。

• ハイブリッドシステムの有限ステップ不変集合の確率的保証付き計算
  歩行2026/4/1

  ポアンカレ写像のサンプリングに基づく最適化を用いて、周期軌道周りの有限ステップ不変楕円体を計算し、確率的保証を提供する手法を提案。低次元システムとコンパス歩行モデルで実証。

• pacSTL: データ駆動型到達可能性解析によるPAC有界信号時相論理
  形式手法/検証2025/11/1

  PAC有界な到達可能集合予測と区間拡張STLを組み合わせ、不確実性下でも仕様レベルのロバスト性区間を効率的に評価するフレームワークを提案。