New Method for Synthesizing Safety Shields with Higher-Order Constraints

A new arXiv paper (2608.03662v1) introduces a method for synthesizing safety shields that enforce higher-order smoothness constraints, such as speed, acceleration, and jerk limits, in cyber-physical systems. Traditional shields only consider state predicates, classifying the current physical state as safe or unsafe and disabling actions that could lead to unsafe states. However, this approach is insufficient for applications like autonomous vehicles, which must also respect regulations on speed, force, and jerk to prevent injuries. The paper proposes a finite-state safety-game construction that incorporates these high-order constraints by defining differential safety properties using finite differences over a discretized state space. The authors characterize the expressiveness of these properties and reduce shield synthesis to an ordinary game-solving problem. This work addresses a gap in runtime enforcement for systems where safety depends on derivatives of the state, offering a more nuanced approach to ensuring safety in dynamic environments.