Canonical forms for stochastic nonlinear systems

In this paper, we obtain necessary and sufficient conditions for the existence of diffeomorphisms that transform stochastic nonlinear systems to various canonical forms. The main tool in our analysis is the so called invariance under transformation rule that directly relates the coordinate transformation for stochastic nonlinear systems to that for deterministic uncertain nonlinear systems. This invariance rule allows the utilization of the existing necessary and sufficient conditions for deterministic nonlinear systems in associated stochastic nonlinear systems.     

离散非线性时变凸多面体系统族的鲁棒正不变集

动态系统的状态约束和控制约束等问题可归结为状态空间中某些集合的正不变性.利用 混合单调分解方法研究离散非线性、时变凸多面体系统族的线性状态约束集合的鲁棒正不变性． 对由矩阵凸多面体和加性区间扰动描述的线性时变离散系统族,得到了鲁棒正不变集的充分必要 条件;对非线性系统族则得到有关充分条件.这些条件均由系统族的顶点表述,易于检验,同时给 出示例.     

An eigenstructure assignment approach for constrained linear continuous-time singular systems

This paper establishes necessary and sufficient algebraic conditions for positive invariance of convex polyhedra with respect to some linear continuous-time singular systems. They can be considered as an extension for linear singular systems of the classical positive invariance relations for regular linear systems. For a stabilizable and impulse controllable singular system with constrained inputs, a stabilizing state feedback control guaranteeing the closed-loop positive invariance of some polyhedral sets determined from the feedback matrix is studied. An analysis of the closed-loop positive invariance relations is thus presented in terms of eigenstructure and stability properties. An eigenstructure assignment technique is proposed depending on the number of stable finite poles of the singular system.     

On the Conditions for Invariance of the Sets Belonging to the Phase Portraits of Nonlinear Dynamic Systems

Consideration was given to the conditions for invariance of the sets belonging to the phase portraits of the nonlinear dynamic systems, that is, to the conditions under which these sets consist of entire trajectories of the dynamic systems following nonlinear autonomous vector ordinary differential equations of an arbitrary order. The necessary and sufficient conditions for invariance of the phase sets as well as the sufficient conditions for nonexistence of the invariant sets were presented.__________Translated from Avtomatika i Telemekhanika, No. 6, 2005, pp. 19–29.Original Russian Text Copyright © 2005 by Zhukov.     

On adaptive control of nonlinearly parameterized nonlinear systems: Towards a constructive procedure

A new framework to design immersion and invariance adaptive controllers for nonlinearly parameterized, nonlinear systems was recently proposed by the authors. The key step is the construction of a monotone mapping, via a suitable selection of a controller tuning function, which has to satisfy some integrability conditions—this translates into the need to solve a partial differential equation (PDE). In this paper this result is extended providing some answers to the questions of characterization of “monotonizable” systems and solvability of the PDE. First, adding to the design a nonlinear dynamic scaling, we obviate the need to solve the PDE. Second, for the case of factorizable nonlinearities, the following results are established. (i) It is shown that the monotonicity condition is satisfied if a linear matrix inequality is feasible. (ii) Directly verifiable involutivity conditions that ensure the solution of the PDE are presented. (iii) An explicit formula for the required tuning function is given, provided the regressor matrix satisfies some rank conditions. Hence, adding a dynamic scaling, this yields a constructive solution to the problem.     

Feedback stabilization of a class of distributed parameter systems with control constraints

The feedback stabilization problem for a class of infinite-dimensional linear systems with control constraints is investigated. The approach is developed using a state space system framework which is based on a semigroup formulation. In contrast to the previous works in this direction, it is not assumed that the C₀ semigroup we deal with is a semigroup of contractions. The main result links the problem with the positive invariance of appropriate polyhedral sets. Verifiable necessary and sufficient conditions for this latter property are stated.     

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.     

A Lyapunov-density criterion for almost everywhere stability of a class of Lipschitz continuous and almost everywhere C1 nonlinear systems

This paper is concerned with the analysis of almost everywhere stability (AES) of a class of nonlinear systems via Lyapunov densities. While many of the previous results on Lyapunov densities assume that the vector field is continuously differentiable, this paper deals with nonlinear systems that can have points of non-differentiability. A key to prove AES is monotonicity of a measure defined with a Lyapunov density to deduce that the set of non-convergent initial values has zero Lebesgue measure. The monotonicity condition of a measure involves a change of variables in integrals of the Lyapunov density over a set. Such a change of variables along trajectories is not available for vector fields that are not globally continuously differentiable, even though they are smooth at almost all points of the state space. In this paper, an alternative inequality is presented that proves monotonicity of a measure along trajectories of a class of nonlinear systems that are Lipschitz continuous and almost everywhere continuously differentiable. Based on this inequality, we provide a sufficient condition for AES while guaranteeing positive invariance of a specified region.     

Shape preserving histopolation using rational quadratic splines

In this paper the area true approximation of histograms by rational quadraticC ¹-splines is considered under constraints like convexity or monotonicity. For the existence of convex or monotone histosplines sufficient and necessary conditions are derived, which always can be satisfied by choosing the rationality parameters appropriately. Since the mentioned problems are in general not uniquely solvable histo-splines with minimal mean curvature areconstructed.     

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.     

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.     

On state representations of time-varying nonlinear systems

This work considers a nonlinear time-varying system described by a state representation, with input u and state x. A given set of functions v, which is not necessarily the original input u of the system, is the (new) input candidate. The main result provides necessary and sufficient conditions for the existence of a local classical state space representation with input v. These conditions rely on integrability tests that are based on a derived flag. As a byproduct, one obtains a sufficient condition of differential flatness of nonlinear systems.     

Diagonal Lyapunov–Krasovskii functionals for discrete-time positive systems with delay

We consider the existence of diagonal Lyapunov–Krasovskii (L–K) functionals for positive discrete-time systems subject to time-delay. In particular, we show that the existence of a diagonal functional is necessary and sufficient for delay-independent stability of a positive linear time-delay system. We extend this result and provide conditions for the existence of diagonal L–K functionals for classes of nonlinear positive time-delay systems, which are not necessarily order preserving. We also describe sufficient conditions for the existence of common diagonal L–K functionals for switched positive systems subject to time-delay.     

Mitigation of symmetry condition in positive realness for adaptive control

Feasibility of nonlinear and adaptive control methodologies in multivariable linear time-invariant systems with state-space realization {A,B,C} is apparently limited by the standard strictly positive realness conditions that imply that the product CB must be positive definite symmetric. This paper expands the applicability of the strictly positive realness conditions used for the proofs of stability of adaptive control or control with uncertainty by showing that the not necessarily symmetric CB is only required to have a diagonal Jordan form and positive eigenvalues. The paper also shows that under the new condition any minimum-phase systems can be made strictly positive real via constant output feedback. The paper illustrates the usefulness of these extended properties with an adaptive control example.     

On the existence of a positive realization

The positive realization problem for linear systems is to find conditions, for a given transfer function with nonnegative impulse response, to have a realization such that the resulting system is a positive system. Recently, it has been shown that, under a mild assumption on the long-term behaviour of the impulse response, this problem is related to the maximum modulus poles only. In this paper necessary and sufficient conditions for positive realizability of discrete-time systems are given. They show that also nondominant poles play a role in the most general case. Positive realizability conditions for the continuous-time case are also given.     

On the necessity of the invariance conditions for reach control on polytopes

We study the Reach Control Problem (RCP) to make the solutions of an affine system defined on a polytopic state space reach and exit a prescribed facet of the polytope in finite time without first leaving the polytope. So-called invariance conditions are used to prevent solutions from leaving the polytope through facets which are not designated as the exit facet. These conditions are known to be necessary for solvability of the RCP on polytopes by continuous state feedback. We study whether the invariance conditions are also necessary for solvability of the RCP on polytopes by open-loop controls. We show by way of a counterexample that surprisingly the answer is negative. We identify a suitable class of polytopes for which the invariance conditions remain necessary conditions.     

On controllability of a class of discrete‐time homogeneous bilinear systems with solvable controls

This paper studies the controllability of a class of discrete‐time homogeneous bilinear systems. Necessary and sufficient conditions for the controllability are obtained. In particular, an algorithm for computing the controls, which achieve given states transition, for the controllable systems is given with examples. Furthermore, the necessary and sufficient conditions are applied to present four cases of the change of the controllability for Euler discretization, which show that Euler discretization may and may not change the controllability of nonlinear systems. Copyright © 2011 John Wiley & Sons, Ltd.     

Controlled invariance for discrete-time nonlinear systems with an application to the disturbance decoupling problems

Invariant distributions are defined for discrete-time nonlinear control systems, and necessary and sufficient conditions are given for their controlled invariance. This extends to discrete-time systems the basic tool which has been so important in solving the various synthesis problems for continuous-time systems. To indicate their utility in the discrete-time setting, they are used to locally solve the disturbance decoupling problem.     

Solvability of static output-feedback stabilization for LTI positive systems

This paper addresses the stabilization problem of positive linear systems which have nonnegative states whenever the initial conditions are nonnegative. The synthesis of static output-feedback controllers that ensure the positivity and asymptotic stability of the closed-loop system is investigated. It is shown that this important problem is completely solved for single-input and single-output positive systems. The proposed approach can be applied to multi-input positive systems with controllers having one rank gains. All the provided conditions are necessary and sufficient and can be solved in terms of Linear Programming.     

Stability of discrete-time linear systems with Markovian jumpingparameters and constrained control

The note is devoted to the study of linear discrete-time systems with Markovian jumping parameters and constrained control. The constraints used in the note are of symmetrical inequality type. The approach of positively invariant sets is used to obtain new necessary and sufficient conditions for positive invariance, and sufficient conditions for stochastic stability. These conditions become those given for stationary discrete-time systems with one mode (deterministic linear discrete-time systems) as known in the literature