arXiv subjects

Roland Tóth

Publications and source records attributed to Roland Tóth.

At least 91 records · Page 5Linked to original sources

arXiv2023

Backflipping with Miniature Quadcopters by Gaussian Process Based Control and Planning

The paper proposes two control methods for performing a backflip maneuver with miniature quadcopters. First, an existing feedforward control approach is improved by finding the optimal sequence of motion primitives via Bayesian optimization, using a surrogate Gaussian Process model. To evaluate the cost function, the flip maneuver is performed repeatedly in a simulation environment. The second method is based on closed-loop control and it consists of two main steps: first a novel robust, adaptive controller is designed to provide reliable reference tracking even in case of model uncertainties. The controller is constructed by augmenting the nominal model of the drone with a Gaussian Process that is trained by using measurement data. Second, an efficient trajectory planning algorithm is proposed, which designs feasible trajectories for the flip maneuver by using only quadratic programming. The two approaches are analyzed in simulations and in real experiments using Bitcraze Crazyflie 2.1 quadcopters.

eess.SY↗

arXiv2023

Nonlinear Tracking and Rejection using Linear Parameter-Varying Control

The Linear Parameter-Varying (LPV) framework has been introduced with the intention to provide stability and performance guarantees for analysis and controller synthesis for Nonlinear (NL) systems via convex methods. By extending results of the Linear Time-Invariant framework, mainly based on quadratic stability and performance using dissipativity theory, it has been assumed that they generalize tracking and disturbance rejection guarantees for NL systems. However, as has been shown in literature, stability and performance through standard dissipativity is not sufficient in order to satisfy the desired guarantees in case of reference tracking and disturbance rejection for nonlinear systems. We propose to solve this problem by the application of incremental dissipativity, which does ensure these specifications. A novel approach is proposed to synthesize and realize an NL controller which is able to guarantee incremental stability and performance for NL systems via convex optimization using methods from the LPV framework. Through simulations and experiments, the presented method is compared to standard LPV controller designs, showing significant performance improvements.

eess.SY↗

arXiv2023

Continuous-time identification of dynamic state-space models by deep subspace encoding

Continuous-time (CT) modeling has proven to provide improved sample efficiency and interpretability in learning the dynamical behavior of physical systems compared to discrete-time (DT) models. However, even with numerous recent developments, the CT nonlinear state-space (NL-SS) model identification problem remains to be solved in full, considering common experimental aspects such as the presence of external inputs, measurement noise, latent states, and general robustness. This paper presents a novel estimation method that addresses all these aspects and that can obtain state-of-the-art results on multiple benchmarks with compact fully connected neural networks capturing the CT dynamics. The proposed estimation method called the subspace encoder approach (SUBNET) ascertains these results by efficiently approximating the complete simulation loss by evaluating short simulations on subsections of the data, by using an encoder function to estimate the initial state for each subsection and a novel state-derivative normalization to ensure stability and good numerical conditioning of the training process. We prove that the use of subsections increases cost function smoothness together with the necessary requirements for the existence of the encoder function and we show that the proposed state-derivative normalization is essential for reliable estimation of CT NL-SS models.

cs.LG↗

arXiv2023

Finite Dimensional Koopman Form of Polynomial Nonlinear Systems

The Koopman framework is a popular approach to transform a finite dimensional nonlinear system into an infinite dimensional, but linear model through a lifting process, using so-called observable functions. While there is an extensive theory on infinite dimensional representations in the operator sense, there are few constructive results on how to select the observables to realize them. When it comes to the possibility of finite Koopman representations, which are highly important form a practical point of view, there is no constructive theory. Hence, in practice, often a data-based method and ad-hoc choice of the observable functions is used. When truncating to a finite number of basis, there is also no clear indication of the introduced approximation error. In this paper, we propose a systematic method to compute the finite dimensional Koopman embedding of a specific class of polynomial nonlinear systems in continuous-time such that, the embedding, without approximation, can fully represent the dynamics of the nonlinear system.

eess.SY↗

arXiv2022

Convex Incremental Dissipativity Analysis of Nonlinear Systems - Extended version

Efficiently computable stability and performance analysis of nonlinear systems becomes increasingly more important in practical applications. Dissipativity can express stability and performance jointly, but existing results are limited to the regions around the equilibrium points of these nonlinear systems. The incremental framework, based on the convergence of the system trajectories, removes this limitation. We investigate how stability and performance characterizations of nonlinear systems in the incremental framework are linked to dissipativity, and how general performance characterization beyond the $\mathcal{L}_2$-gain concept can be understood in this framework. This paper presents a matrix inequalities-based convex incremental dissipativity analysis for nonlinear systems via quadratic storage and supply functions. The proposed dissipativity analysis links the notions of incremental, differential, and general dissipativity. We show that through differential dissipativity, incremental and general dissipativity of the nonlinear system can be guaranteed. These results also lead to the incremental extensions of the $\mathcal{L}_2$-gain, the generalized $\mathcal{H}_2$-norm, the $\mathcal{L}_\infty$-gain, and passivity of nonlinear systems.

eess.SY↗

arXiv2022

Learning For Predictive Control: A Dual Gaussian Process Approach

An important issue in model-based control design is that an accurate dynamic model of the system is generally nonlinear, complex, and costly to obtain. This limits achievable control performance in practice. Gaussian process (GP) based estimation of system models is an effective tool to learn unknown dynamics directly from input/output data. However, conventional GP-based control methods often ignore the computational cost associated with accumulating data during the operation of the system and how to handle forgetting in continuous adaption. In this paper, we present a novel Dual Gaussian Process (DGP) based model predictive control (MPC) strategy that enables efficient use of online learning based predictive control without the danger of catastrophic forgetting. The bio-inspired DGP structure is a combination of a long-term GP and a short-term GP, where the long-term GP is used to keep the learned knowledge in memory and the short-term GP is employed to rapidly compensate unknown dynamics during online operation. Furthermore, a novel recursive online update strategy for the short-term GP is proposed to successively improve the learnt model during online operation. Effectiveness of the proposed strategy is demonstrated via numerical simulations.

eess.SY↗

arXiv2022

On modal observers for beyond rigid body $H_\infty$ control in high-precision mechatronics

The ever increasing need for performance results in increasingly rigorous demands on throughput and positioning accuracy of high-precision motion systems, which often suffer from position dependent effects that originate from relative actuation and sensing of the moving-body. Due to the highly stiff mechanical design, such systems are typically controlled using rigid body control design approaches. Nonetheless, the presence of position dependent flexible dynamics severely limits attainable position tracking performance. This paper presents two extensions of the conventional rigid body control framework towards active control of position dependent flexible dynamics. Additionally, a novel control design approach is presented, which allows for shaping of the full closed-loop system by means of structured $H_\infty$ co-design. The effectiveness of the approach is validated through simulation using a high-fidelity model of a state-of-the-art moving-magnet planar actuator.

eess.SY↗

arXiv2022

LPV Modeling of the Atmospheric Flight Dynamics of a Generic Parafoil Return Vehicle

Obtaining models that can be used for control is of utmost importance to ensure the guidance and navigation of spacecraft, like a Generic Parafoil Return Vehicle (GPRV). In this paper, we convert a nonlinear model of the atmospheric flight dynamics of an GPRV to a Linear Parameter-Varying (LPV) description, such that the LPV model is suitable for navigation control design. Automated conversion methods for nonlinear models can result in complex LPV representation, which are not suitable for controller synthesis. We apply several state-of-the-art techniques, including learning based approaches, to optimize the complexity and conservatism of the LPV embedding for an GPRV. The results show that we can obtain an LPV embedding that approximates the complex nonlinear dynamics sufficiently well, where the balance between complexity, conservatism and model performance is optimal.

eess.SY↗

arXiv2022

LPV sequential loop closing for high-precision motion systems

Increasingly stringent throughput requirements in the industry necessitate the need for lightweight design of high-precision motion systems to allow for high accelerations, while still achieving accurate positioning of the moving-body. The presence of position dependent dynamics in such motion systems severely limits achievable position tracking performance using conventional sequential loop closing (SLC) control design strategies. This paper presents a novel extension of the conventional SLC design framework towards linear-parameter-varying systems, which allows to circumvent limitations that are introduced by position dependent effects in high-precision motion systems. Advantages of the proposed control design approach are demonstrated in simulation using a high-fidelity model of a moving-magnet planar actuator system, which exhibits position dependency in both actuation and sensing.

eess.SY↗

arXiv2022

On discretization of continuous-time LPV control solutions

In recent years, the Linear Parameter-Varying (LPV) framework has become increasingly useful for analysis and control of time-varying systems. Generally, LPV control synthesis is performed in the continuous-time (CT) domain due to significantly more intuitive performance shaping methods in CT. However, the main complication of CT synthesis approaches is the successive implementation of the resulting CT control solutions on physical hardware. In the literature, several discretization methods have been developed for LPV systems. However, most of these approaches necessitate heavy nonlinear operations introduced by the discretization of these time-varying matrices or can introduce significant approximation error, thereby severely limiting implementation capabilities of CT LPV control solutions. Alternatively, the $w'$ discretization approach has been introduced in the LTI case to allow for preservation of the CT control. Based on these observations, this paper aims at extending the $w'$ discretization approach to LPV systems, such that implementation of CT LPV control solutions on physical hardware is simplified.

eess.SY↗

arXiv2022

Data-Driven Predictive Control for Linear Parameter-Varying Systems

Based on the extension of the behavioral theory and the Fundamental Lemma for Linear Parameter-Varying (LPV) systems, this paper introduces a Data-driven Predictive Control (DPC) scheme capable to ensure reference tracking and satisfaction of Input-Output (IO) constraints for an unknown system under the conditions that (i) the system can be represented in an LPV form and (ii) an informative data-set containing measured IO and scheduling trajectories of the system is available. It is shown that if the data set satisfies a persistence of excitation condition, then a data-driven LPV predictor of future trajectories of the system can be constructed from the IO data set and online measured data. The approach represents the first step towards a DPC solution for nonlinear and time-varying systems due to the potential of the LPV framework to represent them. Two illustrative examples, including reference tracking control of a nonlinear system, are provided to demonstrate that the data-based LPV-DPC scheme, achieves similar performance as LPV model-based predictive control.

eess.SY↗

arXiv2022

Fundamental Lemma for Data-Driven Analysis of Linear Parameter-Varying Systems

Based on the Fundamental Lemma by Willems et al., the entire behaviour of a Linear Time-Invariant (LTI) system can be characterised by a single data sequence of the system as long the input is persistently exciting. This is an essential result for data-driven analysis and control. In this work, we aim to generalise this LTI result to Linear Parameter-Varying (LPV) systems. Based on the behavioural framework for LPV systems, we prove that one can obtain a result similar to Willems'. Based on an LPV representation, i.e., embedding, of nonlinear systems, this allows the application of the Fundamental Lemma for systems beyond the linear class.

eess.SY↗

arXiv2021

Learning Based Model Predictive Control for Quadcopters with Dual Gaussian Process

An important issue in quadcopter control is that an accurate dynamic model of the system is nonlinear, complex, and costly to obtain. This limits achievable control performance in practice. Gaussian process (GP) based estimation is an effective tool to learn unknown dynamics from input/output data. However, conventional GP-based control methods often ignore the computational cost associated with accumulating data during the operation of the system and how to handle forgetting in continuous adaption. In this paper, we present a novel Dual Gaussian Process (DGP) based model predictive control strategy that improves the performance of a quadcopter during trajectory tracking. The bio-inspired DGP structure is a combination of a long-term GP and a short-term GP, where the long-term GP is used to keep the learned knowledge in memory and the short-term GP is employed to rapidly compensate unknown dynamics during online operation. Furthermore, a novel recursive online update strategy for the short-term GP is proposed to successively improve the learnt model during online operation in an efficient way. Numerical simulations are used to demonstrate the effectiveness of the proposed strategy.

eess.SY↗

arXiv2021

Deep Identification of Nonlinear Systems in Koopman Form

The present paper treats the identification of nonlinear dynamical systems using Koopman-based deep state-space encoders. Through this method, the usual drawback of needing to choose a dictionary of lifting functions a priori is circumvented. The encoder represents the lifting function to the space where the dynamics are linearly propagated using the Koopman operator. An input-affine formulation is considered for the lifted model structure and we address both full and partial state availability. The approach is implemented using the the deepSI toolbox in Python. To lower the computational need of the simulation error-based training, the data is split into subsections where multi-step prediction errors are calculated independently. This formulation allows for efficient batch optimization of the network parameters and, at the same time, excellent long term prediction capabilities of the obtained models. The performance of the approach is illustrated by nonlinear benchmark examples.

eess.SY↗

arXiv2021

Incremental Dissipativity based Control of Discrete-Time Nonlinear Systems via the LPV Framework

Unlike for Linear Time-Invariant (LTI) systems, for nonlinear systems, there exists no general framework for systematic convex controller design which incorporates performance shaping. The Linear Parameter-Varying (LPV) framework sought to bridge this gap by extending convex LTI synthesis results such that they could be applied to nonlinear systems. However, recent literature has shown that naive application of the LPV framework can fail to guarantee the desired asymptotic stability guarantees for nonlinear systems. Incremental dissipativity theory has been successfully used in the literature to overcome these issues for Continuous-Time (CT) systems. However, so far no solution has been proposed for output-feedback based incremental control for the Discrete-Time (DT) case. Using recent results on convex analysis of incremental dissipativity for DT nonlinear systems, in this paper, we propose a convex output-feedback controller synthesis method to ensure closed-loop incremental dissipativity of DT nonlinear systems via the LPV framework. The proposed method is applied on a simulation example, demonstrating improved stability and performance properties compared to a standard LPV controller design.

eess.SY↗

arXiv2021

Frequency Response Data Based LPV Controller Synthesis Applied to a Control Moment Gyroscope

Control of systems with operating condition-dependent dynamics, including control moment gyroscopes, often requires operating condition-dependent controllers to achieve high control performance. The aim of this paper is to develop a frequency response data-driven linear parameter-varying control design approach for single-input single-output systems, which allows improved performance for a control moment gyroscope. A stability theory using closed-loop frequency response function data is developed, which is subsequently used in a synthesis procedure that guarantees local stability and performance. Experimental results on a control moment gyroscope demonstrate the performance improvements.

eess.SY↗

arXiv2021

Frequency-Domain Data-Driven Controller Synthesis for Unstable LPV Systems

Synthesizing controllers directly from frequency-domain measurement data is a powerful tool in the linear time-invariant framework. Ever-increasing performance requirements necessitate extending these approaches to account for plant variations. The aim of this paper is to develop frequency-domain analysis and synthesis conditions for local internal stability and $\mathcal{H}_\infty$-performance of single-input single-output linear parameter-varying systems. The developed synthesis procedure only requires frequency-domain measurement data of the system and does not need a parametric model of the plant. The capabilities of the synthesis procedure are demonstrated on an unstable nonlinear system.

eess.SY↗

arXiv2021

Incremental Stability and Performance Analysis of Discrete-Time Nonlinear Systems using the LPV Framework

The dissipativity framework is widely used to analyze stability and performance of nonlinear systems. By embedding nonlinear systems in an LPV representation, the convex tools of the LPV framework can be applied to nonlinear systems for convex dissipativity based analysis and controller synthesis. However, as has been shown recently in literature, naive application of these tools to nonlinear systems for analysis and controller synthesis can fail to provide the desired guarantees. Namely, only performance and stability with respect to the origin is guaranteed. In this paper, inspired by the results for continuous-time nonlinear systems, the notion of incremental dissipativity for discrete-time nonlinear systems is proposed, whereby stability and performance analysis is done between trajectories. Furthermore, it is shown how, through the use of the LPV framework, convex conditions can be obtained for incremental dissipativity analysis of discrete-time nonlinear systems. The developed concepts and tools are demonstrated by analyzing incremental dissipativity of a controlled unbalanced disk system.

eess.SY↗