Examples of computed viability kernels

Рассматриваются конфликтно-управляемые системы с ограничениями на фазовые состояния. Числен- ный метод построения ядер выживаемости (наибольших подмножеств фазовых ограничений, где система может удерживаться неограниченное время) применяется к некоторым нетривиальным задачам. Метод может интерпретироваться как построение предельных множеств некоторой попятной процедуры, ба- зирующейся на на теории дифференциальных игр, существенно развитой в работах Н.Н.Красовского и А.И.Субботина. Численная реализация метода выполнена на языке множеств уровня вязких решений под- ходящего уравнения Гамильтона-Якоби. Основной целью статьи является демонстрация нетривиальных примеров построения ядер выживаемости.