We describe a procedure based on the Krawczyk method to compute a verified enclosure for the stabilizing solution of a continuoustime algebraic Riccati equation A∗X + XA + Q = XGX, building on the work of [B. Hashemi, SCAN 2012] and adding several modifications to the Krawczyk procedure. Moreover, we describe a new O(n) direct method for verification, based on a fixed-point formulation of the e...

This paper proposes a novel lifting method which converts the standard discrete-time linear periodic system to an augmented linear time-invariant system. The linear quadratic optimal control is then based on the solution of the discrete-time algebraic Riccati equation associated with the augmented linear time-invariant model. An efficient algorithm for solving the Riccati equation is derived by...

We discuss a parallel algorithm for the solution of large-scale generalized algebraic Riccati equations with dimension up to O(10). We survey the numerical algorithms underlying the implementation of the method, in particular, a Newton-type iterative solver for the generalized Riccati equation and an LR-ADI solver for the generalized Lyapunov equation. Experimental results on a cluster of Intel...

This paper deals with two interrelated issues. One is an invariant subspace approach to finding solutions for the algebraic Riccati equation for a class of infinite dimensional systems. The second is approximation of the solution of the algebraic Riccati equation by finite dimensional approximants. The theory of exponentially dichotomous operators and bisemigroups is instrumental in our approach.

This paper is concerned with the problem of H m estimation for linear discrete-time systems with timevarying norm-bounded parameter uncertainty in both the state and output matrices. We design an estimator such that the estimation error dynamics is quadratically stable and the induced operator norm of the mapping from noise to estimation error is kept within a prescribed bound for all admissibl...

We consider the nonsymmetric algebraic Riccati equation for which the four coefficient matrices form an M -matrix. Nonsymmetric algebraic Riccati equations of this type appear in applied probability and transport theory. The minimal nonnegative solution of these equations can be found by Newton’s method and basic fixed-point iterations. The study of these equations is also closely related to th...

We consider a splitting-based approximation of the abstract Riccati equation in the setting of Hilbert–Schmidt operators. The Riccati equation arises in many different areas and is important within the field of optimal control. While convergence of different methods for approximating the Riccati equation is discussed in several studies, none of them rigorously prove an order of convergence. In ...

A solution X of a discrete-time algebraic Riccati equation is called unmixed if the corresponding closed-loop matrix Φ(X) has the property that the common roots of det (sI−Φ(X)) and det (I− sΦ(X)∗) (if any) are on the unit circle. A necessary and sufficient condition is given for existence and uniqueness of an unmixed solution such that the eigenvalues of Φ(X) lie in a prescribed subset of C. A...

This paper develops an anti-windup scheme for systems with rate-limited actuators. The main results show how a full-order anti-windup compensator can be synthesised using an algebraic Riccati equation and several free parameters. A further result then shows how the free parameters may be chosen to influence, in an intuitive way, the local L2 gain of the system and the size of the region of attr...