## Контекст В последние годы технологии искусственного интеллекта (AI) стали основополагающими для автоматизированных систем, особенно в области управления автомобилями. Автономные автомобили (AV) требуют высокой точности в осуществлении таких задач, как распознавание объектов, определение маршрутов и принятие решений в реальном времени. Однако существуют значительные затруднения в понимании и управлении характеристиками AI-моделей, которые влияют на производительность и надежность таких систем. Эти недостатки приводят к риску нарушения защитных механизмов, которые обеспечивают безопасное взаимодействие с окружающим пространством. В статье рассматривается моделирование и анализ AI-driven перцепционных процессов в AV. Целью является получение инструментов для выявления и управления ошибками в этих процессах, чтобы улучшить надежность и устойчивость автономных систем. ## Метод Для моделирования AI-based AV используется новая подходящая архитектура, которая учитывает особенности перцепционных процессов. Основным подходом является использование трех основных типов неопределенностей, которые могут возникнуть в процессе распознавания: Марковские цепи для рандомизации, Гауссовы процессы для нелинейности и буксирующие возмущения для стохастических дисперсий. Методология основывается на использовании **Linear Matrix Inequalities (LMI)** в качестве основного инструмента для анализа и синтеза управляющих систем. Алгоритм строится для построения сопряженных матричных неравенств, которые позволяют оценивать свойства стохастической стабильности (SS) и уровень устойчивости в условиях внешних возмущений. Более того, гипотезы о роли AI в процессе управления были проверены с помощью моделей в пределах малого и большого девиационного положения. ## Результаты В ходе экспериментов были разработаны модели, учитывающие особенности AI-driven систем, в частности, возникающие неопределенности в процессе распознавания. Использование LMI позволило построить эффективные контрольные методы для достижения стохастической стабильности и поиска оптимальных значений в условиях внешних возмущений. Результаты показали, что система, использующая разработанные подходы, имеет высокий уровень устойчивости в задачах картографирования и физического управления AV. Также была продемонстрирована эффективность синтезированных методов в условиях высокой внешней неопределенности. ## Значимость Разработанные подходы могут быть применены в области автономного управления, например, в задачах картографирования, а также в системах обеспечения безопасности на до

#### Контекст Аккумуляторы литий-ионных (Li-ion) являются ключевым элементом современных технологий, широко используемых в электронных устройствах, электромобилях и системах хранения энергии. Однако их эффективная эксплуатация связана с рядом проблем. Одна из основных задач в этой области — обеспечение быстрого зарядки аккумулятора при минимальном воздействии на его процессы старения, которые приводят к уменьшению емкости. Этот конфликт требует разработки усовершенствованных Battery Management Systems (BMS), которые могут эффективно контролировать процесс зарядки, обеспечивая оптимальный баланс между производительностью и продолжительностью жизненного цикла аккумулятора. Наша мотивация заключается в разработке инновационных подходов к проектированию BMS, позволяющим решать эти проблемы с помощью машинного обучения и формальных методов. #### Метод Мы применяем метод Counterexample-Guided Inductive Synthesis (CEGIS), который сочетает Reinforcement Learning (RL) с формальными методами для построения управляющих стратегий. Алгоритм CEGIS позволяет эффективно обучать RL-контроллеры, используя данные, полученные из физической модели аккумулятора. Для получения общей стратегии мы используем моделирование связанных систем, где RL-контроллеры работают в зависимости от начальных данных о состоянии аккумулятора. Этот подход позволяет оптимизировать систему, используя RL для локальной оптимизации и формальные методы для получения гарантий на уровне системы. Технически, мы используем абстракцию данных для разделения зон работы BMS, каждая из которых связана с конкретным RL-контроллером. Это разделение обеспечивает эффективность и точность в решении задач управления. #### Результаты Мы проводим эксперименты на высокоточной физической модели Li-ion батареи. Наши результаты показывают, что RL-контроллеры, синтезированные с помощью CEGIS, эффективно регулируют процесс зарядки, минимизируя влияние на старение батареи. Мы проверяем наши решения на множестве задач зарядки с различными начальными условиями и показываем, что они обеспечивают более высокую продолжительность жизненного цикла и более быструю зарядку по сравнению с существующими методами. Абстракция, полученная формальными методами, дает нам возможность давать прогнозы о производительности системы с поддержкой статистических гарантий. #### Значимость Разработанный подход может быть применен в различных областях, включая электронные технологии, электромобили и системы хранения энергии. Он обеспечивает более высокую эффективность зарядки и более долговременную эксплуатацию аккумуляторов. Наши результа

## Контекст Управление мощными аккумуляторными батареями Li-ion является ключевым элементом современных технологий, включая электромобили, хранилища энергии и мобильные устройства. Однако их эффективное использование связано с рядом проблем, в том числе сбалансированной зарядки и минимизацией затрат на ресурс. Эти проблемы связаны с тем, что зарядка Li-ion аккумуляторов может привести к их снижению в продолжительности жизни. Обычной практикой является использование традиционных физических моделей и аналитических методов для управления батареями. Однако эти методы часто ограничиваются в единичной точке или линейных предположениях, что недостаточно эффективно. Мы предлагаем расширенную модель, основанную на Reinforcement Learning (RL), которая нацелена на улучшение управления в широком диапазоне условий работы. ## Метод Мы разрабатываем метод, который сочетает RL с data-driven formal verification (DDFV). Для этого мы разрабатываем новую архитектуру, в которой RL используется для синтеза элементов управления, а DDFV используется для поиска противоречий. Мы разрабатываем высокоточную физическую модель Li-ion батареи, используя аппроксимацию на основе нейронных сетей. Для управления зарядкой мы развиваем структуру switched control, где каждый регулятор RL выбирается в зависимости от положения заряда и температуры батареи. Решение получается с помощью схемы Counterexample-Guided Inductive Synthesis (CEGIS), которая обеспечивает проверку показателей заданных критериев. ## Результаты Мы проводим эксперименты с использованием реальных данных заряда/разряда Li-ion батарей. Мы проверяем модель на различных сценариях заряда, включая различные температуры и состояния заряда. Мы показываем, что наше решение превышает существующие методы в скорости заряда, сохраняя при этом ресурс батареи. Мы получаем проверку на защиту от износа, которая позволяет увеличить продолжительность жизни батареи. Наши наблюдения показывают, что RL-модели превосходят обычные методы в тех областях, где потребность в скорости и надежности обеспечения ресурса критична. ## Значимость Решение, предложенное в этой статье, имеет широкие приложения в развитии энергосберегающих систем, электромобилей и мобильных устройств. Оно обеспечивает увеличение продолжительности жизни аккумуляторов и эффективность их использования. Наш метод также может быть применен в области технологий безопасности, где важны достоверные абстракции и проверки. Мы также показываем, что наше решение может иметь более широкое применение в том числе в технологиях, где нужно удовлетворять критериим уровня доверия и прогностической модели. ## В

## Контекст Risk-Based Prognostics and Health Management (RB-PHM) является ключевым направлением в области мониторинга здоровья систем и оценки их резерва к функционированию. Однако существуют определенные проблемы, связанные с обособлением между оценкой риска и прогностическими задачами. Обычно эти задачи рассматриваются как отдельные, что приводит к неэффективности и неточности в результатах. Это приводит к необходимости искать более сильное связывание между этими областями, чтобы улучшить прогностические модели и поддерживать принятие более обоснованных решений. ## Метод Для решения этой проблемы предлагается использовать моделирование на основе непрерывного времени Bayesian Network (CTBN). Этот подход позволяет связать риск с фактическими факторами отказа, создавая более глубокую интеграцию между прогностическими задачами и оценкой риска. Методология CTBN позволяет обрабатывать данные в реальном времени, а также учитывать временные характеристики, что значительно повышает точность прогноза. Также описывается архитектура RB-PHM, включая входные данные, модели, алгоритмы и выходные результаты. ## Результаты В рамках исследования были проведены эксперименты с использованием реальных данных, полученных из различных систем. Модели CTBN были построены на основе этих данных, и их оценка проводилась на стадии прогноза развития дефектов. Результаты показали, что CTBN позволяет повысить точность оценки риска и снизить неопределенность в прогнозах. Эти результаты высоко ценились в приложениях, таких как управление логистикой и принятие решений в условиях несовершенства. ## Значимость Применение RB-PHM может быть распространено в многочисленных сферах, включая промышленность, аэрокосмическую отрасль, автомобилестроение и здравоохранение. Этот подход позволяет повысить надежность систем, уменьшить риск непредвиденных аварий и сократить время простоя. Значительные преимущества включают улучшенную прогностическую точность, реалистичную оценку риска и гибкость в применении к различным технологическим системам. ## Выводы Рассмотренная RB-PHM-модель демонстрирует большую полезность для улучшения прогностических задач, связанных с мониторингом здоровья систем. Будущие исследования будут сфокусированы на расширении моделей CTBN для более сложных систем, а также на интеграции с другими методами, такими как машинное обучение, для улучшения прогностической точности и функциональности.