Invariant Sets for Integrators and Quadrotor Obstacle Avoidance

Ensuring safety through set invariance has proven a useful method in a variety of applications in robotics and control. However, finding analytical expressions for maximal invariant sets, so as to maximize the operational freedom of the system without compromising safety, is notoriously difficult for high-dimensional systems with input constraints. Here we present a generic method for characterizing invariant sets of nth-order integrator systems, based on analyzing roots of univariate polynomials. Additionally, we obtain analytical expressions for the orders n <= 4. Using differential flatness we subsequently leverage the results for the n = 4 case to the problem of obstacle avoidance for quadrotor UAVs. The resulting controller has a light computational footprint that showcases the power of finding analytical expressions for control-invariant sets.