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