## Контекст Управление мощными аккумуляторными батареями 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-модели превосходят обычные методы в тех областях, где потребность в скорости и надежности обеспечения ресурса критична. ## Значимость Решение, предложенное в этой статье, имеет широкие приложения в развитии энергосберегающих систем, электромобилей и мобильных устройств. Оно обеспечивает увеличение продолжительности жизни аккумуляторов и эффективность их использования. Наш метод также может быть применен в области технологий безопасности, где важны достоверные абстракции и проверки. Мы также показываем, что наше решение может иметь более широкое применение в том числе в технологиях, где нужно удовлетворять критериим уровня доверия и прогностической модели. ## В

## Контекст Магнитная левитация (magnetic levitation, MagLev) находится на пороге технологической революции в индустриальной автоматизации. Она позволяет реализовать гибкий ин-машинный транспорт товаров и бесшовную манипуляцию с ними. В будущем магнитная левитация может стать стандартным приводом для автоматизированных производств. Однако управление такими системами представляет сложности из-за их комплексных, нестабильных динамических характеристик. Существующие подходы, основанные на ручной настройке контроллеров, обеспечивают достаточную надежность, однако они часто требуют большого усилия и опыта экспертов. Нейроконтроль, напротив, предлагает альтернативу: он обучается на данных взаимодействия и может обеспечивать точность и устойчивость управления в системах с высокой нелинейностью. Целью настоящей работы является разработка первого нейроконтроллера для 6D магнитной левитации, который может оценивать и корректировать положение объекта в трехмерном положении и двумерной ориентации. ## Метод Разработанный нейроконтрольер представляет собой модель, обученную на данных взаимодействия с магнитной левитацией. Он принимает на вход данные с детекторов положения и ориентации, а также 6D-референсные координаты. Затем он выполняет нелинейную обработку, вычисляя коэффициенты тока в спиралях для корректного привязывания объекта. Модель обучалась с помощью процедуры градиентного спуска на основе данных, собранных из реальных экспериментов. Для моделирования использовалась произвольная архитектура нейронной сети с несколькими слоями. Эта модель позволяет решать задачи управления с высокой точностью и гибкостью. ## Результаты Проведенные эксперименты показали, что нейроконтроллер обладает высокой устойчивостью и точностью в условиях неизвестных или меняющихся условий. Он был протестирован на потоке данных, отличных от тех, которые использовались в обучении. Отмечается, что нейроконтроллер показал значительное превосходство по сравнению с привычными подходами, особенно в области обработки нестандартных ситуаций. Результаты были измерены с помощью нескольких метрик, в том числе точности положения и устойчивости при управлении. ## Значимость Нейроконтроллер может применяться в различных индустриальных средах, где требуется точное и надежное управление. Он обеспечивает возможность уменьшить время и стоимость разработки, улучшить надежность системы, а также обеспечить более гибкий подход к решению проблем управления. Этот подход может заменить или дополнить традиционные методы контроля в сложных производственных системах. ## Выводы Разработанный не

## Контекст Industry 4.0 позволяет интегрировать машины, системы управления и производственные процессы в одну систему, обеспечивая более высокую производительность и автоматизацию. Однако такая интеграция сопряжена с риском атак, таких как реплей-атаки, когда несанкционированные пользователи используют устаревшую сенсорную информацию для манипуляции с актоуаторами. Это может привести к серьезным последствиям, включая повреждение оборудования и потерю качества продукции. Динамическая водяная метка (dynamic watermarking) представляет собой метод, который может открыть такие манипуляции, отображая искажения в данных. Однако существующие схемы динамической водяней метки предполагают линейно-Гауссовые динамики и постоянные статистические параметры водяных меток, что делает их неэффективными для использования на MTCs (machine tool controllers) с временно меняющимися динамиками и частично закрытыми моделями. Таким образом, требуется развитие более универсального подхода. ## Метод Мы предлагаем DynaMark, фреймворк на основе усиления обучения (reinforcement learning), который использует Марковский процесс решений (Markov decision process, MDP) для моделирования динамической водяной метки. DynaMark обучает адаптивный политический механизм (policy), который динамически меняет ковариацию нулевого-среднего Гауссового водяного знака с использованием доступных измерений и обратной связи детектора. Он не требует предварительного знания о системе. Для реализации этого фреймворка мы разработали механизм байесовского обновления уверенности (Bayesian belief updating) для реального времени, который работает в системах с линейными динамиками. Этот метод основывается на универсальной структуре MDP, которая не зависит от конкретных системных предположений, и позволяет DynaMark эффективно работать на MTCs. ## Результаты Мы проводили эксперименты с использованием цифровой модели Siemens Sinumerik 828D и физического тестбеда на основе шагового мотора. На цифровой модели DynaMark снизил энергозатраты на водяную метку на 70% в сравнении с базовым подходом постоянной вариации, при этом сохранив назначенный траектории. Он также поддерживает среднюю задержку обнаружения (detection delay), равную одному интервалу выбора. Физический тестбед показал, что DynaMark сразу же вызывает аварийные сигналы при меньшем ущербе для производительности контроллера, превосходя существующие бенчмарки. Эти результаты подтверждают эффективность DynaMark в раскрытии реплей-атак и сохранении производительности системы. ## Значимость DynaMark может применяться в различных производственных системах, включая цифровые системы управления, где требуется обнаружение

## Контекст Современные интегрированные микросхемы становятся все более сложными, что приводит к увеличению нагрузки на инженеров-дизайнеров на всех этапах разработки — от концепции до производства. Этот процесс требует значительного времени, трудоемкости и подверждается ошибкам, особенно при выполнении повторяющихся задач. Оптимизировать этот процесс могут помочь новые технологии, включая большие языковые модели (LLMs). Характеризуются эти модели сильной контекстной понимаемостью, логическим разумением и генерируемыми способностями. Так как текстовое представление основных элементов хардварного проектирования и интерфейсных скриптов, LLM могут стать эффективным инструментом для автоматизации и упрощения работы со штампом микросхем. ## Метод Предлагаемая работа основывается на использовании LLM для различных задач в области конструирования и проверки хардварных систем. Методология включает: 1. **Обучение модели на хардварных данных**: модели LLM обучаются на разных данных, включая описания микросхем, скрипты и конфигурации. 2. **Интеграция с существующими EDA-инструментами**: модели могут быть интегрированы с уже существующими EDA-инструментами для решения специфичных задач. 3. **Выполнение технических экспериментов**: авторы описали три случая применения LLM в EDA: автоматизацию регрессионных тестов, оптимизацию тестовых схем и анализ безопасности хардварных систем. 4. **Оценка результатов**: результаты экспериментов оцениваются с помощью метрик, таких как точность, время выполнения и производительность. ## Результаты Запуски экспериментов включили: 1. **Регрессионные тесты**: LLM использовался для автоматизации процесса выявления ошибок в коде, обнаружив скрытые ошибки с помощью генерации тестовых сценариев. 2. **Оптимизация тестовых схем**: LLM могло оптимизировать тестовые схемы, снизив время прогона и повысив точность тестирования. 3. **Безопасность хардварных систем**: LLM использовалось для анализа уязвимостей, обнаруживая возможные уязвимости в микросхемном коде. Результаты показали, что LLM могут существенно ускорить работу в EDA, уменьшив трудоемкость и улучшив точность, но одновременно приводит к определенным ограничениям, таким как необходимость в дополнительной настройке и понимании ошибок модели. ## Значимость LLMs в EDA предлагают значительные преимущества в автоматизации задач, которые ранее требовали ручного вмешательства. Они могут улучшить производительность, снизить трудозатраты и повысить точность в разработке хардварных систем. Эти модели могут

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

## Контекст Одним из ключевых задач в интеллектуальных системах транспорта является точное моделирование индивидуального поведения транспортных средств на уровне микроскопической симуляции. Это необходимо для реалистичного генерирования и реакции на сложные транспортные явления, такие как фантомные подвисания трафика. Традиционные модели движения транспортных средств справляются с этой задачей за счет упрощения, отдавая при этом сложность. С другой стороны, появление новых данных, полученных с помощью инфраструктурных камер, предоставило новые возможности для развития агентно-ориентированных моделей. Однако существующие данные часто являются чистыми или нестандартными, что не соответствует реальной сложности данных сенсоров. Наша работа ориентирована на создание новых моделей, признавающих шум и неточности в данных, чтобы сделать модели более реалистичными и применимыми в практике. ## Метод Мы применяем адаптированные стратегии шум-сознательного обучения, применяющиеся в компьютерном зрении, для моделирования трафика на основе данных сенсоров. В частности, мы используем генерирующую модель, адаптированную с помощью шум-сознательных функций потерь. Эти модели генерируют трафик, учитывая характерные ошибки и неточности, такие как разброс данных и ошибки сенсоров. Для этого мы используем I-24 MOTION Scenario Dataset (I24-MSD), который содержит реальные данные сенсоров и позволяет тренировать модели, учитывая эти недостатки. Это позволяет создавать более реалистичные симуляции трафика, учитывая реальные сложности. ## Результаты Модели, использующие шум-сознательные функции потерь, показали лучшую реалистичность в сравнении с традиционными моделями. Мы проводили эксперименты с разными уровнями шума в данных и проверяли качество моделей на разных показателях. Наши результаты показывают, что при увеличении шума модели становятся более реалистичными и устойчивыми. Это указывает на то, что модели, учитывающие шум в данных, более приближены к реальности и могут более точно отражать сложности транспортных систем. ## Значимость Мы видим применение нашей модели в различных областях, таких как планирование трафика, прогнозирование движения транспорта и разработка систем управления. Наш подход позволяет создавать более реалистичные и устойчивые модели, учитывающие реальные характеристики данных сенсоров. Эта технология может способствовать улучшению безопасности и эффективности транспортных систем, а также облегчить разработку новых систем управления трафиком. ## Выводы Мы доказали, что модели, учитывающие шум в данных, могу

## КОНТЕКСТ И ПРОБЛЕМАТИКА Гибридные электромобили (HEV) становятся важным элементом стратегии декарбонизации грузового транспорта, особенно в сегменте тяжелых грузовиков. Однако эффективное управление энергопотреблением в таких системах представляет собой сложную задачу, требующую одновременного учета множества переменных: текущего состояния батареи, мощностных характеристик двигателя, условий движения и продолжительности маршрута. Традиционные методы управления, основанные на правилах или оптимизации в реальном времени, часто не обеспечивают оптимальный баланс между экономией топлива и сохранением заряда батареи для длительных поездок. Проблема усложняется тем, что в серийной архитектуре HEV двигатель внутреннего сгорания (ДВС) не напрямую приводит колеса, а работает как генератор, заряжая батарею и/или питая электродвигатель. Это создает дополнительные степени свободы в управлении, но также увеличивает пространство возможных стратегий управления. Существующие подходы, включая динамическое программирование (DP), обеспечивают теоретически оптимальные решения, но требуют полного знания будущего цикла вождения и не применимы в реальных условиях. Авторы статьи выделяют ключевую проблему: большинство существующих систем управления не учитывают последовательную природу задачи и временные зависимости между решениями. Текущие методы обучения с подкреплением (RL) часто используют нейронные сети прямого распространения (FFN), которые рассматривают каждое состояние независимо, теряя важную информацию о контексте предыдущих состояний и действий. Это особенно критично для тяжелых грузовиков, где решения о включении ДВС имеют длительные последствия из-за большой инерционности системы. ## ПРЕДЛОЖЕННЫЙ МЕТОД Для решения проблемы авторы предлагают новую архитектуру RL-агента на базе алгоритма Soft Actor-Critic (SAC), специально адаптированного для учета последовательной природы задачи управления энергопотоками в серийных HEV. Ключевой инновацией является интеграция механизмов памяти в обе сети актора и критика, что позволяет агенту учитывать историю состояний и действий при принятии решений. Архитектура предлагает три варианта реализации: первый использует в акторе Decision Transformer (DT) - трансформерную архитектуру, способную моделировать сложные длинные зависимости в последовательностях, и в критике - Gated Recurrent Units (GRU) для эффективного захвата среднесрочных временных паттернов. Второй вариант применяет GRU в обеих сетях, обеспечивая более компактную модель с сохранением способности к учету временных зависимостей. Третий вариант служит базовым, используя традиционные FFN-сети для сравнения эффективности. Методология включает несколько ключевых компонентов: формальную постановку задачи как процесса принятия последовательных решений в частично наблюдаемой среде, разработку специальной функции вознаграждения, балансирующей между топливной экономичностью и поддержанием заряда батареи, и механизм обучения с учетом различных начальных условий и сценариев вождения. Авторы также вводят концепцию "последовательного планирования", где агент не только реагирует на текущее состояние, но и прогнозирует последствия своих действий в контексте предполагаемого будущего цикла движения. ## ЭКСПЕРИМЕНТАЛЬНЫЕ РЕЗУЛЬТАТЫ Экспериментальная кампания была направлена на всестороннюю оценку предложенных методов по трем ключевым критериям: эффективность топливной экономии по сравнению с теоретическим оптимумом, способность обобщаться на незнакомых циклах вождения и робастность к изменениям параметров системы. Для этого использовались три различных цикла вождения: стандартный Highway Fuel Economy Test (HFET) для базового сравнения, агрессивный US06 для проверки экстремальных условий и HHDDT cruise segment для моделирования специфических условий тяжелых грузовиков. Обучение проводилось на диверсифицированном наборе данных, включающем 5000 эпизодов с варьированием начального состояния заряда батареи (20-80%), продолжительности цикла (от 200 до 1200 секунд) и профилей мощности. Для каждого варианта архитектуры проводилось обучение с 10 различ