Controllability and observability of a class of linear impulsive systems

This paper studies the controllability and observability of a class of linear piecewise constant impulsive systems. Necessary and sufficient criteria for reachability and controllability are established, respectively. It is proved that the reachability is equivalent to the controllability under some mild conditions. Then, necessary and sufficient criteria for observability and determinability of such systems are established, respectively. It is also proved that the observability is equivalent to the determinability under some mild conditions. Our criteria are of geometric type, they can be transformed into algebraic type conveniently. Finally, a numerical example is given to illustrate the utility of our criteria.     

Robust exponential stability of impulsive switched systems with switching delays: A Razumikhin approach

In this paper, we focus on the robust exponential stability of a class of uncertain nonlinear impulsive switched systems with switching delays. We introduce a novel type of piecewise Lyapunov-Razumikhin functions. Such functions can efficiently eliminate the impulsive and switching jump of adjacent Lyapunov functions at impulsive switching instants. By Razumikhin technique, the delay-independent criteria of exponential stability are established on the minimum dwell time. Finally, an illustrative numerical example is presented to show the effectiveness of the obtained theoretical results.     

Controllability and observability of impulsive hybrid dynamic systems

Corresponding author, Email: cbsoh{at}auto.eee.ntu.ac.sg This paper considers the controllability and observability ofhybrid dynamic systems with impulsive switching of the otherwisecontinuously evolving state. It derives necessary and sufficientconditions for impulsive hybrid dynamic systems to be controllableand observable.     

Stability analysis of impulsive switched systems with time delays

In this paper, exponential stability criteria of impulsive switched systems with variable delays are introduced. Based on some impulsive delay differential inequalities, some general criteria for the exponential stability are obtained. Finally, an example is given to illustrate the effectiveness of the theory.     

Tightened reachability constraints for the verification of linear hybrid systems

In this paper, we first generalize reachability constraints for linear differential equations, then tighten them by using the information of multiplicity of the eigenvalues and eigenvectors of such equations and put them into our constraint based approach for safety verification of hybrid systems that employs recursive reasoning to improve the method of constraint propagation based abstraction refinement.     

Stabilization of switched linear systems with time-delay in detection of switching signal

A feedback stabilization problem for switched linear systems with time-delay in detection of switching signal is formulated. First, online state feedback controller design method for asymptotic stability and exponential stability is given. Then, offline state feedback controller design method for asymptotic stability and exponential stability is given as well.     

Reachability realization and stabilizability of switched linear discrete-time systems

In this paper, the reachability realization of a switched linear discrete-time system, which is a collection of linear time-invariant discrete-time systems along with some maps for “switching” among them, is addressed. The main contribution of this paper is to prove that for a switched linear discrete-time system, there exists a basic switching sequence such that the reachable (controllable) state set of this basic switching sequence is equal to the reachable (controllable) state set of the system. Hence, the reachability (controllability) can be realized by using only one switching sequence. We also discuss the stabilizability of switched systems, and obtain a sufficient condition for stabilizability. Two numeric examples are given to illustrate the results.     

Commuting and stable feedback design for switched linear systems

In the paper, commuting and stable feedback design for switched linear systems is investigated. This problem is formulated as to build up suitable state feedback controller for each subsystem such that the closed-loop systems are not only asymptotically stable but also commuting each other. A new concept, common admissible eigenvector set (CAES), is introduced to establish necessary/sufficient conditions for commuting and stable feedback controllers. For second-order systems, a necessary and sufficient condition is established. Moreover, a parametrization of the CAES is also obtained. The motivation comes from stabilization of switched linear systems which consist of a family of LTI systems and a switching law specifying the switching between them, where if all the subsystems are stable and commuting each other, then the total system is stable under arbitrary switching.     

An implicit systems characterization of a class of impulsive linear switched control processes. Part 1: Modeling

Our paper focuses on a fundamental structural property associated with a family of linear switched control systems in the presence of impulsive dynamics. We consider dynamic processes governed by piecewise linear ODEs with controlled location transitions and describe the resulting system in a constructive form of an implicit dynamic system. The proposed algebraic-based modeling framework follows the celebrated behavioral approach (see Polderman and Willems (1998)) and makes it possible to apply to the switched dynamics some conventional techniques from the well-established time-invariant implicit systems theory. The analytic results of our paper constitute a formal theoretical extension of switched control systems methodology and can be used (as an auxiliary step) in a concrete control design procedure. In this first part, we consider modeling aspects.     

On stability of linear and weakly nonlinear switched systems with time delay

This paper studies time-delayed switched systems that include both stable and unstable modes. By using multiple Lyapunov-functions technique and a dwell-time approach, several criteria on exponential stability for both linear and nonlinear systems are established. It is shown that by suitably controlling the switching between the stable and unstable modes, exponential stabilization of the switched system can be achieved. Some examples and numerical simulations are provided to illustrate our results.     

Conditions for distinguishability and observability of switched linear systems

A characterization for weak distinguishability of two linear controlled systems are derived. In addition, the observability of a special switched linear controlled system is considered, and necessary and sufficient conditions for observability are obtained.     

Nonregressivity in switched linear circuits and mechanical systems

We analyze several examples of switched linear circuits and a switched spring–mass system to illustrate the physical manifestations of regressivity and nonregressivity for discrete and continuous time systems as well as hybrid discrete/continuous systems from a time scales perspective. These examples highlight the role that nonregressivity plays in modeling and applications, and they point out a fascinating dichotomy between purely continuous systems and discrete, continuous, or hybrid systems. We conclude with a physically realizable null space criterion for inducing nonregressivity.     

On the perturbation of the observability equation in linear control systems

The aim of this paper is to investigate stability and sensitivity of the observability variable in linear control systems, (LCS) for short. We first present two results of Hölder continuity in the abstract framework of the ordinary differential equation initial-value problem x′(t) = f(t,x(t)),x(t ₀) = x ₀. Afterwards, we apply our results to automatic systems, providing henceforth the sharpest bounds for the parametric input-output relation in LCS.     

Finite-time L1 control for positive switched linear systems with time-varying delay

This paper is concerned with the problem of finite-time L₁ control for a class of positive switched linear systems with time-varying delay. Firstly, by using the average dwell time approach, sufficient conditions which can guarantee the L₁ finite-time boundedness of the underlying system are given. Then, in virtue of the results obtained, a state feedback controller is designed to ensure that the resulting closed-loop system is finite-time bounded with L₁-gain performance. All the obtained results are formulated in terms of linear matrix inequalities (LMIs), which can be solved conveniently. Finally, an example is given to illustrate the efficiency of the proposed method.     

Some sufficient conditions for the observability of nonlinear systems

Some sufficient conditions are presented for the observability of systems described by nonlinear, ordinary differential equations with linear observations. The point which the authors especially emphasize is the fact that the results obtained are global in some sense. In the beginning, the observability problem is reduced to the uniqueness problem of solutions of some nonlinear integral equations for general nonlinear systems with linear observations. Then, for some restricted systems, a simple sufficient condition is derived. The relation between global and local observability for nonlinear systems is also considered.The authors wish to thank their colleagues in Nagoya University.     

Target problems under state constraints for nonlinear controlled impulsive systems

We study the problem of reaching a target without leaving a prescribed constraint set for a dynamical system described by a controlled differential equation and a controlled instantaneous reset function. We characterize all initial conditions from which the objective can be reached. Then we characterize the value function associated with the optimal reaching time problem.     

A new proof of a theorem on optimal control of switched systems

Recently Sorin C. Bengea and Raymond A. DeCarlo [Sorin C. Bengea, Raymond A. DeCarlo, Optimal control of switching systems, Automatica J. IFAC 41 (2005) 11-27] have offered a key result that the set of trajectories of the two-switched system is dense in the set of trajectories of the embedded system. This result was proven by means of relaxed controls and the Chattering Lemma. In this paper we use the Lyapunov theorem to give a new simple proof.     

Stability of perturbed switched nonlinear systems with delays

This paper addresses the stability problems of perturbed switched nonlinear systems with time-varying delays. It is assumed that the nominal switched nonlinear system (perturbation-free system) is uniformly exponentially stable and that the perturbations satisfy a linear growth bound condition. It is revealed that there exists an upper bound of perturbation guaranteeing that the perturbed system preserves the stability property of the nominal system, locally or globally, depending on both perturbations and the nominal system itself. An example is provided to illustrate the proposed theoretical results.     

Canonical forms for positive discrete-time linear control systems

In this paper, the properties of reachability, controllability and essential reachability of positive discrete-time linear control systems are studied. These properties are characterized in terms of the directed graph of the state matrix. From these characterizations canonical forms of those properties are deduced.