Direct data-driven control with signal temporal logic specifications
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
FineXtrol: Controllable Motion Generation via Fine-Grained Text
Recent works have sought to enhance the controllability and precision of text-driven motion generation. Some approaches leverage large language models (LLMs) to produce more detailed texts, while others incorporate globa…
Contrastive LearningSEDTalker: Emotion-Aware 3D Facial Animation Using Frame-Level Speech Emotion Diarization
We introduce SEDTalker, an emotion-aware framework for speech-driven 3D facial animation that leverages frame-level speech emotion diarization to achieve fine-grained expressive control. Unlike prior approaches that rely…
Talking Head GenerationEmotion RecognitionMaximum Likelihood Signal Matrix Model for Data-Driven Predictive Control
The paper presents a data-driven predictive control framework based on an implicit input-output mapping derived directly from the signal matrix of collected data. This signal matrix model is derived by maximum likelihood…
Model Predictive ControlExperiment data-driven modeling of tokamak discharge in EAST
A model for tokamak discharge through deep learning has been done on a superconducting long-pulse tokamak (EAST). This model can use the control signals (i.e. Neutral Beam Injection (NBI), Ion Cyclotron Resonance Heating…
DiagnosticBarrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks
Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study the problem of dynamically coupled multi-agent systems under a set of signal temporal logic tasks. In particular, the satisfacti…