Navid Hashemi
収録論文 6本 ・ フィジカルAI/ロボット学習
到達可能性解析安全性検証制御/時相論理
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- PCA-DDReach: 主成分分析による確率的動的システムの効率的な統計的到達可能性解析到達可能性解析2025/5/1
ブラックボックスな動的システムの到達可能性解析において、主成分分析を用いて保守性を低減しつつ効率的に確率的到達集合を計算するデータ駆動手法を提案した。
- 分布シフト下における確率的サイバーフィジカルシステムの統計的可到達性解析安全性検証2024/7/1
シミュレータの分布と実環境の分布がずれる状況で、確率的サイバーフィジカルシステムの到達可能状態を高い確率で保証する統計的手法を提案した。代理モデル学習・到達性解析・ロバスト共形推論の3段階で構成される。
- コントローラネットワークドロップアウトによる時相論理タスクの学習ベース方策最適化のスケーリング制御/時相論理2024/3/1
DT-STLで表された長期タスクを満たすフィードバック制御器を学習する際、RNNの勾配消失・爆発問題に対処するため、コントローラネットワークドロップアウトに基づく勾配近似アルゴリズムを提案した。
- Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference2023/9/1
- Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts2023/4/1
- A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems2023/3/1