Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract

We describe a new approach for constructing finite horizon invariant, viable and discriminating sets for systems with discrete time affine dynamics. The sets are compactly represented as zonotopes whose generators are scaled through a convex optimization to ensure the desired invariance. The algorithm also constructs a set of feasible control inputs for each state.

[1]  Ian M. Mitchell,et al.  An improved algorithm for robust safety analysis of sampled data systems , 2015, HSCC.

[2]  Ian M. Mitchell,et al.  Lagrangian methods for approximating the viability kernel in high-dimensional systems , 2013, Autom..

[3]  Matthias Althoff,et al.  Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems , 2017, 2017 American Control Conference (ACC).

[4]  Ian M. Mitchell,et al.  Ensuring safety for sampled data systems: An efficient algorithm for filtering potentially unsafe input signals , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[5]  Matthias Althoff,et al.  Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars , 2010 .

[6]  Matthias Althoff,et al.  On enlarging backward reachable sets via Zonotopic set membership , 2016, 2016 IEEE International Symposium on Intelligent Control (ISIC).

[7]  Stanley Bak,et al.  HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems , 2017, HSCC.

[8]  Matthias Althoff,et al.  Combining zonotopes and support functions for efficient reachability analysis of linear systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[9]  Matthias Althoff,et al.  An Introduction to CORA 2015 , 2015, ARCH@CPSWeek.

[10]  Matthias Althoff,et al.  Zonotope bundles for the efficient computation of reachable sets , 2011, IEEE Conference on Decision and Control and European Control Conference.

[11]  Matthias Althoff,et al.  Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space , 2017 .

[12]  Jean-Pierre Aubin,et al.  Viability Theory: New Directions , 2011 .

[13]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[14]  Stephen P. Boyd,et al.  Graph Implementations for Nonsmooth Convex Programs , 2008, Recent Advances in Learning and Control.

[15]  Sergiy Bogomolov,et al.  Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices , 2018, HSCC.

[16]  Antoine Girard,et al.  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.

[17]  Eugene H. Gover,et al.  Determinants and the volumes of parallelotopes and zonotopes , 2010 .

[18]  Matthias Althoff,et al.  Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems , 2017, HSCC.

[19]  Patrick Bouffard,et al.  On-board Model Predictive Control of a Quadrotor Helicopter: Design, Implementation, and Experiments , 2012 .