"Верификационные методы анализа оптимального управления процессами и системами" - читать интересную книгу автора (Попов П.М., Попов С.П.)