arXiv:2608. 11221v1 Announce Type: new Abstract: Cyber-physical systems (CPS) are typically developed by multiple stakeholders who produce artefacts tailored to their specific domains of expertise.
arXiv:2606. 18532v1 Announce Type: cross Abstract: AI systems are increasingly evaluated in bounded environments that combine isolation, simulation, instrumentation, supervision, and evidence capture.
The paper presents a method to estimate inconsistency response surfaces in Cyber‑Physical Systems (CPS) under uncertainty. By reformulating inconsistency as an intervention‑response modeling problem, the authors use Saltelli sampling and multi‑fidelity Monte Carlo estimation to generate datasets, then train a surrogate model that predicts inconsistency from propagated uncertainty geometry. Experiments on 48 scenarios across 10 CPS domains show that the surrogate matches Monte Carlo estimates while dramatically reducing evaluation time, enabling extensive sensitivity analysis and a gradient‑based consistency recourse method to identify minimal interventions that restore consistency.
The paper reports an empirical study comparing traditional and AI‑enabled Simulink controllers, using a taxonomy of ten structural categories and nine functional roles. Analyzing 62 real‑world models and surveying 13 practitioners, it finds that subsystem organization dominates all controller architectures, AI models rely heavily on discrete dynamics and user‑defined abstraction, and constraint enforcement blocks largely disappear in AI‑enabled designs. These findings highlight architectural tensions and gaps between AI literature and practical implementation.
arXiv:2606. 13196v2 Announce Type: replace Abstract: Recent AI systems can generate texts, software architectures, hypotheses, designs, and scientific workflows that appear creative.
World models give embodied AI a predictive core: they compress observations into states, simulate action-conditioned futures, and enable planning beyond reactive control. This predictive layer, however, opens a new security boundary-compromise can propagate from data, sensors, prompts, or feedback into physical action.
arXiv:2606. 13196v1 Announce Type: new Abstract: Recent AI systems can generate texts, software architectures, hypotheses, designs, and scientific workflows that appear creative.
TrojanWorld is a backdoor framework that targets world-model agents by steering their internal imagination toward attacker-specified actions when a physical trigger is present. The attack uses Decision-Reflective Induction, Clean Behavior Anchoring, and Causal Propagation to maintain stealth, persistence, and high performance. Experiments on TD-MPC2, DreamerV3, and R2-Dreamer across several benchmarks show that the attack can induce target actions with minimal performance loss and can keep agents on a malicious trajectory even after the trigger is removed.
arXiv:2606. 00090v1 Announce Type: cross Abstract: Physical AI systems increasingly map multimodal observations, language instructions, and learned world representations into physically consequential actions.
arXiv:2607. 26121v1 Announce Type: cross Abstract: Embodied intelligence integrates learned perception and decision making with real-time computation, control, and physical interaction.
The paper introduces LogiC-Diff, a logic-conditioned bi-stage diffusion framework that embeds Signal Temporal Logic (STL) specifications into AI-enabled cyber‑physical system (CPS) forecasting models. By using STL as a conditioning signal, the method repairs inputs and refines outputs to jointly mitigate adversarial perturbations and enforce desired temporal behaviors. Experiments on two real‑world CPS datasets show that LogiC-Diff consistently improves robustness and specification compliance across various sensor faults and cyber attacks, outperforming reconstruction‑based defenses.
The paper proposes rethinking bias in AI as a diagnostic tool rather than merely a flaw to be minimized. It introduces a multidimensional framework that examines bias across origin, lifecycle emergence, technical causes, and validation methods, covering 30 bias types, 16 verification methods, and 20 countermeasures for both traditional and generative AI. The authors present a hierarchical evidence framework distinguishing internal and external validity, and advocate for Ethics by Design principles to embed bias verification throughout the AI development lifecycle.