Hernan Haimovich

Hernan Haimovich, Maria M. Seron

We present a novel method to compute componentwise transient bounds, ultimate bounds, and invariant regions for a class of switching continuous-time linear systems with perturbation bounds that may depend nonlinearly on a delayed state. The main advantage of the method is its componentwise nature, i.e. the fact that it allows each component of the perturbation vector to have an independent bound and that the bounds and sets obtained are also given componentwise. This componentwise method does not employ a norm for bounding either the perturbation or state vectors, avoids the need for scaling the different state vector components in order to obtain useful results, and may also reduce conservativeness in some cases. We give conditions for the derived bounds to be of local or semi-global nature. In addition, we deal with the case of perturbation bounds whose dependence on a delayed state is of affine form as a particular case of nonlinear dependence for which the bounds derived are shown to be globally valid. A sufficient condition for practical stability is also provided. The present paper builds upon and extends to switching systems with delayed-state-dependent perturbations previous results by the authors. In this sense, the contribution is three-fold: the derivation of the aforementioned extension; the elucidation of the precise relationship between the class of switching linear systems to which the proposed method can be applied and those that admit a common quadratic Lyapunov function (a question that was left open in our previous work); and the derivation of a technique to compute a common quadratic Lyapunov function for switching linear systems with perturbations bounded componentwise by affine functions of the absolute value of the state vector components.

Hernan Haimovich, Julio H. Braslavsky

This paper presents and implements an iterative feedback design algorithm for stabilisation of discrete-time switched systems under arbitrary switching regimes. The algorithm seeks state feedback gains so that the closed-loop switching system admits a common quadratic Lyapunov function (CQLF) and hence is uniformly globally exponentially stable. Although the feedback design problem considered can be solved directly via linear matrix inequalities (LMIs), direct application of LMIs for feedback design does not provide information on closed-loop system structure. In contrast, the feedback matrices computed by the proposed algorithm assign closed-loop structure approximating that required to satisfy Lie-algebraic conditions that guarantee existence of a CQLF. The main contribution of the paper is to provide, for single-input systems, a numerical implementation of the algorithm based on iterative approximate common eigenvector assignment, and to establish cases where such algorithm is guaranteed to succeed. We include pseudocode and a few numerical examples to illustrate advantages and limitations of the proposed technique.

Jose L. Mancilla-Aguilar, Hernan Haimovich

We provide a Lyapunov-function-based method for establishing different types of uniform input-to-state stability (ISS) for time-varying impulsive systems. The method generalizes to impulsive systems with inputs the well-established philosophy of assessing the stability of a system by reducing the problem to that of the stability of a scalar system given by the evolution of the Lyapunov function on the system trajectories. This reduction is performed in such a way so that the resulting scalar system has no inputs. Novel sufficient conditions for ISS are provided, which generalize existing results for time-invariant and time-varying, switched and nonswitched, impulsive and nonimpulsive systems in several directions.

Hernan Haimovich, Julio H. Braslavsky

This paper addresses the stabilisation of discrete-time switching linear systems (DTSSs) with control inputs under arbitrary switching, based on the existence of a common quadratic Lyapunov function (CQLF). The authors have begun a line of work dealing with control design based on the Lie-algebraic solvability property. The present paper expands on earlier work by deriving sufficient conditions under which the closed-loop system can be caused to satisfy the Lie-algebraic solvability property generically, i.e. for almost every set of system parameters, furthermore admitting straightforward and efficient numerical implementation.

Alexis J. Vallarella, Hernan Haimovich

Discrete-time models of non-uniformly sampled nonlinear systems under zero-order hold relate the next state sample to the current state sample, (constant) input value, and sampling interval. The exact discrete-time model, that is, the discrete-time model whose state matches that of the continuous-time nonlinear system at the sampling instants may be difficult or even impossible to obtain. In this context, one approach to the analysis of stability is based on the use of an approximate discrete-time model and a bound on the mismatch between the exact and approximate models. This approach requires three conceptually different tasks: i) ensure the stability of the (approximate) discrete-time model, ii) ensure that the stability of the approximate model carries over to the exact model, iii) if necessary, bound intersample behaviour. Existing conditions for ensuring the stability of a discrete-time model as per task i) have some or all of the following drawbacks: are only sufficient but not necessary; do not allow for varying sampling rate; cannot be applied in the presence of state-measurement or actuation errors. In this paper, we overcome these drawbacks by providing characterizations of, i.e. necessary and sufficient conditions for, two stability properties: semiglobal asymptotic stability, robustly with respect to bounded disturbances, and semiglobal input-to-state stability, where the (disturbance) input may successfully represent state-measurement or actuation errors. Our results can be applied when sampling is not necessarily uniform.

Hernan Haimovich, Jose L. Mancilla-Aguilar

Time-invariant finite-dimensional systems, under reasonable continuity assumptions, exhibit the property that if solutions exist for all future times, the set of vectors reachable from a bounded set of initial conditions over bounded time intervals is also bounded. This property can be summarized as follows: forward completeness implies bounded reachability sets. By contrast, this property does not necessarily hold for infinite-dimensional systems in general, and time-delay systems in particular. Sufficient conditions for this property to hold that can be directly tested on the function defining the system dynamics are only known in the case of systems with pointwise (or discrete) delays. This paper develops novel sufficient conditions for the boundedness of the reachability sets of time-delay systems involving mixed pointwise and distributed delays. Broad classes of systems satisfying these conditions are identified.