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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Computing the Viability Kernel Using Level Sets

  • Sigifredo Laengle,
  • Tomás Laengle-Aliaga

摘要

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.