On delay-derivative-dependent stability of systems with fast-varying delays

Stability of linear systems with uncertain bounded time-varying delays is studied under the assumption that the nominal delay values are not equal to zero. An input-output approach to stability of such systems is known to be based on the bound of the L₂-norm of a certain integral operator. There exists a bound on this operator norm in two cases: in the case where the delay derivative is not greater than 1 and in the case without any constraints on the delay derivative. In the present note we fill the gap between the two cases by deriving a tight operator bound which is an increasing and continuous function of the delay derivative upper bound d?1. For d→∞ the new bound corresponds to the second case and improves the existing bound. As a result, for the first time, delay-derivative-dependent frequency domain and time domain stability criteria are derived for systems with the delay derivative greater than 1.     

Noncausal linear periodically time-varying scaling for robust stability analysis of discrete-time systems: Frequency-dependent scaling induced by static separators

This article is concerned with robust stability analysis of discrete-time systems and introduces a novel and powerful technique that we call noncausal linear periodically time-varying (LPTV) scaling. Based on the discrete-time lifting together with the conventional but general scaling approach, we are led to the notion of noncausal LPTV scaling for LPTV systems, and its effectiveness is demonstrated with a numerical example. To separate the effect of noncausal and LPTV characteristics of noncausal LPTV scaling to see which is a more important source leading to the effectiveness, we then consider the case of LTI systems as a special case. Then, we show that even static noncausal LPTV scaling has an ability of inducing frequency-dependent scaling when viewed in the context of the conventional LTI scaling, while causal LPTV scaling fails to do so. It is further discussed that the effectiveness of noncausal characteristics leading to the frequency-domain interpretation can be exploited even for LPTV systems by considering the νN-lifted transfer matrices of N-periodic systems.     

New bounded real lemma for discrete-time singular systems

In this paper, the problem of bounded real lemma for discrete-time singular system with strict matrix inequalities is investigated. It is proved that the bounded real lemma for discrete singular system can be described by a strict matrix inequality. The results lead to more tractable and reliable computation when applying them to design control systems.     

Observer-based networked control for continuous-time systems with random sensor delays

This paper is concerned with the networked control system design for continuous-time systems with random measurement, where the measurement channel is assumed to subject to random sensor delay. A design scheme for the observer-based output feedback controller is proposed to render the closed-loop networked system exponentially mean-square stable with H_∞ performance requirement. The technique employed is based on appropriate delay systems approach combined with a matrix variable decoupling technique. The design method is fulfilled through solving linear matrix inequalities. A numerical example is used to verify the effectiveness and the merits of the present results.     

H∞ filtering for discrete-time systems with randomly varying sensor delays

This paper investigates an H_∞ filtering problem for discrete-time systems with randomly varying sensor delays. The stochastic variable involved is a Bernoulli distributed white sequence appearing in measured outputs. This measurement mode can be used to characterize the effect of communication delays and/or data-loss in information transmissions across limited bandwidth communication channels over a wide area. H_∞ filtering of this class of systems is used to design a filter using the measurements with random delays to ensure the mean-square stochastic stability of the filtering error system and to guarantee a prescribed H_∞ filtering performance. A sufficient condition for the existence of such a filter is presented in terms of the feasibility of a linear matrix inequality (LMI). Finally, a numerical example is given to illustrate the effectiveness of the proposed approach.     

On the strong stabilization of slowly time-varying linear systems

This paper considers the strong stabilization problem: Given a linear time-varying system which is stabilizable by dynamic feedback, when can the stabilizer be chosen to be itself stable? We consider here the case of the algebra of discrete-time time-varying systems which are slowly time varying.     

Uncertain jumping systems with strong and weak functional delays

This paper provides complete results on the stability behavior of a class of uncertain dynamical systems with jumping parameters and functional time-delays. The jumping parameters are modeled as a continuous-time, discrete-state Markov process. The parametric uncertainties are norm-bounded appearing in all system matrices and the delay factor depends on the mode of operation. Notions of weak and strong stochastic stability for the jumping system are developed depending on the available information using a prescribed -performance. Memoryless and delayed-state feedback are considered to guarantee the closed-loop stability. All the results are cast into linear matrix inequalities format. A numerical example is given to illustrate the developed results.     

Robust model selection with flexible trimming

The forward search provides data-driven flexible trimming of a C_p statistic for the choice of regression models that reveals the effect of outliers on model selection. An informed robust model choice follows. Even in small samples, the statistic has a null distribution indistinguishable from an F distribution. Limits on acceptable values of the C_p statistic follow. Two examples of widely differing size are discussed. A powerful graphical tool is the generalized candlestick plot, which summarizes the information on all forward searches and on the choice of models. A comparison is made with the use of M-estimation in robust model choice.     

On the bounded-real and positive-real conditions for affine nonlinear state-delayed systems and applications to stability

In this paper, bounded-real conditions for affine nonlinear state-delayed systems are derived using the concept of dissipativeness. Necessary and sufficient conditions for the system to be dissipative and to have finite L₂-gain also referred to as the bounded-real condition are given. The implications on the stability of the system and feedback interconnections of such systems are also considered. Finally, an equivalent of the positive-real lemma is derived and its implications on stability of the system and feedback interconnections of such systems are similarly discussed.     

A distributed controller approach for delay-independent stability of networked control systems

This article introduces a novel distributed controller approach for networked control systems (NCS) to achieve finite gain L₂ stability independent of constant time delay. The proposed approach represents a generalization of the well-known scattering transformation which applies for passive systems only. The main results of this article are (a) a sufficient stability condition for general multi-input-multi-output (MIMO) input-feedforward-output-feedback-passive (IF-OFP) nonlinear systems and (b) a necessary and sufficient stability condition for linear time-invariant (LTI) single-input-single-output (SISO) systems. The performance advantages of the proposed approach are reduced sensitivity to time delay and improved steady state error compared to alternative known delay-independent small gain type approaches. Simulations validate the proposed approach.     

Input–output approach to stability and -gain analysis of systems with time-varying delays

Stability and L₂ (l₂)-gain of linear (continuous-time and discrete-time) systems with uncertain bounded time-varying delays are analyzed under the assumption that the nominal delay values are not equal to zero. The delay derivatives (in the continuous-time) are not assumed to be less than q<1. An input–output approach is applied by introducing a new input–output model, which leads to effective frequency domain and time domain criteria. The new method significantly improves the existing results for delays with derivatives not greater than 1, which were treated in the past as fast-varying delays (without any constraints on the delay derivatives). New bounded real lemmas (BRLs) are derived for systems with state and objective vector delays and norm-bounded uncertainties. Numerical examples illustrate the efficiency of the new method.     

Gain-scheduling control of LFT systems using parameter-dependent Lyapunov functions

In this paper, we propose a new control design approach for linear fractional transformation (LFT) systems using parameter-dependent Lyapunov functions. Instead of assuming parameter dependency in LFT fashion, we consider general parameter-dependent controllers to achieve better closed-loop performance. Using full-block multipliers, new LPV synthesis conditions have been derived in terms of finite number of linear matrix inequalities (LMIs). Both continuous- and discrete-time cases are discussed. A ship steering example has been used to demonstrate advantages and benefits of the proposed approach.     

Application of a fault detection filter to structural health monitoring

A model-based fault detection filter is developed for structural health monitoring of a simply supported beam. The structural damage represented in the plant model is shown to decompose into a known fault direction vector maintaining a fixed direction, dependent on the damage location, and an arbitrary fault magnitude representing the extent of the damage. According to detection filter theory, if damage occurs, under certain circumstances the fault will be uniquely detected and identified through an associated invariance in the direction imposed on the fault detection filter residuals. The spectral algorithm used to design the detection filter is based on a left eigenstructure assignment approach which accommodates system sensitivities that are revealed as ill-conditioned matrices formed from the eigenvectors in the construction of the detection filter gains. The detection filter is applied to data from an aluminum simply supported beam with four piezoelectric sensors and one piezoelectric actuator. By exciting the structure at the first natural frequency, damage in the form of a 5 mm saw cut made to one side of the beam is detected and localized.     

Strong stability of the mono-tubular heat exchanger equation with output feedback

We investigate asymptotic behavior of the C₀-semigroup T(t) associated with the mono-tubular heat exchanger equation with output feedback by a perturbation method. It is shown that T(t) is bounded if a constraint is satisfied by the parameters and the spatial distribution function. Further, applying the Arendt-Batty-Lyubich-Vu theorem, a criterion is established to judge strong stability of T(t).     

Filter design for LPV systems using quadratically parameter-dependent Lyapunov functions

This paper considers design problems of robust gain-scheduled H_∞ and H₂ filters for linear parameter-varying (LPV) systems whose state-space matrices are represented as parametrically affine matrices, using quadratically parameter-dependent Lyapunov functions, and proposes methods of filter design via parametrically affine linear matrix inequalities (LMIs). For robust filters, our design methods theoretically encompass those that use constant Lyapunov functions. Several numerical examples are included that demonstrate the effectiveness of gain-scheduled and robust filters using our proposed methods compared with robust filters using existing methods.     

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems

Verification problems for finite- and infinite-state processes, like model checking and equivalence checking, can effectively be encoded in Parameterised Boolean Equation Systems (PBESs). Solving the PBES then solves the encoded problem. The decidability of solving a PBES depends on the data sorts that occur in the PBES. We describe a pragmatic methodology for solving PBESs, viz., by attempting to instantiate them to the sub-fragment of Boolean Equation Systems (BESs). Unlike solving PBESs, solving BESs is a decidable problem. Based on instantiation, verification using PBESs can effectively be done fully automatically in most practical cases. We demonstrate this by solving several complex verification problems using a prototype implementation of our instantiation technique. In addition, practical issues concerning this implementation are addressed. Furthermore, we illustrate the effectiveness of instantiation as a transformation on PBESs when solving verification problems involving systems of infinite size.     

Robust filtering for 2-D discrete-time linear systems with convex-bounded parameter uncertainty

This paper is concerned with the problems of robust H_∞ and H₂ filtering for 2-dimensional (2-D) discrete-time linear systems described by a Fornasini-Marchesini second model with matrices that depend affinely on convex-bounded uncertain parameters. By a suitable transformation, the system is represented by an equivalent difference-algebraic representation. A parameter-dependent Lyapunov function approach is then proposed for the design of 2-D stationary discrete-time linear filters that ensure either a prescribed H_∞ performance or H₂ performance for all admissible uncertain parameters. The filter designs are given in terms of linear matrix inequalities. Numerical examples illustrate the effectiveness of the proposed filter design methods.     

Hierarchical trajectory refinement for a class of nonlinear systems

Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. The approach is based on the recent notion of φ-related control systems. Given a control affine system satisfying certain assumptions, we construct a φ-related control system of smaller dimension. Trajectories designed for the smaller, abstracted system are guaranteed, by construction, to be feasible for the original system. Constructive procedures are provided for refining trajectories from the coarser to the more detailed system.     

Computation, approximation and stability of explicit feedback min-max nonlinear model predictive control

This paper presents an approximate multi-parametric Nonlinear Programming (mp-NLP) approach to explicit solution of feedback min-max NMPC problems for constrained nonlinear systems in the presence of bounded disturbances and/or parameter uncertainties. It is based on an orthogonal search tree structure of the state space partition and consists in constructing a piecewise nonlinear (PWNL) approximation to the optimal sequence of feedback control policies. Conditions guaranteeing the robust stability of the closed-loop system in terms of a finite l₂-gain are derived.