Box invariance in biologically-inspired dynamical systems

A dynamical system is box invariant if there exists a box-shaped positively invariant region. We show that box invariance can be checked in cubic time for linear and affine systems, and that it remains decidable for classes of nonlinear systems of interest (with polynomial structure). We present results on the robustness of box invariance for linear systems using spectral properties of Metzler matrices. We also present sufficient conditions for establishing box invariance of switched and hybrid systems. In general, we argue that box invariance is a characteristic of many biologically-inspired dynamical models.     

An invariance principle for nonlinear switched systems

In this paper we address the problem of extending LaSalle Invariance Principle to switched system. We prove an extension of the invariance principle relative to dwell time switched solutions, and a second one relative to constrained switched systems.     

切换系统的不变性原理与不变集的状态反馈镇定

证明了一类切换系统的一个不变性原理,并将输入对状态稳定的概念推广到输入对系统某个非负能量函数稳定的情况.基于这个不变性原理以及输入对系统能量函数稳定的概念,利用多Lyapunov函数方法提出并证明了一类具有Lyapunov稳定子系统的切换系统的不变集可状态反馈镇定的条件.最后讨论了输入对系统能量函数稳定与输入对状态稳定的关系.仿真结果证明了该方法的可行性.     

线性切换系统的积分不变性原理

将积分不变性原理进行推广, 用来讨论线性切换系统的稳定性. 作为LaSalle不变性原理的推广, 文中推广的积分不变性原理无需构造Lyapunov函数, 而是利用系统输出的可积性, 讨论线性切换系统输出为零的状态集合的稳定性. 另外, 讨论了切换系统状态集合稳定性与切换信号之间的关系. 利用线性切换系统的可观测性, 讨论了系统平衡点的渐近稳定性. 数值例子说明了文中方法的有效性.     

Stability of switched nonlinear systems via extensions of LaSalle’s invariance principle

This paper studies the extension of LaSalle’s invariance principle for switched nonlinear systems. Un-like most existing results in which each switching mode in the system needs to be asymptotically stable, this paper allows the switching modes to be only stable. Under certain ergodicity assumptions of the switching signals, two extensions of LaSalle’s invariance principle for global asymptotic stability of switched nonlinear systems are obtained using the method of common joint Lyapunov function.     

Observability analysis of conewise linear systems via directional derivative and positive invariance techniques

Belonging to the broad framework of hybrid systems, conewise linear systems (CLSs) form a class of Lipschitz piecewise linear systems subject to state triggered mode switchings. Motivated by state estimation of nonsmooth switched systems, this paper exploits directional derivative and positive invariance techniques to characterize finite-time and long-time local observability of a general CLS. For the former observability notion, directional derivative results are developed from the simple switching property, and they yield improved observability conditions. For the latter notion, we focus on the case where a nominal trajectory has finitely many switchings. In order to characterize long-time behaviors of the CLS, necessary and sufficient conditions are obtained for the interior of a positively invariant cone. By employing these conditions, we establish connections between finite-time and long-time local observability; underlying positive invariance properties are unveiled.     

Stability and stabilisation of planar switched linear systems via LaSalle's invariance principle

This paper investigates the problem of uniformly asymptotical stability (UAS) and stabilisation of planar switched linear systems using LaSalle's invariance principle of switched systems. First, we show that a common weak quadratic Lyapunov function (WQLF) is enough to assure the UAS of a switched linear system with stable modes. Then the necessary and sufficient conditions for the existence of common WQLF are obtained. Secondly, we consider the problem of uniformly asymptotical stabilisation (UASZ) of single-input planar switched linear systems. Necessary and sufficient conditions for the closed-loop system with proper feedback to share a common WQLF are presented. It is also proved that a common WQLF is enough to assure the UAS of the closed-loop system.     

On the necessity of looped-functionals arising in the analysis of pseudo-periodic,sampled-data and hybrid systems

Looped-functionals have been shown to be relevant for the analysis of a wide variety of systems. However, the conditions obtained in previous papers on the analysis of sampled-data, impulsive and switched systems have only been shown to be sufficient for the characterisation of their associated discrete-time stability conditions. We prove here that these conditions are also necessary. This result is derived for a wider class of linear systems, referred to as impulsive pseudo-periodic systems, that encompass periodic, impulsive, sampled-data and switched systems as special cases.     

Geometrical Dissipativity‐Based Output Synchronization of Discrete Dynamical Networks with Non‐Identical Nodes

In this paper, we investigate the generalized output synchronization problem for discrete dynamic networks with non‐identical nodes. We consider two cases: output synchronization for fixed topology and arbitrary switching topology. For the first case, we establish several criteria for generalized output synchronization using the geometrical dissipativity property. For the other case, we present a LaSalle invariance principle for discrete switched systems, based on which criteria for generalized output synchronization under arbitrary switching topology are given. Finally, an example is provided to illustrate the effectiveness of the main results.     

Extended invariance principle for nonautonomous switched systems

Stability analysis is developed for nonlinear nonautonomous switched systems, trajectories of which admit, generally speaking, a nonunique continuation on the right. For these systems Krasovskii-LaSalle's invariance principle is extended in such a manner to remain true even in the nonautonomous case. In addition to a nonsmooth Lyapunov function with negative-semidefinite time derivatives along the system trajectories, the extended invariance principle involves a coupled indefinite function to guarantee asymptotic stability of the system in question. As an illustration of the capabilities of this principle, a switched regulator of a fully-actuated manipulator with frictional joints is constructed.     

A Lyapunov-based small-gain theorem for interconnected switched systems

Stability of an interconnected system consisting of two switched systems is investigated in the scenario where in both switched systems there may exist some subsystems that are not input-to-state stable (non-ISS). We show that, providing the switching signals neither switch too frequently nor activate non-ISS subsystems for too long, a small-gain theorem can be used to conclude global asymptotic stability (GAS) of the interconnected system. For each switched system, with the constraints on the switching signal being modeled by an auxiliary timer, a correspondent hybrid system is defined to enable the construction of a hybrid ISS Lyapunov function. Apart from justifying the ISS property of their corresponding switched systems, these hybrid ISS Lyapunov functions are then combined to establish a Lyapunov-type small-gain condition which guarantees that the interconnected system is globally asymptotically stable.     

Stability of switched positive nonlinear systems

This paper considers the stability problem for a class of switched positive nonlinear systems (SPNSs), which includes switched positive linear systems as a special case. We derive a necessary and sufficient condition for stability of continuous‐time SPNSs defined by homogeneous and cooperative vector fields under average dwell time switching. A corresponding necessary and sufficient condition is also given for stability of discrete‐time SPNSs defined by homogeneous and order‐preserving vector fields under average dwell time switching. The stability results for switched positive linear systems, which have been studied in the literature, can be easily obtained. We also extend the results to general switched linear systems. Finally, a numerical example is provided to illustrate the effectiveness of our results. Copyright © 2015 John Wiley & Sons, Ltd.     

Positive invariance, monotonicity and comparison of nonlinear systems

In this paper, the interrelation between positive invariance, monotonicity and comparison of iterated nonlinear systems defined in partially ordered sets is studied. First, necessary and sufficient conditions guaranteeing the positive invariance of sets defined by relations of the form v(x)≤w with respect to nonlinear systems are established. Then, various characterizations of monotone nonlinear systems are developed and a connection between positive invariance and monotonicity is established. Finally, necessary and sufficient conditions for a, not necessarily monotone, nonlinear system to be a comparison system are established. No specific algebraic structure is necessary for developing the main results of this work. Numerical examples illustrating the applicability of all these results to the case of discrete-time dynamical systems are also given.     

Geometric Approaches to State Feedback Control for Continuous and Switched Linear Systems

The usability of underdetermined state feedback in the context of pole placement, eigenstructure assignment, stabilization and robustness analysis of continuous and switched linear systems is explored. Analytical tools for system design and analysis are discussed from the geometric perspective. Thereby, several new results are obtained and some well‐known ones are recovered and generalized by utilization of the computational methods based on the concept of invariance subspaces.     

Realization theory of discrete-time linear switched systems

The paper presents realization theory of discrete-time linear switched systems. We present necessary and sufficient conditions for an input–output map to admit a discrete-time linear switched system realization. In addition, we present a characterization of minimality of discrete-time linear switched systems in terms of reachability and observability. Further, we prove that minimal realizations are unique up to isomorphism. We also discuss algorithms for converting a linear switched system to a minimal one and for constructing a state-space representation from input–output data. The paper uses the theory of rational formal power series in non-commutative variables.     

Minimality and identifiability of discrete‐time switched autoregressive exogenous systems

This article studies the problem of minimality and identifiability for switched autoregressive exogenous (SARX) systems. We propose formal definitions of the concepts of identifiability and minimality for SARX models. Based on these formalizations, we derive conditions for minimality and identifiability of SARX systems. In particular, we show that polynomially parameterized SARX systems are generically identifiable.     

Immersion‐ and invariance‐based adaptive stabilization of switched nonlinear systems

This paper presents a novel framework to asymptotically adaptively stabilize a class of switched nonlinear systems with constant linearly parameterized uncertainty. By exploiting the generalized multiple Lyapunov functions method and the recently developed immersion and invariance (I&I) technique, which does not invoke certainty equivalence, we design the error estimator, continuous state feedback controllers for subsystems, and a switching law to ensure boundedness of all closed‐loop signals and global asymptotical regulation of the states, where the solvability of the I&I adaptive stabilization problem for individual subsystems is not required. Then, along with the backstepping method, the proposed design technique is further applied to a class of switched nonlinear systems in strict‐feedback form with an unknown constant parameter so that the I&I adaptive stabilization controllers for the system is developed. Finally, simulation results are also provided to demonstrate the effectiveness of the proposed design method.     

端口受控哈密顿多智能体系统的输出一致性协议设计（英文）

This paper investigates the output consensus problem of port-controlled Hamiltonian(PCH) multi-agent systems with both fixed and switching topologies. Firstly, a distributed group output consensus protocol is designed via the energy shaping method to reach globally stability and group output consensus. Secondly, a new distributed control protocol is proposed by using the structural properties of the PCH systems. The advantage of this protocol is that it can transform the directed graph to the undirected graph by constructing a kind of virtual neighbors. Thirdly, a control protocol is designed with the extended LaSalle s invariance principle developed for switched systems under the jointly connected topology condition to make all the agents reach output consensus when the topology is switching. Finally, some illustrative examples with simulations are provided to demonstrate the effectiveness of the protocols designed in this paper.     

端口受控哈密顿多智能体系统的输出一致性协议设计

研究了端口受控哈密顿（PCH）多智能体系统分别在固定和切换拓扑下的输出一致性问题. 首先根据哈密顿系统特有的优势,运用能量整形思路设计了一个全局稳定的群组输出一致性协议,该协议通过构造虚拟邻居的方式将有向图转化成无向图. 其次通过利用推广的LaSalle's不变原理将切换拓扑的问题转化成切换系统来研究. 例子证明,本文很好的解决端口受控哈密顿（PCH）多智能体系统的输出一致性问题.