В современных АСУ ТП АЭС программное обеспечение (ПО) применяется повсеместно, начиная от контроллеров и заканчивая общестанционными системами, предназначенными для организации управления с повышенным риском эксплуатации. Верификация программного обеспечения – непрерывный процесс в течение всего жизненного цикла программного обеспечения, направленный на обеспечение качества ПО. В докладе рассматриваются проблемы проведения верификации программного обеспечения систем важных для безопасности АЭС.

Рассмотрены задачи локальной и полуглобальной практической стабилизации линейных объектов в условиях неопределенности посредством релейного управления с неизвестным запаздыванием. Указаны необходимые и достаточные условия существования, а также алгоритмы синтеза стабилизирующего управления. В качестве численного примера предложена задача стабилизации перевернутого маятника, управляемого маховиком.