Digital Twinning for Industrial Control Systems

This theme develops fidelity-aware digital twins that bridge engineered control code, physical process models, and experimental testbeds. Our work spans formal verification, real-system validation, and runtime conformance checking. We also leverage agentic testing frameworks for CPS that allow autonomous evaluation of system resilience, enabling verification and mitigation synthesis across realistic testbeds. Together, these efforts establish a principled foundation for trustworthy experimentation and security in cyber-physical infrastructure.