cross-attention 1neuro-symbolic learning 1temporal logic 1trajectory generation 1visual perception 1
From the 1 of 8 linked papers with an AI index.
Showing math.OCShow all
2 papers · 1 filter
math.OC2025
Polytope Volume Monitoring Problem: Formulation and Solution via Parametric Linear Program Based Control Barrier Function
Shizhen Wu, Jinyang Dong, Xu Fang +2
Motivated by the latest research on feasible space monitoring of multiple control barrier functions (CBFs) as well as polytopic collision avoidance, this paper studies the Polytope…
math.OC2025
Optimization-free Smooth Control Barrier Function for Polygonal Collision Avoidance
Shizhen Wu, Yongchun Fang, Ning Sun +3
Polygonal collision avoidance (PCA) is short for the problem of collision avoidance between two polygons (i.e., polytopes in planar) that own their dynamic equations. This problem…