Direct data-driven control with signal temporal logic specifications
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914741036777472 |
|---|---|
| author | van Huijgevoort, Birgit C. Verhoek, Chris Tóth, Roland Haesaert, Sofie |
| author_facet | van Huijgevoort, Birgit C. Verhoek, Chris Tóth, Roland Haesaert, Sofie |
| contents | Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop a direct data-driven control synthesis method for temporal logic specifications, which does not require this explicit modeling step, capable of providing certificates for the general class of linear systems. After collecting a single sequence of input-output data from the system, we construct a data-driven characterization of the behavior. Using this characterization, we synthesize a controller, such that the controlled system satisfies a (possibly unbounded) temporal logic specification. The underlying optimization problem is solved by mixed-integer linear programming. We demonstrate the applicability of the results through simulation examples. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2304_02297 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Direct data-driven control with signal temporal logic specifications van Huijgevoort, Birgit C. Verhoek, Chris Tóth, Roland Haesaert, Sofie Systems and Control Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop a direct data-driven control synthesis method for temporal logic specifications, which does not require this explicit modeling step, capable of providing certificates for the general class of linear systems. After collecting a single sequence of input-output data from the system, we construct a data-driven characterization of the behavior. Using this characterization, we synthesize a controller, such that the controlled system satisfies a (possibly unbounded) temporal logic specification. The underlying optimization problem is solved by mixed-integer linear programming. We demonstrate the applicability of the results through simulation examples. |
| title | Direct data-driven control with signal temporal logic specifications |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2304.02297 |