Presents a successive convexification framework that enforces continuous-time STL specifications in trajectory optimization via GMSR robustness and prox-convex solving.
IEEE Control Systems Letters 5, 241–246
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
The paper proposes an STL-based optimization planner with uncertainty-aware risk analysis and event-triggered replanning for safe human-drone collaboration, demonstrated in simulations of an object handover task.
The paper formulates single-UAV medical delivery trajectory planning as a convex optimization problem that incorporates signal temporal logic for temporal constraints and convex feasible set collision avoidance for urban obstacles.
citing papers explorer
-
Successive Convexification for Trajectory Optimization with Continuous-time Satisfaction of Signal Temporal Logic Specifications
Presents a successive convexification framework that enforces continuous-time STL specifications in trajectory optimization via GMSR robustness and prox-convex solving.