From the 1 of 8 linked papers with an AI index.
8 papers
Vision-TL-Action: Neuro-Symbolic Trajectory Generation from Visual Observations and Temporal Logic
Zezhi Liu, Zhiwei Zheng, Hanqian Luo +3
The paper introduces Vision-TL-Action, a neuro‑symbolic system that generates robot action trajectories directly from multi‑view images and a coordinate‑free temporal‑logic goal re…
Differentiable Optimization Layered Safety-Critical Control for Risk-Aware Navigation via Conformal Prediction
Jinyang Dong, Shizhen Wu, Yongchun Fang
Risk-aware navigation in unknown environments is a fundamental challenge for autonomous vehicles operating in complex urban systems. To address this issue, this paper presents a di…
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…
BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives
Zezhi Liu, Shizhen Wu, Hanqian Luo +2
In the field of Learning from Demonstration (LfD), enabling robots to generalize learned manipulation skills to novel scenarios for long-horizon tasks remains challenging. Specific…
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…
RINGO: Real-time Navigation with a Guiding Trajectory for Aerial Manipulators in Unknown Environments
Zhaopeng Zhang, Shizhen Wu, Chenfeng Guo +3
Motion planning for aerial manipulators in constrained environments has typically been limited to known environments or simplified to that of multi-rotors, which leads to poor adap…