Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization

Taoran Wu, Yiling Xue, Dejin Ren +3

This paper addresses the computation of controlled reach-avoid sets (CRASs) for discrete-time polynomial systems subject to control inputs. A CRAS is a set encompassing initial sta…