Numerical construction of viable sets for autonomous conflict control systems (Q401964)

Summary: A conflict control system with state constraints is under consideration. A method for finding viability kernels (the largest subsets of state constraints where the system can be confined) is proposed. The method is related to differential games theory essentially developed by N. N. Krasovskii and A. I. Subbotin. The viability kernel is constructed as the limit of sets generated by a Pontryagin-like backward procedure. This method is implemented in the framework of a level set technique based on the computation of limiting viscosity solutions of an appropriate Hamilton-Jacobi equation. To achieve this, the authors adapt their numerical methods formerly developed for solving time-dependent Hamilton-Jacobi equations arising from problems with state constraints. Examples of computing viability sets are given.