ModellingTopological Feasibility Guarantees for Differentiable Predictive ControlarXiv — Systems and Control (eess.SY) · 12 AugDigital twinOnline Data-Driven Reachability Analysis using Zonotopic Recursive Least SquaresarXiv — Systems and Control (eess.SY) · 12 AugDigital twinResults of Foresight Session on Cyber-Physical Systems Security PublishedspbIT · 12 AugDigital twinMachine Vision for Digital Twins, 3D Stereo Camera, AI Sensor GrowthVision Systems Design · 12 AugDigital twinAegis Secures $480K for Digital Twin ResearchPluang · 12 AugDigital twinFusionex AI Digital Twins Eliminate Production BottlenecksMacau Business · 12 AugDigital twinSiemens to Apply Digital Twins in U.S. Army ManufacturingMobility Engineering Technology · 12 AugDigital twinStreaming Sparse Cholesky for Derivative-Informed Gaussian Process Surrogates in Digital TwinsarXiv — Computational Engineering, Finance, and Science (cs.CE) · 12 AugDigital twinA Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical SystemsarXiv — Systems and Control (eess.SY) · 12 AugDigital twinMultisource Human-in-the-Loop Digital Twin Testbed for Connected and Autonomous Vehicles in Mixed Traffic FlowarXiv — Systems and Control (eess.SY) · 12 AugDigital twinAI Digital Twins Transforming Beauty Manufacturing and InnovationBeautyMatter · 12 AugDigital twinCivic Digital Twin? Italian City Shows Why Data Without Democracy Is Just a MapGovInsider · 12 Aug
Multisource Human-in-the-Loop Digital Twin Testbed for Connected and Autonomous Vehicles in Mixed Traffic Flow
US & West ·
The MSH-MCCT testbed for CAVs integrates physical, virtual, and mixed platforms with multi-source control inputs. Using the Mixed Digital Twin concept (combining mixed reality and digital twin), it allows human drivers and CAV algorithms to interact in mixed traffic. The approach supports testing in realistic scenarios.
Why it matters
Human-in-the-loop integration is relevant for developing and verifying autonomous vehicle control systems in complex environments.
The paper establishes deterministic feasibility guarantees for differentiable predictive control (DPC), a self-supervised approach for approximating explicit MPC policies. Through topological analysis of the induced reachable safe set, it shows DPC can guarantee feasibility without online safety filters.
A data-driven reachability analysis method computes over-approximations of reachable sets directly from online state measurements, without requiring an accurate dynamic model. It estimates time-varying unknown models using an exponentially forgetting zonotopic recursive least squares method that handles bounded noise.
The company Aktiv published the final document of a foresight session on the future of cyber-physical systems security in Russia. The document provides strategic recommendations and industry forecasts up to 2040.
