-
Leveraging Non-Steady-State Frequency-Domain Data in Willems' Fundamental Lemma
Authors:
T. J. Meijer,
M. Wind,
V. S. Dolk,
W. P. M. H. Heemels
Abstract:
Willems' fundamental lemma enables data-driven analysis and control by characterizing an unknown system's behavior directly in terms of measured data. In this work, we extend a recent frequency-domain variant of this result--previously limited to steady-state data--to incorporate non-steady-state data including transient phenomena. This approach eliminates the need to wait for transients to decay…
▽ More
Willems' fundamental lemma enables data-driven analysis and control by characterizing an unknown system's behavior directly in terms of measured data. In this work, we extend a recent frequency-domain variant of this result--previously limited to steady-state data--to incorporate non-steady-state data including transient phenomena. This approach eliminates the need to wait for transients to decay during data collection, significantly reducing the experiment duration. Unlike existing frequency-domain system identification methods, our approach integrates transient data without preprocessing, making it well-suited for direct data-driven analysis and control. We demonstrate its effectiveness by isolating transients in the collected data and performing FRF evaluation at arbitrary frequencies in a numerical case study including noise.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
From a Frequency-Domain Willems' Lemma to Data-Driven Predictive Control
Authors:
T. J. Meijer,
K. J. A. Scheres,
S. A. N. Nouwens,
V. S. Dolk,
W. P. M. H. Heemels
Abstract:
Willems' fundamental lemma has recently received an impressive amount of attention from the (data-driven) control community. In this paper, we formulate a version of this celebrated result based on frequency-domain data. In doing so, we bridge the gap between recent developments in data-driven analysis and control, and the readily-available techniques and extensive expertise for non-parametric fre…
▽ More
Willems' fundamental lemma has recently received an impressive amount of attention from the (data-driven) control community. In this paper, we formulate a version of this celebrated result based on frequency-domain data. In doing so, we bridge the gap between recent developments in data-driven analysis and control, and the readily-available techniques and extensive expertise for non-parametric frequency-domain identification in academia and industry. In addition, we generalize our results to allow multiple frequency-domain data sets to be carefully combined to form a sufficiently rich data set. Building on these results, we propose a data-driven predictive control scheme based on measured frequency-domain data of the plant. This novel scheme provides a frequency-domain counterpart of the well-known data-enabled predictive control scheme DeePC based on time-domain data. We prove that, under appropriate conditions, the new frequency-domain data-driven predictive control (FreePC) scheme is equivalent to the corresponding DeePC scheme, and we demonstrate the benefits of FreePC and the use of frequency-domain data in a numerical case study. These benefits include the ability to collect data in closed loop with a pre-stabilizing controller, dealing with noisy data, without increasing computational complexity, and intuitively visualizing the uncertainty in the frequency-domain data. In addition, we further showcase the potential of our frequency-domain Willems' fundamental lemma in applications to data-driven simulation, and the linear-quadratic regulator (LQR) problem. Finally, we show that our results can be used to evaluate the transfer function of the system at a desired frequency based on a finite amount of frequency-domain data.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Frequency-Domain Data-Driven Predictive Control
Authors:
T. J. Meijer,
S. A. N. Nouwens,
K. J. A. Scheres,
V. S. Dolk,
W. P. M. H. Heemels
Abstract:
In this paper, we propose a data-driven predictive control scheme based on measured frequency-domain data of the plant. This novel scheme complements the well-known data-driven predictive control (DeePC) approach based on time series data. To develop this new frequency-domain data-driven predictive control (FreePC) scheme, we introduce a novel version of Willems' fundamental lemma based on frequen…
▽ More
In this paper, we propose a data-driven predictive control scheme based on measured frequency-domain data of the plant. This novel scheme complements the well-known data-driven predictive control (DeePC) approach based on time series data. To develop this new frequency-domain data-driven predictive control (FreePC) scheme, we introduce a novel version of Willems' fundamental lemma based on frequency-domain data. By exploiting frequency-domain data, we allow recent direct data-driven (predictive) control methodologies to benefit from the available expertise and techniques for non-parametric frequency-domain identification in academia and industry. We prove that, under appropriate conditions, the new FreePC scheme is equivalent to the corresponding DeePC scheme. The strengths of FreePC are demonstrated in a numerical case study.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
A Frequency-Domain Version of Willems' Fundamental Lemma
Authors:
T. J. Meijer,
S. A. N. Nouwens,
V. S. Dolk,
W. P. M. H. Heemels
Abstract:
Willems' fundamental lemma has recently received an impressive amount of attention in the (data-driven) control community. In this paper, we formulate a frequency-domain equivalent of this lemma. In doing so, we bridge the gap between recent developments in data-driven analysis and control and the extensive knowledge on non-parametric frequency-domain identification that has accumulated, particula…
▽ More
Willems' fundamental lemma has recently received an impressive amount of attention in the (data-driven) control community. In this paper, we formulate a frequency-domain equivalent of this lemma. In doing so, we bridge the gap between recent developments in data-driven analysis and control and the extensive knowledge on non-parametric frequency-domain identification that has accumulated, particularly in industry, through decades of working with classical (frequency-domain) control and identification techniques. Our formulation also allows for the combination of multiple data sets in the sense that, in the data, multiple input directions may be excited at the same frequency. We also illustrate the usefulness of our results by demonstrating how they can be applied to perform frequency-domain-data-driven simulation.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
Authors:
T. J. Meijer,
V. S. Dolk,
W. P. M. H. Heemels
Abstract:
By computing Lyapunov functions of a certain, convenient structure, Lyapunov-based methods guarantee stability properties of the system or, when performing synthesis, of the relevant closed-loop or error dynamics. In doing so, they provide conclusive affirmative answers to many analysis and design questions in systems and control. When these methods fail to produce a feasible solution, however, th…
▽ More
By computing Lyapunov functions of a certain, convenient structure, Lyapunov-based methods guarantee stability properties of the system or, when performing synthesis, of the relevant closed-loop or error dynamics. In doing so, they provide conclusive affirmative answers to many analysis and design questions in systems and control. When these methods fail to produce a feasible solution, however, they often remain inconclusive due to (a) the method being conservative or (b) the fact that there may be multiple causes for infeasibility, such as ill-conditioning, solver tolerances or true infeasibility. To overcome this, we develop LMI-based theorems of alternatives based upon which we can guarantee, by computing a so-called certificate of nonexistence, that no poly-quadratic Lyapunov function exists for a given linear parameter-varying system. We extend these ideas to also certify the nonexistence of controllers and observers for which the corresponding closed-loop/error dynamics admit a poly-quadratic Lyapunov function. Finally, we illustrate our results in some numerical case studies.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
Efficient Lyapunov-Based Stabilizability and Detectability Tests: From LTI to LPV Systems
Authors:
T. J. Meijer,
V. S. Dolk,
W. P. M. H. Heemels
Abstract:
In this technical note, we generalize the well-known Lyapunov-based stabilizability and detectability tests for linear time-invariant (LTI) systems to the context of discrete-time (DT) polytopic linear parameter-varying (LPV) systems. To do so, we exploit the mathematical structure of the class of poly-quadratic Lyapunov functions, which enables us to formulate conditions in the form of linear mat…
▽ More
In this technical note, we generalize the well-known Lyapunov-based stabilizability and detectability tests for linear time-invariant (LTI) systems to the context of discrete-time (DT) polytopic linear parameter-varying (LPV) systems. To do so, we exploit the mathematical structure of the class of poly-quadratic Lyapunov functions, which enables us to formulate conditions in the form of linear matrix inequalities (LMIs). Our results differ from existing conditions in that we adopt weaker assumptions on the parameter dependence of the controllers/observers and our method does not require explicitly incorporating these gains, which renders the new conditions less computationally demanding. Interestingly, our results also have important implications for existing controller and observer synthesis techniques based on poly-QLFs. In fact, we show that existing observer synthesis results are stronger than was anticipated in the sense that they are necessary for a larger class of observers. Moreover, we also introduce new controller synthesis conditions and illustrate our results by means of a numerical case study.
△ Less
Submitted 19 March, 2023;
originally announced March 2023.
-
Distributed Periodic Event-triggered Control of Nonlinear Multi-Agent Systems
Authors:
Koen J. A. Scheres,
Victor S. Dolk,
Michelle S. Chong,
Romain Postoyan,
W. P. Maurice H. Heemels
Abstract:
We present a general emulation-based framework to address the distributed control of multi-agent systems over packet-based networks. We consider the setup where information is only transmitted at (non-uniform) sampling times and where packets are received with unknown delays. We design local dynamic periodic event-triggering mechanisms to generate the transmissions. The triggering mechanisms can r…
▽ More
We present a general emulation-based framework to address the distributed control of multi-agent systems over packet-based networks. We consider the setup where information is only transmitted at (non-uniform) sampling times and where packets are received with unknown delays. We design local dynamic periodic event-triggering mechanisms to generate the transmissions. The triggering mechanisms can run on non-synchronized digital platforms, i.e., we ensure that the conditions must only be verified at asynchronous sampling times, which may differ for each platform. Different stability and performance characteristics can be considered as we follow a general dissipativity-based approach. Moreover, Zeno-free properties are guaranteed by design. The results are illustrated on a consensus problem.
△ Less
Submitted 23 May, 2022; v1 submitted 13 February, 2022;
originally announced February 2022.