An Online Approach to Active Set Invariance
Authors:
- 1 December 2018
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 3592-3599
Abstract
This paper presents an online approach to safety critical control. The common approach for enforcing safety of a system requires the offline computation of a viable set, which is either hard and time consuming or very restrictive in terms of operational freedom for the system. The first part of this work shows how one can constrain a system to stay within reach of an appropriately chosen backup set in a minimally invasive way by performing online sensitivity analysis around a backup trajectory. For linear systems, we show how to use an optimal backup strategy in the form of a Model Predictive Controller (MPC) to maximize the operational freedom of the system. The second part of this work shows how to leverage this capability and factor in state constraints to enforce set invariance only based on online computations of sensitivities. For linear systems, the optimal strategy is again considered and we show how one can perform the sensitivity analysis based on a measure of feasibility of a state constrained MPC. This approach is illustrated in simulation on a linear inverted pendulum.Keywords
This publication has 14 references indexed in Scilit:
- Computing the Maximum Volume Inscribed Ellipsoid of a Polytopic ProjectionINFORMS Journal on Computing, 2018
- Control Barrier Certificates for Safe Swarm BehaviorIFAC-PapersOnLine, 2015
- Sampling-based approximation of the viability kernel for high-dimensional linear sampled-data systems2014
- Control for Safety Specifications of Systems With Imperfect Information on a Partial OrderIEEE Transactions on Automatic Control, 2014
- Set-Theoretic Methods in Control2008
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic gamesIEEE Transactions on Automatic Control, 2005
- Smooth Manifolds2003
- Unconstrained receding-horizon control of nonlinear systemsIEEE Transactions on Automatic Control, 2001
- Set invariance in controlAutomatica, 1999
- Finite difference scheme for automatic costate calculationJournal of Guidance, Control, and Dynamics, 1996