Vertical Contracts for Safety Control

Armin Pirastehzad, Bart Besselink

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 discret…