Direct data-driven control with signal temporal logic specifications
Abstract
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.
Cite
@article{arxiv.2304.02297,
title = {Direct data-driven control with signal temporal logic specifications},
author = {Birgit C. van Huijgevoort and Chris Verhoek and Roland Tóth and Sofie Haesaert},
journal= {arXiv preprint arXiv:2304.02297},
year = {2024}
}
Comments
Submitted to the 8th IFAC conference on Analysis and Design of Hybrid Systems