Computing the Viability Kernel Using Level Sets
摘要
The most relevant challenge of the viability kernel computation is efficiently representing sets of states. The classical Saint-Pierre algorithm shows an accelerated explosion of states even in reduced dimensions, attributed to its grid-based representation. On the other hand, in the context of the reachability problem, representations based on constrained polynomials zonotopes and on a discretization of space-time dimensions have been proposed. While the latter does not solve the problem generated by the high dimension, the former raises questions about error propagation. Therefore, we propose investigating the representation level sets whose operations use convolution operators. According to our research, this line of study has not yet been proposed for calculating viable sets. To move in this direction, we compute the viability kernel in level set representation of a linear problem with non-convex state sets. This representation allows us to transform the kernel computation into a sequence of optimisation problems. Moreover, although this initial study does not guarantee efficiency and effectiveness, it offers the theoretical underpinning of convex analysis and clear parallel processing options. Thus, our proposal allows us to initiate an attractive research agenda for computing the viability kernel of high-dimensional problems.