Формализация комплексных методов нелинейного анализа и оптимального управления сложными распределенными системами различной природы