Онлайн-курс – сертифицированная профессиональная специализация по автономным системам Google, Университет Колорадо в Боулдере

Проектируйте автономные системы с гарантией. Приобретите навыки моделирования, спецификации, проверки и синтеза автономных систем с гарантированной безопасностью.

Suggested by: Coursera (What is Coursera?)

Professional Certificate

Средний уровень

No prior knowledge required

Time to complete the course

7-day free trial

No unnecessary risks

Skills you will acquire in the course

  • Проектирование и анализ автономных систем
  • Представления пространства состояний
  • Автоматические таймеры
  • Гибридная автоматика
  • Формальные модели системных требований
  • стабильность и достижимость
  • Характеристики, определяемые формулами линейной темпоральной логики
  • Методы проверки, такие как теоремы Люпонова и проверка моделей.
  • Синтез контроллеров для обеспечения соблюдения определенных свойств.
  • Строим финальную абстракцию и улучшаем Крым

What you will learn in the course

Courses for which the course is suitable

  • Инженер автономных систем
  • Разработчик программного обеспечения в области автономных систем
  • системный аналитик
  • Инженер-контроллер
  • Специалист по проверке системы
  • Исследователь в области автономных систем
  • Проектировщик умных систем
  • Инженер сетей связи в автономных системах
  • Разрабатывает алгоритмы для гибридных автоматов.
  • Эксперт по стабильности и доступности в автономных системах

Специализация – серия курсов из 3 частей.

Эта специализация обеспечивает всесторонний обзор проектирования и анализа автономных систем. Он начинается с изучения базовых компонентов, таких как датчики, исполнительные механизмы и сети связи, а затем углубляется в формальные модели.

Содержание курса

  • Представления пространства состояний
  • Автоматические таймеры
  • Гибридная автоматика
  • Формальные модели системных требований
  • стабильность и достижимость
  • Характеристики, определяемые формулами линейной темпоральной логики
  • Методы проверки, такие как теоремы Люпонова и проверка моделей.
  • Синтез контроллеров для обеспечения соблюдения определенных свойств.
  • Построение окончательной абстракции и доработка контроллеров

Дополнительная информация

Курсы по этой специализации можно пройти для получения академического кредита в рамках программы магистра наук в области компьютерных наук CU Boulder, предлагаемой на платформе Coursera. Эти ученые степени предлагают специализированные курсы, короткие 8-недельные занятия и систему оплаты по мере использования.

Прием в программу осуществляется на основе результатов трех обязательных курсов, а не на основе академической истории. Степени CU на Coursera идеально подходят для недавних выпускников или работающих специалистов.

Подробнее: Степень магистра в области компьютерных наук.

Практический учебный проект

Во время стажировки учащиеся будут выполнять задачи по проектированию и анализу автономных систем и их поведения. На третьем курсе по специализации, верификации и синтезу автономных систем слушатели получат факультативную и исследовательскую лабораторию.

Details of the courses that make up the specialization

Модели автономных систем

Курс 1 — 8 часов

Что вы узнаете:

  • Базовые модели автономных систем, включая линейные системы управления, последовательные схемы и простые автоматы.
  • описывать решения и поведение систем.
  • Определите и проиллюстрируйте связи между системами.

Навыки, которые вы приобретете:

  • Сборка систем
  • Модели автономных систем
  • поведение систем

Курс 2 — 10 часов

Что вы узнаете:

  • Используйте формальные методы для определения и проверки требований к автономным системам.
  • Для моделирования поведения системы и проверки стабильности с использованием различных аналитических методов.
  • Применяйте расчет групп доступности и анализ устойчивости при проектировании систем.

Навыки, которые вы приобретете:

  • Обычные и обычные омега-спецификации
  • Требования доступности
  • требования безопасности
  • Характеристики линейной логики
  • требования к стабильности

Курс 3 — 10 часов

Что вы узнаете:

  • Анализировать свойства устойчивости линейных систем.
  • Рассчитать расчеты по группам доступности для нескольких типов систем.
  • Выполните проверку для конечных систем.
  • Синтезируйте динамику контроллера для требований безопасности и доступности, используя алгоритмы с фиксированной точкой.

Навыки, которые вы приобретете:

  • Тестирование модели
  • Синтез конечных упрощений.
  • Отношения между системами
  • Синтез с использованием фиксированных точек