-
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.
-
Characterization and Mitigation of Insufficiencies in Automated Driving Systems
Authors:
Yuting Fu,
Jochen Seemann,
Caspar Hanselaar,
Tim Beurskens,
Andrei Terechko,
Emilia Silvas,
Maurice Heemels
Abstract:
Automated Driving (AD) systems have the potential to increase safety, comfort and energy efficiency. Recently, major automotive companies have started testing and validating AD systems (ADS) on public roads. Nevertheless, the commercial deployment and wide adoption of ADS have been moderate, partially due to system functional insufficiencies (FI) that undermine passenger safety and lead to hazardo…
▽ More
Automated Driving (AD) systems have the potential to increase safety, comfort and energy efficiency. Recently, major automotive companies have started testing and validating AD systems (ADS) on public roads. Nevertheless, the commercial deployment and wide adoption of ADS have been moderate, partially due to system functional insufficiencies (FI) that undermine passenger safety and lead to hazardous situations on the road. FIs are defined in ISO 21448 Safety Of The Intended Functionality (SOTIF). FIs are insufficiencies in sensors, actuators and algorithm implementations, including neural networks and probabilistic calculations. Examples of FIs in ADS include inaccurate ego-vehicle localization on the road, incorrect prediction of a cyclist maneuver, unreliable detection of a pedestrian, etc.
The main goal of our study is to formulate a generic architectural design pattern, which is compatible with existing methods and ADS, to improve FI mitigation and enable faster commercial deployment of ADS. First, we studied the 2021 autonomous vehicles disengagement reports published by the California Department of Motor Vehicles (DMV). The data clearly show that disengagements are five times more often caused by FIs rather than by system faults. We then made a comprehensive list of insufficiencies and their characteristics by analyzing over 10 hours of publicly available road test videos. In particular, we identified insufficiency types in four major categories: world model, motion plan, traffic rule, and operational design domain. The insufficiency characterization helps making the SOTIF analyses of triggering conditions more systematic and comprehensive.
Based on our FI characterization, simulation experiments and literature survey, we define a novel generic architectural design pattern Daruma to dynamically select the channel that is least likely to have a FI at the moment.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Predictable Interval MDPs through Entropy Regularization
Authors:
Menno van Zutphen,
Giannis Delimpaltadakis,
Maurice Heemels,
Duarte Antunes
Abstract:
Regularization of control policies using entropy can be instrumental in adjusting predictability of real-world systems. Applications benefiting from such approaches range from, e.g., cybersecurity, which aims at maximal unpredictability, to human-robot interaction, where predictable behavior is highly desirable. In this paper, we consider entropy regularization for interval Markov decision process…
▽ More
Regularization of control policies using entropy can be instrumental in adjusting predictability of real-world systems. Applications benefiting from such approaches range from, e.g., cybersecurity, which aims at maximal unpredictability, to human-robot interaction, where predictable behavior is highly desirable. In this paper, we consider entropy regularization for interval Markov decision processes (IMDPs). IMDPs are uncertain MDPs, where transition probabilities are only known to belong to intervals. Lately, IMDPs have gained significant popularity in the context of abstracting stochastic systems for control design. In this work, we address robust minimization of the linear combination of entropy and a standard cumulative cost in IMDPs, thereby establishing a trade-off between optimality and predictability. We show that optimal deterministic policies exist, and devise a value-iteration algorithm to compute them. The algorithm solves a number of convex programs at each step. Finally, through an illustrative example we show the benefits of penalizing entropy in IMDPs.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
A Unified Non-Strict Finsler Lemma
Authors:
T. J. Meijer,
K. J. A. Scheres,
S. van den Eijnden,
T. Holicki,
C. W. Scherer,
W. P. M. H. Heemels
Abstract:
In this paper, we present a unified general non-strict Finsler lemma. This result is general in the sense that it does not impose any restrictions on the involved matrices and, thereby, it encompasses all existing non-strict versions of Finsler's lemma that do impose such restrictions. To further illustrate its usefulness, we showcase applications of the non-strict Finsler's lemma in deriving a st…
▽ More
In this paper, we present a unified general non-strict Finsler lemma. This result is general in the sense that it does not impose any restrictions on the involved matrices and, thereby, it encompasses all existing non-strict versions of Finsler's lemma that do impose such restrictions. To further illustrate its usefulness, we showcase applications of the non-strict Finsler's lemma in deriving a structured solution to a special case of the non-strict projection lemma, and we use the unified non-strict Finsler's lemma to prove a more general version of the matrix Finsler's lemma.
△ Less
Submitted 18 June, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Fair Artificial Currency Incentives in Repeated Weighted Congestion Games: Equity vs. Equality
Authors:
Leonardo Pedroso,
Andrea Agazzi,
W. P. M. H. Heemels,
Mauro Salazar
Abstract:
When users access shared resources in a selfish manner, the resulting societal cost and perceived users' cost is often higher than what would result from a centrally coordinated optimal allocation. While several contributions in mechanism design manage to steer the aggregate users choices to the desired optimum by using monetary tolls, such approaches bear the inherent drawback of discriminating a…
▽ More
When users access shared resources in a selfish manner, the resulting societal cost and perceived users' cost is often higher than what would result from a centrally coordinated optimal allocation. While several contributions in mechanism design manage to steer the aggregate users choices to the desired optimum by using monetary tolls, such approaches bear the inherent drawback of discriminating against users with a lower income. More recently, incentive schemes based on artificial currencies have been studied with the goal of achieving a system-optimal resource allocation that is also fair. In this resource-sharing context, this paper focuses on repeated weighted congestion game with two resources, where users contribute to the congestion to different extents that are captured by individual weights. First, we address the broad concept of fairness by providing a rigorous mathematical characterization of the distinct societal metrics of equity and equality, i.e., the concepts of providing equal outcomes and equal opportunities, respectively. Second, we devise weight-dependent and time-invariant optimal pricing policies to maximize equity and equality, and prove convergence of the aggregate user choices to the system-optimum. In our framework it is always possible to achieve system-optimal allocations with perfect equity, while the maximum equality that can be reached may not be perfect, which is also shown via numerical simulations.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Continuous Approximations of Projected Dynamical Systems via Control Barrier Functions
Authors:
Giannis Delimpaltadakis,
Jorge Cortés,
W. P. M. H. Heemels
Abstract:
Projected Dynamical Systems (PDSs) form a class of discontinuous constrained dynamical systems, and have been used widely to solve optimization problems and variational inequalities. Recently, they have also gained significant attention for control purposes, such as high-performance integrators, saturated control and feedback optimization. In this work, we establish that locally Lipschitz continuo…
▽ More
Projected Dynamical Systems (PDSs) form a class of discontinuous constrained dynamical systems, and have been used widely to solve optimization problems and variational inequalities. Recently, they have also gained significant attention for control purposes, such as high-performance integrators, saturated control and feedback optimization. In this work, we establish that locally Lipschitz continuous dynamics, involving Control Barrier Functions (CBFs), namely CBF-based dynamics, approximate PDSs. Specifically, we prove that trajectories of CBF-based dynamics uniformly converge to trajectories of PDSs, as a CBF-parameter is taken to infinity. Towards this, we also prove that CBF-based dynamics are perturbations of PDSs, with quantitative bounds on the perturbation. Our results pave the way to implement discontinuous PDS-based controllers in a continuous fashion, employing CBFs. Moreover, they can be employed to numerically simulate PDSs, overcoming disadvantages of existing discretization schemes, such as computing projections to possibly non-convex sets. Finally, this bridge between CBFs and PDSs may yield other potential benefits, including novel insights on stability.
△ Less
Submitted 8 March, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
Learning the cost-to-go for mixed-integer nonlinear model predictive control
Authors:
Christopher A. Orrico,
W. P. M. H. Heemels,
Dinesh Krishnamoorthy
Abstract:
Application of nonlinear model predictive control (NMPC) to problems with hybrid dynamical systems, disjoint constraints, or discrete controls often results in mixed-integer formulations with both continuous and discrete decision variables. However, solving mixed-integer nonlinear programming problems (MINLP) in real-time is challenging, which can be a limiting factor in many applications. To addr…
▽ More
Application of nonlinear model predictive control (NMPC) to problems with hybrid dynamical systems, disjoint constraints, or discrete controls often results in mixed-integer formulations with both continuous and discrete decision variables. However, solving mixed-integer nonlinear programming problems (MINLP) in real-time is challenging, which can be a limiting factor in many applications. To address the computational complexity of solving mixed integer nonlinear model predictive control problem in real-time, this paper proposes an approximate mixed integer NMPC formulation based on value function approximation. Leveraging Bellman's principle of optimality, the key idea here is to divide the prediction horizon into two parts, where the optimal value function of the latter part of the prediction horizon is approximated offline using expert demonstrations. Doing so allows us to solve the MINMPC problem with a considerably shorter prediction horizon online, thereby reducing the online computation cost. The paper uses an inverted pendulum example with discrete controls to illustrate this approach.
△ Less
Submitted 23 January, 2024;
originally announced January 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.
-
The Safety Shell: an Architecture to Handle Functional Insufficiencies in Automated Driving
Authors:
C. A. J. Hanselaar,
E. Silvas,
A. Terechko,
W. P. M. H. Heemels
Abstract:
To enable highly automated vehicles where the driver is no longer a safety backup, the vehicle must deal with various Functional Insufficiencies (FIs). Thus-far, there is no widely accepted functional architecture that maximizes the availability of autonomy and ensures safety in complex vehicle operational design domains. In this paper, we present a survey of existing methods that strive to preven…
▽ More
To enable highly automated vehicles where the driver is no longer a safety backup, the vehicle must deal with various Functional Insufficiencies (FIs). Thus-far, there is no widely accepted functional architecture that maximizes the availability of autonomy and ensures safety in complex vehicle operational design domains. In this paper, we present a survey of existing methods that strive to prevent or handle FIs. We observe that current design-time methods of preventing FIs lack completeness guarantees. Complementary solutions for on-line handling cannot suitably increase safety without seriously impacting availability of journey continuing autonomous functionality. To fill this gap, we propose the Safety Shell, a scalable multi-channel architecture and arbitration design, built upon preexisting functional safety redundant channel architectures. We compare this novel approach to existing architectures using numerical case studies. The results show that the Safety Shell architecture allows the automated vehicle to be as safe or safer compared to alternatives, while simultaneously improving availability of vehicle autonomy, thereby increasing the possible coverage of on-line functional insufficiency handling.
△ Less
Submitted 21 November, 2023; v1 submitted 20 October, 2023;
originally announced November 2023.
-
Projection-based Controllers with Inherent Dissipativity Properties
Authors:
Hoang Chu,
S. J. A. M van den Eijnden,
W. P. M. H. Heemels
Abstract:
Projection-based Controllers (PBCs) are currently gaining traction in both scientific and engineering communities. In PBCs, the input-output signals of the controller are kept in sector-bounded sets by means of projection. In this paper, we will show how this projection operation can be used to induce useful passivity or general dissipativity properties on broad classes of (unprojected) nonlinear…
▽ More
Projection-based Controllers (PBCs) are currently gaining traction in both scientific and engineering communities. In PBCs, the input-output signals of the controller are kept in sector-bounded sets by means of projection. In this paper, we will show how this projection operation can be used to induce useful passivity or general dissipativity properties on broad classes of (unprojected) nonlinear controllers that otherwise would not have these properties. The induced dissipativity properties of PBC will be exploited to guarantee asymptotic stability of negative feedback interconnections of passive nonlinear plants and suitably designed PBC, under mild conditions. Proper generalizations to so-called $(q,s,r)$-dissipativity will be presented as well. For illustrating the effectiveness of PBC control design via these passivity-based techniques, two numerical examples are provided.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Discrete-time Control Barrier Functions for Guaranteed Recursive Feasibility in Nonlinear MPC: An Application to Lane Merging
Authors:
Alexander Katriniok,
Erfan Shakhesi,
W. P. M. H. Heemels
Abstract:
In this paper, we present conditions under which the terminal ingredients, defined by discrete-time control barrier function (DTCBF) certificates, guarantee recursive feasibility in nonlinear MPC. Further, we introduce the notion of quasi-DTCBF (qDTCBF) certificates. Compared to DTCBFs, qDTCBF conditions can be satisfied with tighter control input bounds, which is highly advantageous if only limit…
▽ More
In this paper, we present conditions under which the terminal ingredients, defined by discrete-time control barrier function (DTCBF) certificates, guarantee recursive feasibility in nonlinear MPC. Further, we introduce the notion of quasi-DTCBF (qDTCBF) certificates. Compared to DTCBFs, qDTCBF conditions can be satisfied with tighter control input bounds, which is highly advantageous if only limited actuation is possible. Both certificates encourage an earlier reaction of the control system and result in a lower cumulative MPC cost. The methodology is applied to a lane merging problem in automated driving, in which DTCBF and qDTCBF certificates subject to input constraints form the terminal ingredients to guarantee recursive feasibility of the nonlinear MPC scheme. A simulation study demonstrates the efficacy of the concept.
△ Less
Submitted 20 September, 2023; v1 submitted 17 September, 2023;
originally announced September 2023.
-
On the relationship between control barrier functions and projected dynamical systems
Authors:
Giannis Delimpaltadakis,
W. P. M. H. Heemels
Abstract:
In this paper, we study the relationship between systems controlled via Control Barrier Function (CBF) approaches and a class of discontinuous dynamical systems, called Projected Dynamical Systems (PDSs). In particular, under appropriate assumptions, we show that the vector field of CBF-controlled systems is a Krasovskii-like perturbation of the set-valued map of a differential inclusion, that abs…
▽ More
In this paper, we study the relationship between systems controlled via Control Barrier Function (CBF) approaches and a class of discontinuous dynamical systems, called Projected Dynamical Systems (PDSs). In particular, under appropriate assumptions, we show that the vector field of CBF-controlled systems is a Krasovskii-like perturbation of the set-valued map of a differential inclusion, that abstracts PDSs. This result provides a novel perspective to analyze and design CBF-based controllers. Specifically, we show how, in certain cases, it can be employed for designing CBF-based controllers that, while imposing safety, preserve asymptotic stability and do not introduce undesired equilibria or limit cycles. Finally, we briefly discuss about how it enables continuous implementations of certain projection-based controllers, that are gaining increasing popularity.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Mixed-Integer MPC Strategies for Fueling and Density Control in Fusion Tokamaks
Authors:
Christopher A. Orrico,
Matthijs van Berkel,
Thomas O. S. J. Bosman,
W. P. M. H. Heemels,
Dinesh Krishnamoorthy
Abstract:
Model predictive control (MPC) is promising for fueling and core density feedback control in nuclear fusion tokamaks, where the primary actuators, frozen hydrogen fuel pellets fired into the plasma, are discrete. Previous density feedback control approaches have only approximated pellet injection as a continuous input due to the complexity that it introduces. In this letter, we model plasma densit…
▽ More
Model predictive control (MPC) is promising for fueling and core density feedback control in nuclear fusion tokamaks, where the primary actuators, frozen hydrogen fuel pellets fired into the plasma, are discrete. Previous density feedback control approaches have only approximated pellet injection as a continuous input due to the complexity that it introduces. In this letter, we model plasma density and pellet injection as a hybrid system and propose two MPC strategies for density control: mixed-integer (MI) MPC using a conventional mixed-integer programming (MIP) solver and MPC utilizing our novel modification of the penalty term homotopy (PTH) algorithm. By relaxing the integer requirements, the PTH algorithm transforms the MIP problem into a series of continuous optimization problems, reducing computational complexity. Our novel modification to the PTH algorithm ensures that it can handle path constraints, making it viable for constrained hybrid MPC in general. Both strategies perform well with regards to reference tracking without violating path constraints and satisfy the computation time limit for real-time control of the pellet injection system. However, the computation time of the PTH-based MPC strategy consistently outpaces the conventional MI-MPC strategy.
△ Less
Submitted 1 June, 2023;
originally announced June 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.
-
The Non-Strict Projection Lemma
Authors:
T. J. Meijer,
T. Holicki,
S. J. A. M. van den Eijnden,
C. W. Scherer,
W. P. M. H. Heemels
Abstract:
The projection lemma (often also referred to as the elimination lemma) is one of the most powerful and useful tools in the context of linear matrix inequalities for system analysis and control. In its traditional formulation, the projection lemma only applies to strict inequalities, however, in many applications we naturally encounter non-strict inequalities. As such, we present, in this note, a n…
▽ More
The projection lemma (often also referred to as the elimination lemma) is one of the most powerful and useful tools in the context of linear matrix inequalities for system analysis and control. In its traditional formulation, the projection lemma only applies to strict inequalities, however, in many applications we naturally encounter non-strict inequalities. As such, we present, in this note, a non-strict projection lemma that generalizes both its original strict formulation as well as an earlier non-strict version. We demonstrate several applications of our result in robust linear-matrix-inequality-based marginal stability analysis and stabilization, a matrix S-lemma, which is useful in (direct) data-driven control applications, and matrix dilation.
△ Less
Submitted 15 March, 2024; v1 submitted 15 May, 2023;
originally announced May 2023.
-
Direct Sha** of Minimum and Maximum Singular Values: An $\mathcal{H}_{-}/\mathcal{H}_{\infty}$ Synthesis Approach for Fault Detection Filters
Authors:
Koen Classens,
W. P. M. H. Heemels,
Tom Oomen
Abstract:
The performance of fault detection filters relies on a high sensitivity to faults and a low sensitivity to disturbances. The aim of this paper is to develop an approach to directly shape these sensitivities, expressed in terms of minimum and maximum singular values. The developed method offers an alternative solution to the $\mathcal{H}_{-}/\mathcal{H}_{\infty}$ synthesis problem, building upon tr…
▽ More
The performance of fault detection filters relies on a high sensitivity to faults and a low sensitivity to disturbances. The aim of this paper is to develop an approach to directly shape these sensitivities, expressed in terms of minimum and maximum singular values. The developed method offers an alternative solution to the $\mathcal{H}_{-}/\mathcal{H}_{\infty}$ synthesis problem, building upon traditional multiobjective synthesis results. The result is an optimal filter synthesized via iterative convex optimization and the approach is particularly useful for fault diagnosis as illustrated by a numerical example.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Unified Behavioral Data-Driven Performance Analysis: A Generalized Plant Approach
Authors:
L. M. Spin,
C. Verhoek,
W. P. M. H. Heemels,
N. van de Wouw,
R. Tóth
Abstract:
In this paper, we present a novel approach to combine data-driven non-parametric representations with model-based representations of dynamical systems. Based on a data-driven form of linear fractional transformations, we introduce a data-driven form of generalized plants. This form can be leveraged to accomplish performance characterizations, e.g., in the form of a mixed-sensitivity approach, and…
▽ More
In this paper, we present a novel approach to combine data-driven non-parametric representations with model-based representations of dynamical systems. Based on a data-driven form of linear fractional transformations, we introduce a data-driven form of generalized plants. This form can be leveraged to accomplish performance characterizations, e.g., in the form of a mixed-sensitivity approach, and LMI-based conditions to verify finite-horizon dissipativity. In particular, we show how finite-horizon $\ell_2$-gain under weighting filter-based general performance specifications are verified for implemented controllers on systems for which only input-output data is available. The overall effectiveness of the proposed method is demonstrated by simulation examples.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Urgency-aware Routing in Single Origin-destination Itineraries through Artificial Currencies
Authors:
Leonardo Pedroso,
W. P. M. H. Heemels,
Mauro Salazar
Abstract:
Within mobility systems, the presence of self-interested users can lead to aggregate routing patterns that are far from the societal optimum which could be achieved by centrally controlling the users' choices. In this paper, we design a fair incentive mechanism to steer the selfish behavior of the users to align with the societally optimal aggregate routing. The proposed mechanism is based on an a…
▽ More
Within mobility systems, the presence of self-interested users can lead to aggregate routing patterns that are far from the societal optimum which could be achieved by centrally controlling the users' choices. In this paper, we design a fair incentive mechanism to steer the selfish behavior of the users to align with the societally optimal aggregate routing. The proposed mechanism is based on an artificial currency that cannot be traded or bought, but only spent or received when traveling. Specifically, we consider a parallel-arc network with a single origin and destination node within a repeated game setting whereby each user chooses from one of the available arcs to reach their destination on a daily basis. In this framework, taking faster routes comes at a cost, whereas taking slower routes is incentivized by a reward. The users are thus playing against their future selves when choosing their present actions. To capture this complex behavior, we assume the users to be rational and to minimize an urgency-weighted combination of their immediate and future discomfort. To design the optimal pricing, we first derive a closed-form expression for the best individual response strategy. Second, we formulate the pricing design problem for each arc to achieve the societally optimal aggregate flows, and reformulate it so that it can be solved with gradient-free optimization methods. Our numerical simulations show that it is possible to achieve a near-optimal routing whilst significantly reducing the users' perceived discomfort when compared to a centralized optimal but urgency-unaware policy.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Constraint-Adaptive MPC for linear systems: A system-theoretic framework for speeding up MPC through online constraint removal
Authors:
S. A. N. Nouwens,
M. M. Paulides,
W. P. M. H. Heemels
Abstract:
Reducing the computation time of model predictive control (MPC) is important, especially for systems constrained by many state constraints. In this paper, we propose a new online constraint removal framework for linear systems, for which we coin the term constraint-adaptive MPC (ca-MPC). In so-called exact ca-MPC, we adapt the imposed constraints by removing, at each time-step, a subset of the sta…
▽ More
Reducing the computation time of model predictive control (MPC) is important, especially for systems constrained by many state constraints. In this paper, we propose a new online constraint removal framework for linear systems, for which we coin the term constraint-adaptive MPC (ca-MPC). In so-called exact ca-MPC, we adapt the imposed constraints by removing, at each time-step, a subset of the state constraints in order to reduce the computational complexity of the receding-horizon optimal control problem, while ensuring that the closed-loop behavior is {\em identical} to that of the original MPC law. We also propose an approximate ca-MPC scheme in which a further reduction of computation time can be accomplished by a tradeoff with closed-loop performance, while still preserving recursive feasibility, stability, and constraint satisfaction properties. The online constraint removal exploits fast backward and forward reachability computations combined with optimality properties.
△ Less
Submitted 13 July, 2023; v1 submitted 29 March, 2023;
originally announced March 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.
-
Decentralized event-triggered estimation of nonlinear systems
Authors:
E. Petri,
R. Postoyan,
D. Astolfi,
D. Nešić,
W. P. M. H. Heemels
Abstract:
We investigate the scenario where a perturbed nonlinear system transmits its output measurements to a remote observer via a packet-based communication network. The sensors are grouped into N nodes and each of these nodes decides when its measured data is transmitted over the network independently. The objective is to design both the observer and the local transmission policies in order to obtain a…
▽ More
We investigate the scenario where a perturbed nonlinear system transmits its output measurements to a remote observer via a packet-based communication network. The sensors are grouped into N nodes and each of these nodes decides when its measured data is transmitted over the network independently. The objective is to design both the observer and the local transmission policies in order to obtain accurate state estimates, while only sporadically using the communication network. In particular, given a general nonlinear observer designed in continuous-time satisfying an input-to-state stability property, we explain how to systematically design a dynamic event-triggering rule for each sensor node that avoids the use of a copy of the observer, thereby kee** local calculation simple. We prove the practical convergence property of the estimation error to the origin and we show that there exists a uniform strictly positive minimum inter-event time for each local triggering rule under mild conditions on the plant. The efficiency of the proposed techniques is illustrated on a numerical case study of a flexible robotic arm.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Switched-Actuator Systems with Setup Times: Efficient Modeling, MPC, and Application to Hyperthermia Therapy
Authors:
D. A. Deenen,
E. Maljaars,
L. C. Sebeke,
B. de Jager,
E. Heijman,
H. Grüll,
W. P. M. H. Heemels
Abstract:
Switched-actuator systems with setup times (SAcSSs) are systems in which the actuator configuration has to be switched during operation, and where the switching induces non-negligible actuator downtime. Optimally controlling SAcSSs requires the online solving of both a discrete actuator allocation problem, in which the switch-induced actuator downtime is taken into account, as well as an optimizat…
▽ More
Switched-actuator systems with setup times (SAcSSs) are systems in which the actuator configuration has to be switched during operation, and where the switching induces non-negligible actuator downtime. Optimally controlling SAcSSs requires the online solving of both a discrete actuator allocation problem, in which the switch-induced actuator downtime is taken into account, as well as an optimization problem for the (typically continuous) control inputs. Mixed-integer model predictive control (MI-MPC) offers a powerful framework for tackling such problems. However, the efficient modeling of SAcSSs for MI-MPC is not straightforward, and real-time feasibility is often a major hurdle in practice. It is the objective of this paper to provide an intuitive and systematic modeling procedure tailored to SAcSSs, which is specifically designed to allow for user-friendly controller synthesis, and to yield efficient MI-MPCs. We apply these new results in a case study of large-volume magnetic-resonance-guided high-intensity focused ultrasound hyperthermia, which involves the heating of tumors (using real-valued local heating controls, as well as discrete range-extending actuator relocation during which no heating is allowed) to enhance the efficacy of radio- and chemotherapy.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
Robustifying Event-Triggered Control to Measurement Noise
Authors:
Koen J. A. Scheres,
Romain Postoyan,
W. P. Maurice H. Heemels
Abstract:
While many event-triggered control strategies are available in the literature, most of them are designed ignoring the presence of measurement noise. As measurement noise is omnipresent in practice and can have detrimental effects, for instance, by inducing Zeno behavior in the closed-loop system and with that the lack of a positive lower bound on the inter-event times, rendering the event-triggere…
▽ More
While many event-triggered control strategies are available in the literature, most of them are designed ignoring the presence of measurement noise. As measurement noise is omnipresent in practice and can have detrimental effects, for instance, by inducing Zeno behavior in the closed-loop system and with that the lack of a positive lower bound on the inter-event times, rendering the event-triggered control design practically useless, it is of great importance to address this gap in the literature. To do so, we present a general framework for set stabilization of (distributed) event-triggered control systems affected by additive measurement noise. It is shown that, under general conditions, Zeno-free static as well as dynamic triggering rules can be designed such that the closed-loop system satisfies an input-to-state practical set stability property. We ensure Zeno-freeness by proving the existence of a uniform strictly positive lower-bound on the minimum inter-event time. The general framework is applied to point stabilization and consensus problems as particular cases, where we show that, under similar assumptions as the original work, existing schemes can be redesigned to robustify them to measurement noise. Consequently, using this framework, noise-robust triggering conditions can be designed both from the ground up and by simple redesign of several important existing schemes. Simulation results are provided that illustrate the strengths of this novel approach.
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
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.
-
Event-triggered observer design for linear systems
Authors:
E. Petri,
R. Postoyan,
D. Astolfi,
D. Nešić,
W. P. M. H. Heemels
Abstract:
We present an event-triggered observer design for linear time-invariant systems, where the measured output is sent to the observer only when a triggering condition is satisfied. We proceed by emulation and we first construct a continuous-time Luenberger observer. We then propose a dynamic rule to trigger transmissions, which only depends on the plant output and an auxiliary scalar state variable.…
▽ More
We present an event-triggered observer design for linear time-invariant systems, where the measured output is sent to the observer only when a triggering condition is satisfied. We proceed by emulation and we first construct a continuous-time Luenberger observer. We then propose a dynamic rule to trigger transmissions, which only depends on the plant output and an auxiliary scalar state variable. The overall system is modeled as a hybrid system, for which a jump corresponds to an output transmission. We show that the proposed event-triggered observer guarantees global practical asymptotic stability for the estimation error dynamics. Moreover, under mild boundedness conditions on the plant state and its input, we prove that there exists a uniform strictly positive minimum inter-event time between any two consecutive transmissions, guaranteeing that the system does not exhibit Zeno solutions. Finally, the proposed approach is applied to a numerical case study of a lithium-ion battery.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Event-Triggered State Estimation with Multiple Noisy Sensor Nodes
Authors:
Koen J. A. Scheres,
Michelle S. Chong,
Romain Postoyan,
W. P. Maurice H. Heemels
Abstract:
General nonlinear continuous-time systems are considered for which its state is estimated via a packet-based communication network. We assume that the system has multiple sensor nodes, affected by measurement noise, which can transmit at discrete (non-equidistant) points in time. Moreover, each node can transmit asynchronously. For this setup, we develop a state estimation framework, where the tra…
▽ More
General nonlinear continuous-time systems are considered for which its state is estimated via a packet-based communication network. We assume that the system has multiple sensor nodes, affected by measurement noise, which can transmit at discrete (non-equidistant) points in time. Moreover, each node can transmit asynchronously. For this setup, we develop a state estimation framework, where the transmission instances of the individual sensor nodes can be generated in either time-triggered or event-triggered fashions. In the latter case, we guarantee the absence of Zeno behavior by construction. It is shown that, under the provided design conditions, an input-to-state stability property is obtained for the estimation error with respect to the measurement noise and process disturbances and that the state is thus reconstructed asymptotically in the absence of noise. A numerical case study shows the strengths of the developed framework.
△ Less
Submitted 8 December, 2021; v1 submitted 10 August, 2021;
originally announced August 2021.
-
On the graphical stability of hybrid solutions with non-matching jump times: Extended Paper
Authors:
J. J. B. Biemond,
R. Postoyan,
W. P. M. H. Heemels,
N. van de Wouw
Abstract:
We investigate stability of a solution of a hybrid system in the sense that the graphs of solutions from nearby initial conditions remain close and tend towards the graph of the given solution. In this manner, a small continuous-time mismatch is allowed between the jump times of neighbouring solutions and the `peaking phenomenon' is avoided. We provide conditions such that this stability notion is…
▽ More
We investigate stability of a solution of a hybrid system in the sense that the graphs of solutions from nearby initial conditions remain close and tend towards the graph of the given solution. In this manner, a small continuous-time mismatch is allowed between the jump times of neighbouring solutions and the `peaking phenomenon' is avoided. We provide conditions such that this stability notion is implied by stability with respect to a specifically designed distance-like function. Hence, stability of solutions in the graphical sense can be analysed with existing Lyapunov techniques.
△ Less
Submitted 5 June, 2019;
originally announced June 2019.
-
On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach
Authors:
M. C. F. Donkers,
P. Tabuada,
W. P. M. H. Heemels
Abstract:
In this paper, we present two control laws that are tailored for control applications in which computational and/or communication resources are scarce. Namely, we consider minimum attention control, where the `attention' that a control task requires is minimised given certain performance requirements, and anytime attention control, where the performance under the `attention' given by a scheduler i…
▽ More
In this paper, we present two control laws that are tailored for control applications in which computational and/or communication resources are scarce. Namely, we consider minimum attention control, where the `attention' that a control task requires is minimised given certain performance requirements, and anytime attention control, where the performance under the `attention' given by a scheduler is maximised. Here, we interpret `attention' as the inverse of the time elapsed between two consecutive executions of a control task. By focussing on linear plants, by allowing for only a finite number of possible intervals between two subsequent executions of the control task, by making a novel extension to the notion of control Lyapunov functions and taking these novel extended control Lyapunov function to be infinity-norm-based, we can formulate the aforementioned control problems as online linear programs, which can be solved efficiently. Furthermore, we provide techniques to construct suitable infinity-norm-based extended control Lyapunov functions for our purposes. Finally, we illustrate the resulting control laws using numerical examples. In particular, we show that minimum attention control outperforms an alternative implementation-aware control law available in the literature.
△ Less
Submitted 10 September, 2011; v1 submitted 13 August, 2011;
originally announced August 2011.