Francesco Caracciolo

MCP-DT: LLM-Driven Algorithm Synthesis for Cyber-Physical Systems Through Digital Twin Safety Enforcement

Designing control algorithms for cyber-physical systems (CPS) requires balancing performance objectives against hard safety constraints. This design process currently relies on expert manual tuning or evolutionary optimization methods that treat the problem as a black-box search, requiring a very high number of evaluat...