Search Results for author:
Found 3 papers, 2 papers with code
Real-time MPC with Control Barrier Functions for Autonomous Driving using Safety Enhanced Collocation
The autonomous driving industry is continuously dealing with more safety-critical scenarios, and nonlinear model predictive control (NMPC) is a powerful control strategy for handling such situations.
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
Signal Temporal Logic (STL) is capable of expressing a broad range of temporal properties that controlled dynamical systems must satisfy.
Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications
Our framework includes a new robustness decomposition method that decomposes the robustness function into a set of constraints, resulting in a form of difference of convex (DC) program that can be solved efficiently.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
