Sound Compilation of Weighted Event Signal Temporal Logic to Timeless Geometric Control
The work introduces a new control synthesis method that converts temporal logic specifications into timeless geometric constraints to improve Cyber-Physical Systems. It uses Weighted Event-Based Signal Temporal Logic (weSTL+) and a two-pass compiler to create a sound, conservative execution environment. This framework eliminates vulnerabilities caused by clock timing issues in traditional time-indexed controllers.