3 papers
eess.SY2020
Guided Policy Improvement for Satisfying STL Tasks using Funnel Adaptation
Peter Varnai, Dimos V. Dimarogonas
We introduce a sampling-based learning method for solving optimal control problems involving task satisfaction constraints for systems with partially known dynamics. The control pr…
eess.SY2020
On Robustness Metrics for Learning STL Tasks
Peter Varnai, Dimos V. Dimarogonas
Signal temporal logic (STL) is a powerful tool for describing complex behaviors for dynamical systems. Among many approaches, the control problem for systems under STL task constra…
eess.SY2019
Gradient-Based STL Control with Application to Nonholonomic Systems
Peter Varnai, Dimos V. Dimarogonas
In this paper, we study the control of dynamical systems under temporal logic task specifications using gradient-based methods relying on quantitative measures that express the ext…