Abstract:The software architecture behind modern autonomous vehicles (AV) is becoming more complex steadily. Safety verification is now an imminent task prior to the large-scale deployment of such convoluted models. For safety-critical tasks in navigation, it becomes imperative to perform a verification procedure on the trajectories proposed by the planning algorithm prior to deployment. Signal Temporal Logic (STL) constraints can dictate the safety requirements for an AV. A combination of STL constraints is called a specification. A key difference between STL and other logic constraints is that STL allows us to work on continuous signals. We verify the satisfaction of the STL specifications by calculating the robustness value for each signal within the specification. Higher robustness values indicate a safer system. Model Predictive Control (MPC) is one of the most widely used methods to control the navigation of an AV, with an underlying set of state and input constraints. Our research aims to formulate and test an MPC controller, with STL specifications as constraints, that can safely navigate an AV. The primary goal of the cost function is to minimize the control inputs. STL constraints will act as an additional layer of constraints that would change based on the scenario and task on hand. We propose using sTaliro, a MATLAB-based robustness calculator for STL specifications, formulated in a receding horizon control fashion for an AV navigation task. It inputs a simplified AV state space model and a set of STL specifications, for which it constructs a closed-loop controller. We test out our controller for different test cases/scenarios and verify the safe navigation of our AV model.

Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications

Signal Temporal Logic Synthesis under Model Predictive Control: A Low Complexity Approach

Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition

Temporal Difference Learning for Model Predictive Control

Signal Temporal Logic Neural Predictive Control

Robust Learning-based Model Predictive Control for Intelligent Vehicles with Unknown Dynamics and Unbounded Disturbances

Robust Predictive Iterative Learning Control for Linear Time‐varying Systems

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints

Model Predictive Control Design for Polytopic Uncertain Systems by Synthesising Multi-Step Prediction Scenarios.

Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks

Efficient Nonlinear Model Predictive Control of Automated Vehicles

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics

Time Robust Model Predictive Control for Heterogeneous Multi-Agent Systems under Global Temporal Logic Tasks

Multi-scenario Learning MPC for Automated Driving in Unknown and Changing Environments.

Learning‐based Model Predictive Control under Value Iteration with Finite Approximation Errors

Robust Event‐triggered Model Predictive Control for Constrained Linear Continuous System

A Learning- and Scenario-based MPC Design for Nonlinear Systems in LPV Framework with Safety and Stability Guarantees.

Ultra-local model predictive control: A model-free approach and its application on automated vehicle trajectory tracking

A Model Predictive Control System for Virtual Coupling

Horizon-wise Model Predictive Control with Application to Autonomous Driving Vehicle