Sound Compilation of Weighted Event Signal Temporal Logic to Timeless Geometric Control

Avinash Malik

Cyber-Physical Systems (CPS) controllers synthesized from standard temporal logics rely on rigid global clocks, rendering them vulnerable to asynchronous timing anomalies like cloc…