Lingua Franca

Digital Twins (DTs) are evolving from passive digital shadows into intelligent and adaptive systems empowered by AI. This work focuses on Opportunistic Digital Twins (ODTs), a new class of DTs that dynamically exploit edge–cloud resources to enhance the representation and control of Cyber-Physical Systems (CPS). We introduce an engineering approach for building dependable ODTs using the deterministic concurrency and explicit timing semantics of Lingua Franca (LF). A Smart Traffic Management case study on Emergency Vehicle Preemption (EVP) demonstrates how ODTs can adapt model selection at runtime while preserving deterministic coordination across distributed nodes. Results show that LF-based ODTs improve reliability, adaptability, and scalability in intelligent CPS deployments.

Nov 27, 2025

This paper integrates Edge Intelligence (EI) with the coordination language Lingua Franca (LF), using the Consistency-Availability-Latency (CAL) theorem to optimize Cyber-Physical Systems (CPS). We demonstrate an Emergency Vehicle Detection (EVD) system that prioritizes emergency vehicles through multimodal detection and LF’s deterministic coordination. Two deployment scenarios are evaluated—cloud-assisted and fully edge-based—guided by CAL tradeoffs. Experiments show that the edge-based solution reduces inference-to-actuation latency by 2.8x and energy consumption by 10.26%, while eliminating cloud bandwidth overhead.

Jun 3, 2025