1 citations · 1 across the 3 of their papers we have counts for
3 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…
math.OC2023★ 1 cited
Comparison of Non-deterministic Linear Systems by -Similarity
Armin Pirastehzad, Arjan van der Schaft, Bart Besselink
We introduce -similarity, a notion of system comparison that measures to what extent two stable linear dynamical systems behave similarly in an input-output sense. This beha…