Chris Meissen

Peter Seiler, Robert Moore, Chris Meissen et al.

The goal of this paper is to assess the robustness of an uncertain linear time-varying (LTV) system on a finite time horizon. The uncertain system is modeled as a connection of a known LTV system and a perturbation. The input/output behavior of the perturbation is described by time-domain, integral quadratic constraints (IQCs). Typical notions of robustness, e.g. nominal stability and gain/phase margins, can be insufficient for finite-horizon analysis. Instead, this paper focuses on robust induced gains and bounds on the reachable set of states. Sufficient conditions to compute robust performance bounds are formulated using dissipation inequalities and IQCs. The analysis conditions are provided in two equivalent forms as Riccati differential equations and differential linear matrix inequalities. A computational approach is provided that leverages both forms of the analysis conditions. The approach is demonstrated with two examples

Siddharth H. Nair, Vijay Govindarajan, Theresa Lin et al.

We propose a Stochastic MPC (SMPC) formulation for autonomous driving at traffic intersections which incorporates multi-modal predictions of surrounding vehicles for collision avoidance constraints. The multi-modal predictions are obtained with Gaussian Mixture Models (GMM) and constraints are formulated as chance-constraints. Our main theoretical contribution is a SMPC formulation that optimizes over a novel feedback policy class designed to exploit additional structure in the GMM predictions, and that is amenable to convex programming. The use of feedback policies for prediction is motivated by the need for reduced conservatism in handling multi-modal predictions of the surrounding vehicles, especially prevalent in traffic intersection scenarios. We evaluate our algorithm along axes of mobility, comfort, conservatism and computational efficiency at a simulated intersection in CARLA. Our simulations use a kinematic bicycle model and multimodal predictions trained on a subset of the Lyft Level 5 prediction dataset. To demonstrate the impact of optimizing over feedback policies, we compare our algorithm with two SMPC baselines that handle multi-modal collision avoidance chance constraints by optimizing over open-loop sequences.

Chris Meissen, Laurent Lessard, Murat Arcak et al.

A compositional performance certification method is presented for interconnected systems using subsystem dissipativity properties and the interconnection structure. A large-scale optimization problem is formulated to search for the most relevant dissipativity properties. The alternating direction method of multipliers (ADMM) is employed to decompose and solve this problem, and is demonstrated on several examples.