arXiv subjects

Michael Hertneck

Publications and source records attributed to Michael Hertneck.

13 recordsLinked to original sources

arXiv2025

Current trends and future directions in event-based control

The defining characteristic of event-based control is that feedback loops are only closed when indicated by a triggering condition that takes recent information about the system into account. This stands in contrast to periodic control where the feedback loop is closed periodically. Benefits of event-based control arise when sampling comes at a cost, which occurs, e.g., for Networked Control Systems or in other setups with resource constraints. A rapidly growing number of publications deals with event-based control. Nevertheless, some fundamental questions about event-based control are still unsolved. In this article, we provide an overview of current research trends in event-based control. We focus on results that aim for a better understanding of effects that occur in feedback loops with event-based control. Based on this summary, we identify important open directions for future research.

eess.SY↗

arXiv2023

Self-triggered output feedback control for nonlinear networked control systems based on hybrid Lyapunov functions

Most approaches for self-triggered control (STC) of nonlinear networked control systems (NCS) require measurements of the full system state to determine transmission times. However, for most control systems only a lower dimensional output is available. To bridge this gap, we present in this paper an output-feedback STC approach for nonlinear NCS. An asymptotically stable observer is used to reconstruct the plant state and transmission times are determined based on the observer state. The approach employs hybrid Lyapunov functions and a dynamic variable to encode past state information and to maximize the time between transmissions. It is non-conservative in the sense that the assumptions on plant and controller are the same as for dynamic STC based on hybrid Lyapunov functions with full state measurements and any asymptotically stabilizing observer can be used. We conclude that the proposed STC approach guarantees asymptotic stability of the origin for the closed-loop system.

eess.SY↗

arXiv2022

Data-driven analysis and controller design for discrete-time systems under aperiodic sampling

This article is concerned with data-driven analysis of discrete-time systems under aperiodic sampling, and in particular with a data-driven estimation of the maximum sampling interval (MSI). The MSI is relevant for analysis of and controller design for cyber-physical, embedded and networked systems, since it gives a limit on the time span between sampling instants such that stability is guaranteed. We propose tools to compute the MSI for a given controller and to design a controller with a preferably large MSI, both directly from a finite-length, noise-corrupted state-input trajectory of the system. We follow two distinct approaches for stability analysis, one taking a robust control perspective and the other a switched systems perspective on the aperiodically sampled system. In a numerical example and a subsequent discussion, we demonstrate the efficacy of our developed tools and compare the two approaches.

eess.SY↗

arXiv2022

Dynamic self-triggered control for nonlinear systems with delays

Self-triggered control (STC) is a resource efficient approach to determine sampling instants for Networked Control Systems (NCS). Recently, a dynamic STC strategy based on hybrid Lyapunov functions for nonlinear NCS has been proposed in Hertneck and Allgöwer (2021b), however with the limitation to NCS without transmission delays. In this paper, we extend this strategy for nonlinear NCS with transmission delays. The capability to handle systems with delays makes it possible to use the resulting dynamic STC mechanism in many practical scenarios where instant transmissions without delays cannot be guaranteed. The proposed dynamic STC mechanism guarantees stability despite bounded transmission delays. The effectiveness of the mechanism is illustrated with a numerical example and compared to state-of-the art literature.

eess.SY↗

arXiv2022

Multi-party computation enables secure polynomial control based solely on secret-sharing

Encrypted control systems allow to evaluate feedback laws on external servers without revealing private information about state and input data, the control law, or the plant. While there are a number of encrypted control schemes available for linear feedback laws, only few results exist for the evaluation of more general control laws. Recently, an approach to encrypted polynomial control was presented, relying on two-party secret sharing and an inter-server communication protocol using homomorphic encryption. As homomorphic encryptions are much more computationally demanding than secret sharing, they make up for a tremendous amount of the overall computational demand of this scheme. For this reason, in this paper, we demonstrate that multi-party computation enables secure polynomial control based solely on secret sharing. We introduce a novel secure three-party control scheme based on three-party computation. Further, we propose a novel $n$-party control scheme to securely evaluate polynomial feedback laws of arbitrary degree without inter-server communication. The latter property makes it easier to realize the necessary requirement regarding non-collusion of the servers, with which perfect security can be guaranteed. Simulations suggest that the presented control schemes are many times less computationally demanding than the two-party scheme mentioned above.

eess.SY↗

arXiv2021

Robust dynamic self-triggered control for nonlinear systems using hybrid Lyapunov functions

Self-triggered control (STC) is a resource efficient approach to determine sampling instants for Networked Control Systems. At each sampling instant, an STC mechanism determines not only the control inputs but also the next sampling instant. In this article, an STC framework for perturbed nonlinear systems is proposed. In the framework, a dynamic variable is used in addition to current state information to determine the next sampling instant, rendering the STC mechanism dynamic. Using dynamic variables has proven to be powerful for increasing sampling intervals for the closely related concept of event-triggered control, but has so far not been exploited for STC. Two variants of the dynamic STC framework are presented. The first variant can be used without further knowledge on the disturbance and leads to guarantees on input-to-state stability. The second variant exploits a known disturbance bound to determine sampling instants and guarantees asymptotic stability of a set containing the origin. In both cases, hybrid Lyapunov function techniques are used to derive the respective stability guarantees. Different choices for the dynamics of the dynamic variable, that lead to different particular STC mechanisms, are presented for both variants of the framework. The resulting dynamic STC mechanisms are illustrated with two numerical examples to emphasize their benefits in comparison to existing static STC approaches.

eess.SY↗

arXiv2021

Dynamic self-triggered control for nonlinear systems based on hybrid Lyapunov functions

Self-triggered control (STC) is a well-established technique to reduce the amount of samples for sampled-data systems, and is hence particularly useful for Networked Control Systems. At each sampling instant, an STC mechanism determines not only an updated control input but also when the next sample should be taken. In this paper, a dynamic STC mechanism for nonlinear systems is proposed. The mechanism incorporates a dynamic variable for determining the next sampling instant. Such a dynamic variable for the trigger decision has been proven to be a powerful tool for increasing sampling intervals in the closely related concept of event-triggered control, but was so far not exploited for STC. This gap is closed in this paper. For the proposed mechanism, the dynamic variable is chosen to be the filtered values of the Lyapunov function at past sampling instants. The next sampling instant is, based on the dynamic variable and on hybrid Lyapunov function techniques, chosen such that an average decrease of the Lyapunov function is ensured. The proposed mechanism is illustrated with a numerical example from the literature. For this example, the obtained sampling intervals are significantly larger than for existing static STC mechanisms. This paper is the accepted version of [1], containing also proofs of the main results.

eess.SY↗

arXiv2021

A Simple Approach to Increase the Maximum Allowable Transmission Interval

When designing Networked Control Systems (NCS), the maximum allowable transmission interval (MATI) is an important quantity, as it provides the admissible time between two transmission instants. An efficient procedure to compute a bound on the MATI such that stability can be guaranteed for general nonlinear NCS is the emulation of a continuous-time controller. In this paper, we present a simple but efficient modification to the well-established emulation-based approach from Carnevale et al. (2007) to derive a bound on the MATI. Whilst only minor technical changes are required, the proposed modification can lead to significant improvements for the MATI bound as compared to Carnevale et al. (2007). We revisit two numerical examples from literature and demonstrate that the improvement may amount to more than 100%.

eess.SY↗

arXiv2021

Data-driven analysis and control of continuous-time systems under aperiodic sampling

We investigate stability analysis and controller design of unknown continuous-time systems under state-feedback with aperiodic sampling, using only noisy data but no model knowledge. We first derive a novel data-dependent parametrization of all linear time-invariant continuous-time systems which are consistent with the measured data and the assumed noise bound. Based on this parametrization and by combining tools from robust control theory and the time-delay approach to sampled-data control, we compute lower bounds on the maximum sampling interval (MSI) for closed-loop stability under a given state-feedback gain, and beyond that, we design controllers which exhibit a possibly large MSI. Our methods guarantee the stability properties robustly for all systems consistent with the measured data. As a technical contribution, the proposed approach embeds existing methods for sampled-data control into a general robust control framework, which can be directly extended to model-based robust controller design for uncertain time-delay systems under general uncertainty descriptions.

math.OC↗

arXiv2020

Stability Analysis for Nonlinear Weakly Hard Real-Time Control Systems

This paper considers the stability analysis for nonlinear sampled-data systems with failures in the feedback loop. The failures are caused by shared resources, and modeled by a weakly hard real-time (WHRT) dropout description. The WHRT dropout description restricts the considered dropout sequences with a non-probabilistic, window based constraint, that originates from schedulability analysis. The proposed approach is based on the emulation of a controller for the nonlinear sampled-data system from a continuous-time feedback. The emulation technique is extended and combined with non-monotonic Lyapunov functions and a graph description for the WHRT constraints to guarantee asymptotic stability. The effectiveness of the proposed approach is illustrated with a numerical example from literature. This paper is the accepted version of Hertneck et al. (2020), containing also proofs of the main results.

eess.SY↗

arXiv2020

Model-Based Nonlinear Periodic Event-Triggered Control for Continuous-Time Systems with Sampled-Data Prediction

In this paper, we present a model-based periodic event-triggered control mechanism for nonlinear continuous-time Networked Control Systems. A sampled-data prediction of the system behavior is used at the actuator to reduce the amount of required communication while maintaining a user-defined performance level. This prediction is based on a possibly inaccurate discretization of the nonlinear system dynamics and can be implemented on simple hardware. Nevertheless, guarantees for asymptotic stability and a user-defined performance level are given for the periodic event-triggered control (PETC) mechanism, whilst the reduction of the required amount of transmissions of state information depends on the quality of the prediction. We discuss furthermore how the prediction can be implemented. The performance of the proposed PETC mechanism is illustrated with a numerical example. This paper is the accepted version of [1], containing also the proofs of the main results.

eess.SY↗

arXiv2019

Nonlinear Dynamic Periodic Event-Triggered Control with Robustness to Packet Loss Based on Non-Monotonic Lyapunov Functions

This paper considers the stabilization of nonlinear continuous-time dynamical systems employing periodic event-triggered control (PETC). Assuming knowledge of a stabilizing feedback law for the continuous-time system with a certain convergence rate, a dynamic, state dependent PETC mechanism is designed. The proposed mechanism guarantees on average the same worst case convergence behavior except for tunable deviations. Furthermore, a new approach to determine the sampling period for the proposed PETC mechanism is presented. This approach as well as the actual trigger rule exploit the theory of non-monotonic Lyapunov functions. An additional feature of the proposed PETC mechanism is the possibility to integrate knowledge about packet losses in the PETC design. The proposed PETC mechanism is illustrated with a nonlinear numerical example from literature. This paper is the accepted version of [1], containing also the proofs of the main results.

eess.SY↗

arXiv2018

Learning an Approximate Model Predictive Controller with Guarantees

A supervised learning framework is proposed to approximate a model predictive controller (MPC) with reduced computational complexity and guarantees on stability and constraint satisfaction. The framework can be used for a wide class of nonlinear systems. Any standard supervised learning technique (e.g. neural networks) can be employed to approximate the MPC from samples. In order to obtain closed-loop guarantees for the learned MPC, a robust MPC design is combined with statistical learning bounds. The MPC design ensures robustness to inaccurate inputs within given bounds, and Hoeffding's Inequality is used to validate that the learned MPC satisfies these bounds with high confidence. The result is a closed-loop statistical guarantee on stability and constraint satisfaction for the learned MPC. The proposed learning-based MPC framework is illustrated on a nonlinear benchmark problem, for which we learn a neural network controller with guarantees.

eess.SY↗