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

США и Запад · 12 авг.

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

Почему это важно

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

Созвучно продуктам ЦД

ЦДТ

Заголовок оригинала: A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems

Читать первоисточник: arXiv — Systems and Control (eess.SY)

Перевод и краткое изложение — машинные, по материалам источника. Полный текст статьи не републикуется; права на него принадлежат источнику.

Рядом по теме

МоделированиеСША и Запад12 авг.

Топологические гарантии выполнимости для дифференцируемого предиктивного управления

В работе установлены детерминированные гарантии выполнимости для дифференцируемого предиктивного управления (DPC) — метода аппроксимации явного MPC с помощью самообучающихся нейросетей. С помощью топологического анализа индуцированного достижимого безопасного множества показано, что DPC может гарантировать выполнимость без онлайн-фильтров безопасности.

ЦДГЦДПЦДТarXiv — Systems and Control (eess.SY) ↗

Цифровой двойникСША и Запад12 авг.

Онлайн анализ достижимости по данным с использованием зонотопного рекурсивного МНК

Представлен метод анализа достижимости, который вычисляет надмножества достижимых множеств непосредственно по онлайн-измерениям состояния, не требуя точной модели динамики. Метод оценивает изменяющиеся во времени неизвестные модели с помощью экспоненциально забывающего зонотопного рекурсивного метода наименьших квадратов, обрабатывающего данные с ограниченным шумом.

ЦДГЦДПЦДТarXiv — Systems and Control (eess.SY) ↗

Цифровой двойник12 авг.

Опубликованы итоги форсайт-сессии по безопасности киберфизических систем

Компания «Актив» представила итоговый документ форсайт-сессии, посвященной будущему безопасности киберфизических систем в России. Документ содержит стратегические рекомендации и прогнозы развития отрасли до 2040 года.

ЦДГЦДПЦДТspbIT ↗