Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2603.25246 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918410807410688 |
|---|---|
| author | Pirastehzad, Armin Besselink, Bart |
| author_facet | Pirastehzad, Armin Besselink, Bart |
| contents | 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 by constructing a discrete-time system and a contract such that a solution to the continuous-time implementation problem can be characterized in terms of a solution to its discrete-time counterpart. We then use this characterization to construct a control input that establishes implementation in continuous time on the basis of the control sequence that achieves implementation in discrete time. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_25246 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Vertical Contracts for Safety Control Pirastehzad, Armin Besselink, Bart Optimization and Control 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 by constructing a discrete-time system and a contract such that a solution to the continuous-time implementation problem can be characterized in terms of a solution to its discrete-time counterpart. We then use this characterization to construct a control input that establishes implementation in continuous time on the basis of the control sequence that achieves implementation in discrete time. |
| title | Vertical Contracts for Safety Control |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2603.25246 |