Основы автономных систем: проверка и синтез

Разработка автономных систем, таких как самоуправляемые автомобили и роботы-помощники, требует абсолютной уверенности в том, что они будут вести себя безопасно в непредсказуемых условиях. Этот текстовый курс познакомит вас с основными принципами формальной проверки и синтеза контроллеров, обеспечивая соответствие ваших автономных конструкций строгим стандартам безопасности и стабильности. Вы перейдете от простого тестирования автономных систем к математическому доказательству их правильности. Понимая, как моделировать динамику системы и выражать свойства безопасности, вы приобретете навыки, необходимые для проектирования контроллеров, которые гарантируют безопаcную эксплуатацию в различных условиях. Что вы узнаете: Понимание фундаментальной динамики системы и как математически моделировать автономное поведение; Применение теории стабильности Ляпунова для проверки долгосрочных устойчивых состояний динамических систем; Анализ доступности и использование сертификатов барьеров для гарантирования того, что границы, критичные для безопасности, никогда не будут пересечены; Изучение формальной проверки модели Методы проверки систем на регулярные и омега-регулярные временные свойства; Синтез контроллеров, которые автоматически обеспечивают желаемые политики безопасности; Изучение современных проблем безоъепасности, включая проверку систем, которые включают компоненты и нейронные сети с возможностью обучения. Курс начинается с основ математической терминологии и фундаментального моделирования системы, а затем вы пройдете через анализ стабильности, формальные алгоритмы проверки и методы синтеза контроллера. Этот курс предназначен для начинающих инженеров робототехники, компьютерных ученых и разработчиков систем, которые ищут доступную отправную точку в формальных методах, требующих только базового образования в математике. Начните читать сегодня, чтобы овладеть математическими основами безопасной автономии.