Цифровой двойникВ Северной Осетии внедряют цифровой двойник Владикавказа и умные камерыTechora.ru · вчераМоделированиеАгентный поиск на open-source моделях: кого нашёл, сколько потратил и где всё сломалосьХабр · вчераЦифровой двойникDigital Twin for Pre-Deployment Validation of AI-Driven Safety-Critical Industrial Edge Control LoopsarXiv API — полнотекстовый поиск "digital twin" · 4 днЦифровой двойникLeveraging Human-In-The-Loop Demonstrations in Reinforcement Learning for Digital Twin-Driven Robot FlexibilityarXiv API — полнотекстовый поиск "digital twin" · 4 днЦифровой двойникLIVIN: Benchmarking Spatial and Embodied Intelligence in Digital Twins of Lived-In HomesarXiv API — полнотекстовый поиск "digital twin" · 4 днМоделирование«Рамблер» запустил единого ИИ-помощника с полноценной мультиагентной системой «под капотом»CNews · 4 днМоделированиеA dynamic pore-network model with discrete microbubble transportarXiv — Computational Engineering, Finance, and Science (cs.CE) · 4 днМоделированиеFREIDA: A Framework for developing quantitative agent based models based on qualitative expert knowledgearXiv — Multiagent Systems (cs.MA) · 4 днМоделированиеCooperation, Defection, and the Commons: Reproducing an Agent-Based Model of Aksum with Three Logistic EquationsarXiv — Physics and Society (physics.soc-ph) · 4 днЦифровой двойникДекларативные цифровые двойники без правилarXiv API — полнотекстовый поиск "digital twin" · 5 днЦифровой двойникПредиктивный когнитивный двойник для автономных сетей 6GarXiv API — полнотекстовый поиск "digital twin" · 5 днЦифровой двойникКалибровка и управление стохастическими двойниками биопроцессовarXiv API — полнотекстовый поиск "digital twin" · 5 дн
Прагматичное руководство по построению консервативных дискретных абстракций киберфизических систем
США и Запад ·
В руководстве рассматриваются типичные ошибки при построении дискретных абстракций киберфизических систем для верификации моделей: недооценка пространства состояний, переходов, неправомерное сокращение вырожденных поведений и некорректный подъём спецификаций. Предложен практический подход, гарантирующий консервативность абстракции и сохраняющий баланс между пессимизмом и вычислимостью.
Почему это важно
Обеспечение корректности абстракций необходимо для верификации свойств систем управления, что важно при моделировании и анализе крупномасштабных систем.
В Северной Осетии активно внедряют умные технологии для контроля дорожной сети. Камеры фиксируют нарушения, на трассах работают пункты весогабаритного контроля, а во Владикавказе создаётся цифровой двойник города. Пассажиры смогут отслеживать движение трамваев в приложении.
Industrial environments are increasingly characterized by the tight interaction among physical processes, communication infrastructures, and intelligent applications. In this context, Digital Twins (DTs) have emerged as a key technology for system analysis and optimization.
Growing automation makes collaborative robots work in more variable environments, increasing the need for adaptation. We propose a human-in-the-loop online training framework combining a digital twin (DT), reinforcement learning (RL), and human demonstrations.
