Data-driven Control

Classical control approaches are based on physical dynamic models, which are required to describe the true underlying system behaviour in a sufficiently accurate fashion. For complex dynamical systems, however, such descriptions are often extremely hard to obtain or even nonexistent, hence data-driven approaches have to be employed. Data-driven models are based on observations and measurements of the true system and only require a minimum amount of prior knowledge of the system. However, they require new control approaches since classic analysis and synthesis tools are not suitable for models of probabilistic nature. Our work focuses on the Gaussian process model, which is very generally applicable and has shown to be successful in many control scenarios. We develop new control algorithms, which not only improve the overall performance but also guarantee the stability of the closed-loop system. Finally, the approaches are tested and validated in robotic experiments.

Current topics:

Identification and Control with Gaussian Processes

Researcher: Alexandre Capone

Motivation

Data-driven approaches from machine learning provide powerful tools to identify dynamical systems with limited prior knowledge of the model structure. These are, on the one side, very flexible to model a large variety of systems, but, on the other side, also bring new challenges: Classical control approaches need to be adapted to work successfully on data-based models, certain desired properties on convergence are difficult to prove and multiple ways exist to exploit the prior knowledge available.

Research Questions

  • How to enforce stability in data-driven models?
  • Which control laws allow formal guarantees in closed-loop systems?
  • Can knowledge on model fidelity be used in the control design?

Approach

On the system identification side, we focus on Gaussian processes to model unknown systems. We use approaches from robust and adaptive control in the design and analysis of the controller to handle imprecision in the identified model. Since data-driven models are often of probabilistic nature, tools for stochastic differential equations are required. For the future, we are planning to apply stochastic optimal control and scenario-based model predictive control in this setting.

Key results

  • Different methods for the identification of systems which are a priori known to be stable have been developed.
  • A closed-loop identification of control-affine systems using Gaussian processes was proposed and applied in a feedback linearization setting. 
  • Developing of a GPR-based control law for Lagrangian systems which guarantees a bounded tracking error of the closed-loop system.
  • Stability properties of Gaussian Process State Space Models for different kernel functions.

Optimal Learning Control based on Gaussian Processes

Researcher: Armin Lederer

Motivation

Model predictive control is a modern control technique that has been applied to a wide variety of systems. Its success stems from its capability to explicitly handle constraints on states and control inputs as well as simple implementation of tracking control. However, it requires a precise model of the controlled system, which is often not available because of high system complexity or inherent system uncertainty. Gaussian processes offer a solution to this issue by allowing to learn system models from data of the system dynamics. Nevertheless, using learned models in model predictive control raises questions at the intersection between machine learning in control theory.

Research Questions

  • Can Gaussian processes be modified to allow on-line learning while providing theoretical learning error bounds?
  • Is it possible to guarantee stability of a system controlled by model predictive control if only samples of the system's dynamics are known?
  • How can model uncertainty be exploited for control as well as learning in closed-loop?
  • Do Gaussian processes exist which facilitate the design of optimal control?

Approach

For on-line learning we focus on local Gaussian processes and Gaussian processes with compactly supported kernels allowing exact inference. By combining these approaches with methods from computational geometry they can be implemented efficiently. On the control side we apply sampling based approaches for stability verification and parameter optimization of model predictive control. Furthermore, we develop robust control strategies tailored to the setting provided by Gaussian process models. In the future we plan to investigate the effect of on-line learning on closed-loop stability and to develop control schemes that allow optimal learning in closed-loop.

  • A. Lederer; Z. Yang; J. Jiao; S. Hirche: Cooperative Control of Uncertain Multi-Agent Systems via Distributed Gaussian Processes. IEEE Transactions on Automatic Control, 2022 mehr… BibTeX
  • A. Lederer; M. Zhang; S. Tesfazgi; S. Hirche: Networked Online Learning for Control of Safety-Critical Resource-Constrained Systems based on Gaussian Processes. Proceedings of the IEEE Conference on Control Technology and Applications, 2022 mehr… BibTeX
  • A. J. Ordóñez-Conejo; A. Lederer; S. Hirche: Adaptive Low-Pass Filtering using Sliding Window Gaussian Processes. Proceedings of the European Control Conference, 2022, 2234-2240 mehr… BibTeX
  • S. Curi; A. Lederer; S. Hirche; A. Krause: Safe Reinforcement Learning via Confidence-Based Filters. Proceedings of the IEEE Conference on Decision and Control, 2022 mehr… BibTeX
  • A. Capone; A. Lederer; S. Hirche: Gaussian Process Uniform Error Bounds with Unknown Hyperparameters for Safety-Critical Applications. Proceedings of the 39th International Conference on Machine Learning, 2022 mehr… BibTeX
  • A. Lederer; A. J. Ordóñez Conejo; K. Maier; W. Xiao; J. Umlauft; S. Hirche: Gaussian Process-Based Real-Time Learning for Safety Critical Applications. Proceedings of the 38th International Conference on Machine Learning (Proceedings of Machine Learning Research 139), 2021, 6055-6064 mehr… BibTeX
  • T. Beckers; L. Colombo; S. Hirche: Safe learning-based trajectory tracking for underactuated vehicles with partially unknown dynamics. IEEE Control Systems Letters (submitted), 2020 mehr… BibTeX
  • A. Lederer; A. Capone; J. Umlauft; S. Hirche: How Training Data Impacts Performance in Learning-based Control. IEEE Control Systems Letters 5 (3), 2020, 905-910 mehr… BibTeX
  • J. Umlauft; S. Hirche: Feedback Linearization based on Gaussian Processes with event-triggered Online Learning. IEEE Transactions on Automatic Control 65 (10), 2020, 4154-4169 mehr… BibTeX
  • T. Beckers; S. Hirche: Prediction with Gaussian Process Dynamical Models. IEEE Transactions on Automatic Control (submitted), 2020 mehr… BibTeX
  • J. Umlauft; S. Hirche: Learning Stochastically Stable Gaussian Process State-Space Models. IFAC Journal of Systems and Control 12, 2020 mehr… BibTeX
  • A. Capone; A. Lederer; J. Umlauft; S. Hirche: Data Selection for Multi-Task Learning Under Dynamic Constraints. IEEE Control Systems Letters 5 (3), 2020, 959-964 mehr… BibTeX
  • J. Yamauchi; T. Beckers; M. Omainska; T. Hatanaka; S. Hirche; M. Fujita: Visual Pursuit Control with Target Motion Learning via Gaussian Process. Proceedings of the Conference of the Society of Instrument and Control Engineers of Japan, 2020 mehr… BibTeX
  • A. Lederer; M. Kessler; S. Hirche: GP3: A Sampling-based Analysis Framework for Gaussian Processes. Proceedings of the 21st IFAC World Congress , 2020 mehr… BibTeX
  • W. Xiao; A. Lederer; S. Hirche: Learning Stable Nonparametric Dynamical Systems with Gaussian Process Regression. Proceedings of the 21st IFAC World Congress , 2020 mehr… BibTeX
  • A. Lederer; Q. Hao; S. Hirche: Confidence Regions for Simulations with Learned Probabilistic Models. Proceedings of the American Control Conference (ACC), 2020 mehr… BibTeX
  • A. Capone; G.Noske; J. Umlauft; T. Beckers; A. Lederer; S. Hirche: Localized active learning of Gaussian process state space models. Learning for Dynamics & Control, 2020 mehr… BibTeX
  • A. Lederer; A. Capone; S. Hirche: Parameter Optimization for Learning-based Control of Control-Affine Systems. Learning for Dynamics & Control, 2020 mehr… BibTeX
  • J. Umlauft; T. Beckers; A. Capone; A. Lederer; S. Hirche: Smart Forgetting for Safe Online Learning with Gaussian Processes. Learning for Dynamics & Control, 2020 mehr… BibTeX
  • A. Lederer; J. Umlauft; S. Hirche: Posterior Variance Analysis of Gaussian Processes with Application to Average Learning Curves. arXiv preprint: arXiv:1906.01404, 2019 mehr… BibTeX
  • T. Beckers; D. Kulić; S. Hirche: Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems. Automatica (103), 2019, 390-397 mehr… BibTeX
  • A. Capone; S. Hirche: Backstepping for Partially Unknown Nonlinear Systems Using Gaussian Processes. IEEE Control Systems Letters 3 (2), 2019, 416 - 421 mehr… BibTeX
  • A. Lederer; S. Hirche: Local Asymptotic Stability Analysis and Region of Attraction Estimation with Gaussian Processes. Proceedings of the 58th Conference on Decision and Control (CDC) , 2019 mehr… BibTeX
  • T. Beckers; S. Hirche: Keep soft robots soft - a data-driven based trade-off between feed-forward and feedback control. Workshop on Robust autonomy: tools for safety in real-world uncertain environments (RSS 2019), 2019 mehr… BibTeX
  • T. Beckers; S. Bansal, C.J. Tomlin; S. Hirche: Closed-loop Model Selection for Kernel-based Models Using Bayesian Optimization. Proceedings of the 58th Conference on Decision and Control (CDC), 2019 mehr… BibTeX
  • A. Lederer; J. Umlauft; S. Hirche: Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control. Conference on Neural Information Processing Systems (NeurIPS), 2019 mehr… BibTeX
  • J. Umlauft; L. Pöhler; S. Hirche: An Uncertainty-Based Control Lyapunov Approach for Control-Affine Systems Modeled by Gaussian Process. IEEE Control Systems Letters 2 (3), 2018, 483-488 mehr… BibTeX
  • J. Umlauft; T. Beckers; S. Hirche: A Scenario-based Optimal Control Approach for Gaussian Process State Space Models. Proceedings of the European Control Conference (ECC), 2018 mehr… BibTeX
  • T. Beckers; J. Umlauft; S. Hirche: Mean Square Prediction Error of Misspecified Gaussian Process Models. Proceedings of the 57th Conference on Decision and Control (CDC), 2018 mehr… BibTeX
  • T. Beckers; S. Hirche: Gaussian Process based Passivation of a Class of Nonlinear Systems with Unknown Dynamics. 2018 European Control Conference (ECC), IEEE, 2018 mehr… BibTeX
  • T. Beckers; J. Umlauft; S. Hirche: Stable Model-based Control with Gaussian Process Regression for Robot Manipulators. Proceedings of the 20th IFAC World Congress, 2017 mehr… BibTeX
  • J. Umlauft; T. Beckers; M. Kimmel; S. Hirche: Feedback Linearization using Gaussian Processes. Proceedings of the Conference on Decision and Control (CDC), IEEE, 2017 mehr… BibTeX
  • J. Umlauft; Y. Fanger; S. Hirche: Bayesian Uncertainty Modeling for Programming by Demonstration. International Conference on Robotics and Automation (ICRA), IEEE, 2017 mehr… BibTeX
  • J. Umlauft; A. Lederer; S. Hirche: Learning Stable Gaussian Process State Space Models. American Control Conference (ACC), IEEE, 2017 mehr… BibTeX
  • T. Beckers; J. Umlauft; D. Kulić; S. Hirche: Stable Gaussian Process based Tracking Control of Lagrangian Systems. Proceedings of the 56th Conference on Decision and Control (CDC), 2017 mehr… BibTeX
  • J. Umlauft; S. Hirche: Learning Stable Stochastic Nonlinear Dynamical Systems. International Conference on Machine Learning (ICML), 2017 mehr… BibTeX
  • T. Beckers; S. Hirche: Equilibrium distributions and stability analysis of Gaussian Process State Space Models. Proceedings of the 55th Conference on Decision and Control (CDC), 2016 mehr… BibTeX
  • T. Beckers; S. Hirche: Stability of Gaussian Process State Space Models. Proceedings of the European Control Conference (ECC), 2016 mehr… BibTeX

Learning and Control of Physical Systems with Lagrangian-Gaussian Processes

Researcher: Giulio Evangelisti

Motivation

Lagrangian systems comprise a large class of physical systems such as robots, aircrafts or marine vehicles. The application of Gaussian Processes (GPs) in learning-based control has the potential to significantly improve criteria such as performance and safety. However, in general GP regression does not account for key problems such as:

  • physical consistency, i.e., the fulfillment of the fundamental underlying physical properties,
  • the trade-off between physics-imposed symmetries and model flexibility,
  • reliable and robust applicability in the control of uncertain physical/passive systems,
  • computational efficiency and data-efficiency.

Approach

Our main approach is to construct & apply physically consistent data-driven models, so-called Lagrangian-Gaussian Processes, to identify complex nonlinear, high- or inifinite-dimensional, and coupled dynamics. We exploit energy components and the differential equation structure to consistently model these systems in an efficient manner. We account for inherent robustness in the learning as well as the control phases, and for physical intuition of the data-driven model, by making use of structurally preserving passivity-based control methods, minimally changing and exploiting the dynamics, instead of, e.g., canceling all nonlinearities to achieve linear dynamics.

Acknowledgment

This work is supported by the Consolidator Grant ”Safe data-driven control for human-centric systems” (CO-MAN) of the European Research Council (ERC) under grant agreement ID 864686.

  • G. Evangelisti; S. Hirche: Physically Consistent Learning of Conservative Lagrangian Systems with Gaussian Processes. 2022 IEEE 61st Conference on Decision and Control (CDC), IEEE, 2022 mehr… BibTeX

Safe Learning-Based Control for Systems with Latent States

Researcher: Robert Lefringhausen

Motivation

Learning-based methods are frequently used to model highly complex systems. Often not all time-varying quantities that influence the system behavior (so-called states) can be directly measured. Latent states complicate learning-based system identification since both the unknown dynamics and the internal states must be jointly estimated. Assessing the model uncertainty due to finite and noisy data is challenging for systems with latent states. The quantification of uncertainty is needed to provide formal robustness guarantees, which are crucial to apply the resulting algorithms in safety-critical domains, e.g., to control robots that operate close to humans. Therefore, our research aims to develop and analyze learning-based control approaches with safety guarantees for systems with latent states.

Research questions

  • How can the internal state and the dynamics of a system be jointly estimated?
  • How can the uncertainty be quantified and exploited for control?
  • Is it possible to guarantee the convergence of the estimation and the robustness and stability of the closed-loop system?

Approach

We focus on parametric approximations of Gaussian process models to describe the unknown dynamics. The uncertainty over the dynamics is expressed as uncertainty over the parameters. The distribution of the model parameters and the internal states is approximated by iterative sampling. Repeatedly, a state trajectory is sampled based on the current model, and afterward, the model is updated based on the trajectory (particle Gibbs sampling). The result are parameter samples that represent a distribution over models. Instead of a single model, we sample multiple models that can explain the observations. The models yield different outputs for a given input sequence that capture the uncertainty over a prediction (see figure).

Acknowledgment

This work is supported by the ONE Munich Strategy Forum Project “Next generation Human-Centered Robotics: Human embodiment and system agency in trustworthy AI for the Future of Health” (TU Munich, LMU Munich, and the Bavarian Ministry for Science and Art).