Digital Twins Need Feedback

arXiv:2606.23562 · cs.LO, cs.CE, cs.HC, cs.SI, cs.SY, eess.SY · Submitted 2026-06-22 · Read on arXiv

cs.LO, cs.CE, cs.HC, cs.SI, cs.SY, eess.SY

Submitted: 2026-06-22

Updated: 2026-06-22

Terminology

• Digital Twin — 52× in this paper · explained in 5 episodes
• Provenance — 8× in this paper · explained in 4 episodes
• Actor — 4× in this paper · explained in 3 episodes
• Ontology — 3× in this paper · explained in 2 episodes
• Accountability — 2× in this paper · explained in 2 episodes
• Uncertainty Quantification — 2× in this paper · explained in 8 episodes
• Verification — 2× in this paper · explained in 2 episodes
• Ablation — 1× in this paper · explained in 1 episode
• Abstraction — 1× in this paper · explained in 1 episode
• Accuracy — 1× in this paper · explained in 1 episode
• Actionability — 1× in this paper · explained in 3 episodes
• Adam — 1× in this paper · explained in 2 episodes
• Formal Methods — 1× in this paper · explained in 3 episodes
• Human-in-the-Loop — 1× in this paper · explained in 3 episodes
• Knowledge Graph — 1× in this paper · explained in 7 episodes
• Knowledge graphs — 1× in this paper · explained in 2 episodes

Related papers

• An Information-Flow Perspective on Explainability Requirements: Specification and Verification
• A programming language combining quantum and classical control
• Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
• Encoder-Decoder Transformers: Logical Characterizations and Periodicity
• Ultraconstructive Model Theory via Bounded Adversarial Finite Structures