Jyotirmoy Deshmukh
収録論文 5本 ・ フィジカルAI/ロボット学習
到達可能性解析制御/時相論理
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- PCA-DDReach: 主成分分析による確率的動的システムの効率的な統計的到達可能性解析到達可能性解析2025/5/1
ブラックボックスな動的システムの到達可能性解析において、主成分分析を用いて保守性を低減しつつ効率的に確率的到達集合を計算するデータ駆動手法を提案した。
- コントローラネットワークドロップアウトによる時相論理タスクの学習ベース方策最適化のスケーリング制御/時相論理2024/3/1
DT-STLで表された長期タスクを満たすフィードバック制御器を学習する際、RNNの勾配消失・爆発問題に対処するため、コントローラネットワークドロップアウトに基づく勾配近似アルゴリズムを提案した。
- A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems2023/3/1
- PerceMon: Online Monitoring for Perception Systems2021/8/1
- Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems2019/8/1