Showing 1–7 of 7 results for author: Dolk, V S

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.

Robust Observer Design for Polytopic Discrete-Time Nonlinear Descriptor Systems

Authors: T. J. Meijer, V. S. Dolk, M. S. Chong, W. P. M. H. Heemels

Abstract: This paper considers the design of robust state observers for a class of slope-restricted nonlinear descriptor systems with unknown time-varying parameters belonging to a known set. The proposed design accounts for process disturbances and measurement noise, while allowing for a trade-off between transient performance and sensitivity to noise and parameter mismatch. We exploit a polytopic structur… ▽ More This paper considers the design of robust state observers for a class of slope-restricted nonlinear descriptor systems with unknown time-varying parameters belonging to a known set. The proposed design accounts for process disturbances and measurement noise, while allowing for a trade-off between transient performance and sensitivity to noise and parameter mismatch. We exploit a polytopic structure of the system to derive linear-matrix-inequality-based synthesis conditions for robust parameter-dependent observers for the entire parameter set. In addition, we present (alternative) necessary and sufficient synthesis conditions for an important subclass within the considered class of systems and we show the effectiveness of the design for a numerical case study. △ Less

Submitted 9 July, 2022; originally announced July 2022.

Comments: This work has been submitted to Automatica for possible publication

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.

Comments: To appear in the proceedings of NecSys2022

Joint Parameter and State Estimation of Noisy Discrete-Time Nonlinear Systems: A Supervisory Multi-Observer Approach

Authors: T. J. Meijer, V. S. Dolk, M. S. Chong, R. Postoyan, B. de Jager, D. Nešić, W. P. M. H. Heemels

Abstract: This paper presents two schemes to jointly estimate parameters and states of discrete-time nonlinear systems in the presence of bounded disturbances and noise and where the parameters belong to a known compact set. The schemes are based on sampling the parameter space and designing a state observer for each sample. A supervisor selects one of these observers at each time instant to produce the par… ▽ More This paper presents two schemes to jointly estimate parameters and states of discrete-time nonlinear systems in the presence of bounded disturbances and noise and where the parameters belong to a known compact set. The schemes are based on sampling the parameter space and designing a state observer for each sample. A supervisor selects one of these observers at each time instant to produce the parameter and state estimates. In the first scheme, the parameter and state estimates are guaranteed to converge within a certain margin of their true values in finite time, assuming that a sufficiently large number of observers is used and a persistence of excitation condition is satisfied in addition to other observer design conditions. This convergence margin is constituted by a part that can be chosen arbitrarily small by the user and a part determined by the noise levels. The second scheme exploits the convergence properties of the parameter estimate to perform subsequent zoom-ins on the parameter subspace to achieve stricter margins for a given number of observers. The strengths of both schemes are demonstrated using a numerical example. △ Less

Submitted 30 September, 2021; v1 submitted 25 September, 2021; originally announced September 2021.

Comments: This paper has been accepted for publication at the 60th IEEE Conference on Decision and Control, 2021