Reactive CPS (ReCPS)
Workshop on Reactive Cyber-Physical Systems: Design, Simulation, and Coordination
About the Workshop
The Reactive CPS (ReCPS) Workshop at DATE 2026 is a new workshop dedicated to the modeling, design, simulation, analysis, and verification of reactive cyber-physical systems (CPS). ReCPS emphasizes reactive CPS architectures that continuously interact with their environment in real time, leveraging methodologies and tools such as the reactor model of computation and the Lingua Franca coordination language.
Workshop Program
Monday, April 20, 2026, 2:00–6:00 pm (14:00–18:00 CEST)
- 2:00–2:50 pm — Keynote
Prof. Edward A. Lee, University of California, Berkeley, US - Short break
- 3:00–3:55 pm — Research Paper Session 1
Authors Paper title Byeonggil Jun, Deeksha Prahlad (Arizona State University, US), Mehdi Ghasemi (Southern Illinois University, US), and Hokeun Kim (Arizona State University, US) Modeling and Simulation of Transformer-based Embodied Agentic AI Tasks on Heterogeneous Edge Tejeswini Jayaramareddy (Santa Clara University, US), Hokeun Kim (Arizona State University, US), and Hoeseok Yang (Santa Clara University, US) Ensuring Deterministic Timing in a Federated GNSS Correction Pipeline with Lingua Franca Elia Brentarolli, Davide Quaglia, Tiziano Villa (University of Verona, IT), Luca Benvenuti (University of Rome, IT), and Michel Reniers (Eindhoven University of Technology, NL) A Greenhouse as a Cyber Physical Production System: Automatic Controller Synthesis with Integrated Crop Growth Models Georgios L. Stavrinides, Maria K. Michael, and Theocharis Theocharides (University of Cyprus, CY) Hybrid Proactive-Reactive DAG Scheduling in Cyber-Physical Systems Under Uncertainty - Short break
- 4:05–5:00 pm — Research Paper Session 2
Authors Paper title Ruicong Ni, Giovanni Pollo, and Sara Vinco (Politecnico di Torino, IT) Deterministic Reactive Co-Simulation of a Regenerative Active Suspension Tassilo Tanneberger (Technical University of Dresden, DE), Erling Jellum (Independent Researcher, NO), Jeronimo Castrillon (Technical University of Dresden, DE), and Edward Lee (University of California, Berkeley, US) Macros as Abstractions: Simplifying Code Generation for Lingua Franca Samuele Santacà, Sebastiano Gaiardelli, and Franco Fummi (University of Verona, IT) xPPU-Frost: A Testbed for Evaluating Deterministic Industrial Automation Strategies Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, and Franco Fummi (University of Verona, IT) Distributed Control Logic Validation through Lingua Franca - Short break
- 5:10–5:25 pm — Demo lightning talks
Authors Paper title Pawan Kumar and Hokeun Kim (Arizona State University, US) Drone Simulation using Operational Sensor Data with Lingua Franca Hwisoo So (Kyungpook National University, KR) and Hokeun Kim (Arizona State University, US) Configurable Modeling and Simulation of Resilient Real-Time Scheduling Toluwalope Elugbaju, Matthew J. Pinnock, and Chanhee Lee (University of Central Florida, US) Time Bounded Integrity Enforcement for Trusted LLM Execution Using OP-TEE and Lingua Franca Ehsan Khodadad, Luca Pezzarossa, and Martin Schoeberl (Technical University of Denmark, DK) Lingua Franca on the Patmos Processor Manuel Branco Nardi, Daniel Avalos, George Zhao, Martina Ibanez Peredo, and Chanhee Lee (University of Central Florida, US) Runtime Autonomous Driving Context Analysis using Vision Language Model and Lingua Franca - 5:25–6:00 pm — Interactive demo and networking
- 8:00 pm — Informal gathering (location TBD, tentative)
👥 Organizers
- General Chair: Hokeun Kim (Arizona State University, United States)
- Program Chair: Sebastiano Gaiardelli (University of Verona, Italy)
📋 Program Committee
- David Broman, KTH Royal Institute of Technology, Sweden
- Samarjit Chakraborty, University of North Carolina at Chapel Hill, United States
- Enrico Fraccaroli, University of Verona, Italy
- Franco Fummi, University of Verona, Italy
- Sebastiano Gaiardelli, University of Verona, Italy
- Alain Girault, INRIA – Grenoble, France
- Christoph Grimm, TU Kaiserslautern, Germany
- Chadlia Jerad, University of Tunis El Manar, Tunisia
- Hokeun Kim, Arizona State University, United States
- Edward A. Lee, University of California, Berkeley, United States
- Shaokai Lin, University of California, Berkeley, United States
- Frank Oppenheimer, OFFIS, Germany
- Francesco Paladino, University of California, Berkeley, United States
- Graziano Pravadelli, University of Verona, Italy
- Martin Schoeberl, Technical University of Denmark, Denmark
- Sara Vinco, Politecnico di Torino, Italy
📅 Important Dates
- February 16, 2026 (AoE): Research papers and demo abstracts submission deadline
- March 2, 2026: Notification of acceptance
- April 13, 2026: Final version of paper due
- April 20, 2026, 2:00–6:00 pm (14:00–18:00 CEST): Workshop at DATE 2026, Verona, Italy
📣 Call for Papers
As we advance towards a hyper-connected future defined by smart sensors and devices operating together as complex systems-of-systems, the massive adoption of Artificial Intelligence combined with the inherent unpredictability of distributed interactions presents a fundamental challenge to system reliability.
In such a scenario, Reactive Cyber-Physical Systems (ReCPS) are crucial for next-generation intelligent and autonomous systems, continuously interacting with their environment in real time. By leveraging methodologies and tools such as the reactor model of computation and the Lingua Franca coordination language, these emerging frameworks provide deterministic and composable concurrency for CPS design. This enables the design of more predictable and reliable system behavior than conventional CPS design approaches.
This workshop focuses on foundational methods and emerging trends in design, simulation, and coordination of these reactive systems. These approaches promise enhanced predictability and reliability compared to conventional CPS design.
We invite original research contributions and demonstrations on topics related to Reactive Cyber-Physical Systems.
📋 Topics of Interest
Scope and topics to be considered include (but are not limited to):
- Cyber-physical production systems (CPPS)
- Safety-critical CPS
- Distributed CPS
- Real-time scheduling and coordination
- Simulation of CPS
- Digital twins
- Verification and testing of CPS
- Predictability and determinism of CPS
- Integration and deployment of CPS
- AI/ML-driven autonomous CPS
- Modeling & simulation of human-in-the-loop CPS
- CPS-human interaction via LLMs
📝 Submission Guidelines
We invite the following types of contributions:
Research Papers
Original research contributions on topics related to reactive cyber-physical systems design, simulation, verification, and deployment.
- Page limit: 4 pages (including references)
- Format: IEEE conference format
Demo Abstracts
Short abstracts describing working prototypes, tools, or demonstrations related to reactive CPS and the Lingua Franca ecosystem.
- Page limit: 2 pages (including references)
- Format: IEEE conference format
Review Process
Single blind review (no need to anonymize submissions) by a program committee with acceptance decisions.
Submission system: EasyChair
📄 Publication
Accepted manuscripts will be distributed to the workshop attendees, but will not be officially published, so that the authors can use the materials for their publication later.
🔗 Official DATE Conference Links
ReCPS on the DATE 2026 programme and workshop pages:
Related Resources
Learn more about reactive programming and Lingua Franca. Official DATE conference: DATE 2026 Conference (date-conference.com).