W01 Reactive CPS (ReCPS): Workshop on Reactive Cyber-Physical Systems: Design, Simulation, and Coordination
ReCPS 2026: 1st Workshop on Reactive Cyber-Physical Systems
ReCPS 2026 (Reactive Cyber-Physical Systems: Design, Simulation, and Coordination) is the first edition of a workshop dedicated to foundational methods and emerging trends in the design, simulation, and coordination of reactive cyber-physical systems. As cyber-physical systems evolve into hyper-connected systems-of-systems—driven by pervasive sensing, distributed interactions, and growing adoption of AI/ML—ensuring predictability and reliability becomes a central challenge. ReCPS brings together researchers and practitioners to discuss approaches that enable deterministic and composable concurrency for CPS, including reactor-based models of computation and the Lingua Franca coordination language.
Co-located Event
ReCPS 2026 is co-located with the Design, Automation and Test in Europe (DATE) Conference and will take place in Verona, Italy, during April 20–22, 2026.
Topics of Interest
The workshop welcomes contributions and discussions on topics including (but 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 Types
- Research Papers (up to 4 pages, including references): Original research contributions on reactive CPS design, simulation, verification, and deployment.
- Demo Abstracts (up to 2 pages, including references): Working prototypes, tools, or demonstrations related to reactive CPS and the Lingua Franca ecosystem.
Key Dates
- Submission deadline: February 16, 2026 (Anywhere on Earth)
- Acceptance notification: March 2, 2026
- Final version of paper due: April 13, 2026
- Workshop dates: April 20–22, 2026
- DATE early-bird registration deadline: March 5, 2026
Submission & Formatting
Submissions must follow the IEEE Conference template and be submitted via EasyChair.
- EasyChair submission site: https://easychair.org/conferences/?conf=recps2026
- IEEE template: https://www.ieee.org/conferences/publishing/templates
Publication Policy
Accepted manuscripts will be distributed to workshop attendees but will not be formally published, allowing authors to further develop and submit extended versions to archival venues.
Registration
ReCPS uses DATE’s registration facilities. Please register through the DATE website: https://www.date-conference.com/registration .
Organizers
- General Chair: Hokeun Kim (Arizona State University) — hokeun
![at]()
asu [dot] edu (hokeun[at]asu[dot]edu) - Program Chair: Sebastiano Gaiardelli (University of Verona) — sebastiano [dot] gaiardelli
![at]()
univr [dot] it (sebastiano[dot]gaiardelli[at]univr[dot]it)
For the latest details, please visit the workshop page: https://reactor-model.org/events/recps-2026/
W01.1 ReCPS Keynote
- A keynote talk by Prof. Edward A. Lee, University of California, Berkeley, US
W01.2 ReCPS Research Paper Session 1
- Modeling and Simulation of Transformer-based Embodied Agentic AI Tasks on Heterogeneous Edge
Byeonggil Jun, Deeksha Prahlad (Arizona State University, US), Mehdi Ghasemi (Southern Illinois University, US), and Hokeun Kim (Arizona State University, US) - Ensuring Deterministic Timing in a Federated GNSS Correction Pipeline with Lingua Franca
Tejeswini Jayaramareddy (Santa Clara University, US), Hokeun Kim (Arizona State University, US), and Hoeseok Yang (Santa Clara University, US) - A Greenhouse as a Cyber Physical Production System: Automatic Controller Synthesis with Integrated Crop Growth Models
Elia Brentarolli, Davide Quaglia, Tiziano Villa (University of Verona, IT), Luca Benvenuti (University of Rome, IT), and Michel Reniers (Eindhoven University of Technology, NL) - Hybrid Proactive-Reactive DAG Scheduling in Cyber-Physical Systems Under Uncertainty
Georgios L. Stavrinides, Maria K. Michael, and Theocharis Theocharides (University of Cyprus, CY)
W01.3 ReCPS Research Paper Session 2
- Deterministic Reactive Co-Simulation of a Regenerative Active Suspension
Ruicong Ni, Giovanni Pollo, and Sara Vinco (Politecnico di Torino, IT) - Macros as Abstractions: Simplifying Code Generation for Lingua Franca
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) - xPPU-Frost: A Testbed for Evaluating Deterministic Industrial Automation Strategies
Samuele Santacà, Sebastiano Gaiardelli, and Franco Fummi (University of Verona, IT) - Distributed Control Logic Validation through Lingua Franca
Pietro Turco, Sebastiano Gaiardelli, Enrico Fraccaroli, and Franco Fummi (University of Verona, IT)
W01.4 ReCPS Demo Lightning Talks
- Drone Simulation using Operational Sensor Data with Lingua Franca
Pawan Kumar and Hokeun Kim (Arizona State University, US) - Configurable Modeling and Simulation of Resilient Real-Time Scheduling
Hwisoo So (Kyungpook National University, KR) and Hokeun Kim (Arizona State University, US) - Time Bounded Integrity Enforcement for Trusted LLM Execution Using OP-TEE and Lingua Franca
Toluwalope Elugbaju, Matthew J. Pinnock, and Chanhee Lee (University of Central Florida, US) - Lingua Franca on the Patmos Processor
Ehsan Khodadad, Luca Pezzarossa, and Martin Schoeberl (Technical University of Denmark, DK) - Runtime Autonomous Driving Context Analysis using Vision Language Model and Lingua Franca
Manuel Branco Nardi, Daniel Avalos, George Zhao, Martina Ibanez Peredo, and Chanhee Lee (University of Central Florida, US)