{"id":"arxiv/2606.25333","url":"https://arxiv.org/abs/2606.25333","tags":["math.OC","eess.SY"],"score":0,"title":"Deterministic Non-Smooth Safety via Dual-Algebraic Control Barrier Functions","domain":"math.OC","source":"arxiv","authors":["Mohammadreza Kamaldar"],"reviews":0,"subject":"math.OC","summary":"This paper presents a dual-algebraic framework for control barrier functions (CBFs) that guarantees deterministic execution using exclusively elementary arithmetic. We develop this deterministic approach to solve a fundamental bottleneck in safety-critical control: pointwise minima compose intersecting safe sets, but generate non-smooth boundaries where standard Lie derivatives fail. Existing mathematical workarounds inject approximation bias, probabilistic non-determinism, or combinatorial execution delays that impede hard real-time hardware certification. By embedding the system state and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}