2 papers
math.OC2026
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…
math.OC2026
Comparison of Linear Systems Across Time Domains: Continuous-time vs. Discrete-time
Armin Pirastehzad, Bart Besselink
We develop a formal framework for the behavioral comparison of linear systems across different time domains. We accomplish this by introducing the notion of system interpolation, w…