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

Создание автономных систем, которые безопасно работают в реальном мире, требует строгого проектирования и проверки. Этот курс познакомит вас с основными концепциями моделирования, определения и проверка автономных системы с математическими гарантиями безопасности. Вы узнаете, как перейти от базовых определений системы к анализу сложных, самостоятельно работающих систем. Что вы узнаете: 1. Понимание основополагающей терминологии и основной архитектуры автономных систем. 2. Моделирование динамики системы с использованием представлений пространства состояний и моделей перехода. 3. 4. Проверка правильности системы с использованием основных методов проверки и проверки модели. 5. Применение современных фильтров безопасности, включая функции барьера управления, для предотвращения сбоев. 6. Изучение того, как современные компоненты машинного обучения интегрированы в трубопроводы, имеющие критическое значение для безоъепасности. Этот текстовый курс начинается с основных определений и концепций управления, а затем переходит к формальным спецификациям и методам проверки. Он предназначен для начинающих инженеров или информатиков, не требуя продвинутых математических знаний. Начните читать сегодня, чтобы освоить основы безопасной автономной конструкции.