arXiv cs.RO· Sai Sandeep Damera, Ryan Matheu, John S. Baras, Calin Belta·· 4 小时前AI 评分50
SparseMax-dSTL：基于时序逻辑轨迹优化的稀疏投影鲁棒性近似
SparseMax-dSTL: Sound Robustness with Horizon-Independent Gradient Allocation for Temporal Logic Trajectory Optimization
AI 导读
SparseMax-dSTL 提出一种基于稀疏投影的信号时序逻辑（STL）鲁棒性平滑近似，其值始终低于精确鲁棒性因而具备可靠性，且误差上界与采样数无关、可在优化前确定。
来源：arXiv cs.RO · arxiv.org