{"id":"arxiv/2603.25246","url":"https://arxiv.org/abs/2603.25246","tags":["math.OC"],"score":0,"title":"Vertical Contracts for Safety Control","domain":"math.OC","source":"arxiv","authors":["Armin Pirastehzad","Bart Besselink"],"reviews":0,"subject":"math.OC","summary":"We propose a methodology that exploits the contract formalism to characterize the continuous-time safety control problem, which is often difficult to address, in terms of a discrete-time one, for which numerous efficient solution scheme exist. We construct contracts as pairs of assumptions and guarantees which are set-valued mappings that describe the safe boundaries within which the system must operate. By formalizing safety control as contract implementation, we develop a vertical hierarchy according to which we translate implementation from continuous to discrete time. We accomplish this…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-26","reactions":{}}