Барьерный сертификат - Barrier certificate
 | эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к сделать понятным для неспециалистов, не снимая технических деталей. (Сентябрь 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
А барьерный сертификат [1] объект, который может служить доказательством сохранности обыкновенное дифференциальное уравнение или гибридная динамическая система. Барьерные сертификаты играют роль безопасности, аналогичную роли Функции Ляпунова для стабильности. Для каждого обыкновенного дифференциального уравнения, которое надежно выполняет свойство безопасности определенного типа, существует соответствующий сертификат барьера.[2]
использованная литература
- ^ Праджня, Стивен и Али Джадбабайе. «Проверка безопасности гибридных систем с использованием барьерных сертификатов». Международный семинар по гибридным системам: вычисления и управление. Шпрингер, Берлин, Гейдельберг, 2004 г.
- ^ Стефан Ратшан: "Обратные теоремы для сертификатов безопасности и барьеров" .IEEE Trans. об автоматическом управлении, Том 63, Выпуск 8, 2018