IEEE Spectrum AI→ оригинал

MathWorks показала полный цикл разработки AI-датчиков для встраиваемых систем

MathWorks запустила бесплатный вебинар про создание виртуальных датчиков на базе AI. Показывают полный цикл: обучение в MATLAB, формальную верификацию нейросете

MathWorks показала полный цикл разработки AI-датчиков для встраиваемых систем
Источник: IEEE Spectrum AI. Коллаж: Hamidun News.
◐ Слушать статью

MathWorks объявила вебинар о полном workflow для создания и развёртывания AI-моделей виртуальных датчиков, которые работают прямо на встраиваемых процессорах — без облака и латентности.

Зачем нужны виртуальные датчики

Виртуальный датчик — это нейросеть, которая вычисляет нужную величину на основе других сенсоров. Например, датчик качества воздуха, рассчитанный из давления, влажности и CO₂, или система прогноза отказа оборудования, которая анализирует вибрацию и температуру. В промышленности такие датчики давно используют физически — в тепловых трубопроводах, гидравлических системах, хранилищах. Но в встраиваемых системах это критично по другим причинам: калькулировать в облаке дорого (интернет ненадёжен, задержки неприемлемы), а на микроконтроллере нужно экономить каждый бит памяти и каждый миллиампер энергии.

Что показывает

MathWorks Вебинар раскрывает end-to-end workflow, который включает: Интеграция AI-моделей в Simulink для верификации и simulation-based тестирования на уровне системы Формальная верификация нейросетей — математическая гарантия, что сеть работает в допустимых границах Сжатие модели (квантизация, прунинг) для экономии памяти и ускорения исполнения Генерация C-кода без зависимостей от внешних фреймворков PIL-тесты (processor-in-the-loop) — проверка на реальном целевом процессоре Профилирование производительности и анализ компромиссов между точностью и скоростью Весь цикл в одной среде — MATLAB и Simulink. Без переходов между инструментами, без потери контекста.

Практические вызовы

Главная проблема: нейросеть, которая изящно работает в Jupyter-ноутбуке, может накосячить на микроконтроллере с 32 KB памяти и 48 MHz процессором. Поэтому MathWorks упирает на формальную верификацию — не просто пускать тесты, а доказывать, что сеть не выйдет за границы безопасного поведения даже в худшем случае. Второе узкое место — как сжать модель, чтобы она влезла в память и работала достаточно быстро, но не потеряла точность? Есть техники (квантизация до int8, структурный прунинг, дистилляция), но без автоматизации это ручной труд.

Контекст: AI на edge Этот вебинар — часть большого тренда.

За последние 5 лет edge AI вышел из ниши в mainstream. Теперь не только крупные компании обучают модели, но и инженеры, которые делают стиральные машины, холодильники, датчики, помпы. И все они сталкиваются с одинаковой проблемой: как запустить ML локально, когда железо как в 2010-х, а требования как в 2025-м.

Что это значит Embedded AI выходит из хобби энтузиастов в production-инженерные практики.

Если у вас IoT-устройство, промышленное оборудование или потребительская электроника — то в ближайшие годы придётся встраивать AI-модели локально вместо отправки всего в облако. MathWorks предлагает инструментарий, который делает это на порядок проще — и главное, безопаснее.

ЖХ
Hamidun News
AI‑новости без шума. Ежедневный редакторский отбор из 400+ источников. Продукт Жемала Хамидуна, Head of AI в Alpina Digital.
Что вы думаете?
Загружаем комментарии…