Stav dette: Метод нелинейных операторов в автоматизированном проектировании динамических систем