Positively invariant polyhedral sets of discrete-time linear systems

The problem of the existence of positively invariant polyhedral sets for linear discrete-time dynamical systems is studied. In the first part of the paper, necessary and sufficient conditions for a given polyhedral set to be a positively invariant set of a linear system are obtained. Then, the spectral properties of systems possessing this kind of invariant set are established. Finally the class of systems possessing positively invariant polyhedral cones is studied.     

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.     

Remarks on linearization of discrete-time autonomous systems and nonlinear observer design

This paper presents necessary and sufficient conditions under which a discrete-time autonomous system with outputs is locally state equivalent to an observable linear system or a system in the nonlinear observer form (Krener and Isidori, 1983). In particular, an open problem raised in Lee and Nam (1991), namely the observer linearization problem, is solved for a nonlinear system which may not be invertible (i.e., the mapping f may not be a local diffeomorphism). As a consequence, the nonlinear observer design problem is solved by means of exact linearization techniques.     

A Control Theory for Boolean Monomial Dynamical Systems

Recently criteria for determining when a certain type of nonlinear discrete dynamical system is a fixed point system have been developed. This theory can be used to determine if certain events modeled by those systems reach a steady state. In this work we formalize the idea of a “stabilizable” discrete dynamical system. We present necessary and sufficient conditions for a Boolean monomial dynamical control system to be stabilizable in terms of properties of the dependency graph associated with the system. We use the equivalence of periodicity of the dependency graph and loop numbers to develop a new O(n ²logn) algorithm for determining the loop numbers of the strongly connected components of the dependency graph, and hence a new O(n ²logn) algorithm for determining when a Boolean monomial dynamical system is a fixed point system. Finally, we show how this result can be used to determine if a Boolean monomial dynamical control system is stabilizable in time O(n ²logn).     

On the positive invariance of polyhedral sets for discrete-time systems

In this note, necessary and sufficient conditions for a polyhedral set to be a positively invariant set of a linear discrete-time system are established.     

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.     

Observability of nonlinear control systems on time scales

The problem of observability of the family of nonlinear control systems defined on any time scale and parameterised by time instant t ₀ is developed. Necessary and sufficient conditions for observability are given. Because time scale is a rich model of time that includes continuous- and discrete-time models as standard cases, the obtained results extend classical observability rank conditions given for continuous-time systems and discrete-time systems.     

Nonsmooth stabilizability and feedback linearization of discrete-time nonlinear systems

We consider the problem of stabilizing a discrete-time nonlinear system using a feedback which is not necessarily smooth. A sufficient condition for global dynamical stabilizability of single-input triangular systems is given. We obtain conditions expressed in terms of distributions for the nonsmooth feedback triangularization and linearization of discrete-time systems. Relations between stabilization and linearization of discrete-time systems are given.     

Passivity and H∞ control of switched discrete-time nonlinear systems using linearisation

Local passivity and H_∞ control of switched discrete-time nonlinear systems are studied using the linearisation technique in this paper. We first establish LMI-based sufficient conditions under which theconsidered system is locally strictly QSR-dissipative. Then, two special cases of QSR-dissipativity, local passivity and l₂ gain, are investigated. In view of the derived conditions being all convex in linearised system matrices, local feedback passification and H_∞ control problems of switched discrete-time nonlinear systems are solved. The efficiency of the proposed method is verified through numerical examples.     

A functional equations approach to nonlinear discrete-time feedback stabilization through pole-placement

The present work proposes a new approach to the nonlinear discrete-time feedback stabilization problem with pole-placement. The problem's formulation is realized through a system of nonlinear functional equations and a rather general set of necessary and sufficient conditions for solvability is derived. Using tools from functional equations theory, one can prove that the solution to the above system of nonlinear functional equations is locally analytic, and an easily programmable series solution method can be developed. Under a simultaneous implementation of a nonlinear coordinate transformation and a nonlinear discrete-time state feedback control law that are both computed through the solution of the system of nonlinear functional equations, the feedback stabilization with pole-placement design objective can be attained under rather general conditions. The key idea of the proposed single-step design approach is to bypass the intermediate step of transforming the original system into a linear controllable one with an external reference input associated with the classical exact feedback linearization approach. However, since the proposed method does not involve an external reference input, it cannot meet other control objectives such as trajectory tracking and model matching.     

Feedback linearization of discrete-time systems

We give necessary and sufficient conditions for a nonlinear discrete-time system to be locally linearizable by a change of state coordinates and a feedback. The conditions are expressed in terms of controllability distributions associated to the system.     

Controllability and observability of switched multi-agent systems

This paper considers controllability and observability of switched multi-agent systems, which are composed of continuous-time and discrete-time subsystems. First, a controllability criterion is established in terms of the system matrices. Then, by virtue of the concepts of the invariant subspace and the controllable state set, a method is proposed to construct the switching sequence to ensure controllability of switched multi-agent systems, and a necessary and sufficient condition is obtained for controllability. Moreover, a necessary controllability condition is derived in terms of eigenvectors of the Laplican matrix. With respect to observability, two necessary and sufficient algebraic conditions are obtained. Finally, simulation examples are provided to illustrate the theoretical results.     

Exact finite-dimensional filters via systems realization for a class of discrete-time nonlinear systems

We obtain necessary and sufficient conditions for the existence of a finite-dimensional filter for the discrete-time nonlinear system (ε x_k+1 =φ(x_k), y_k = h(x_k)+η(x_k)ν_k, K=0, 1,…. This system is distinguished by the absence of noise in the dynamic and by the correlation between the state and the intensity of noise in the observations.The necessary and sufficient condition provides an explicit formula for the minimal filter and various system-theoretic properties of (ε) and of the minimal filter.     

A Kalman–Yakubovich–Popov-type lemma for systems with certain state-dependent constraints

In this note, a result is presented that may be considered an extension of the classical Kalman–Yakubovich–Popov (KYP) lemma. Motivated by problems in the design of switched systems, we wish to infer the existence of a quadratic Lyapunov function (QLF) for a nonlinear system in the case where a matrix defining one system is a rank-1 perturbation of the other and where switching between the systems is orchestrated according to a conic partitioning of the state space Rⁿ. We show that a necessary and sufficient condition for the existence of a QLF reduces to checking a single constraint on a sum of transfer functions irrespective of problem dimension. Furthermore, we demonstrate that our conditions reduce to the classical KYP lemma when the conic partition of the state space is Rⁿ, with the transfer function condition reducing to the condition of Strict Positive Realness.     

A simple graph theoretic characterization of reachability for positive linear systems

In this paper we consider discrete-time linear positive systems, that is systems defined by a pair (A,B) of non-negative matrices. We study the reachability of such systems which in this case amounts to the freedom of steering the state in the positive orthant by using non-negative control sequences. This problem was solved recently [Canonical forms for positive discrete-time linear control systems, Linear Algebra Appl., 310 (2000) 49]. However we derive here necessary and sufficient conditions for reachability in a simpler and more compact form. These conditions are expressed in terms of particular paths in the graph which is naturally associated with the system.     

Feedback transformations on tori

Here we investigate the problem of transforming a nonlinear system on the torusT ⁿ by using global feedback and global changes of coordinates into an invariant system (i.e., a control system of whichf andg _i are (left and right) invariant vector fields whenT ² is considered as a Lie group). We provide a complete answer whenn=2 and give a sufficient condition and necessary conditions in the more general case.     

On input-output linearization of discrete-time nonlinear systems

We consider a nonlinear discrete-time system of the form Σ: x(t+1)=f(x(t), u(t)), y(t) =h(x(t)), where x ε R^N, u ε R^m, y ε R^q and f and h are analytic. Necessary and sufficient conditions for local input-output linearizability are given. We show that these conditions are also sufficient for a formal solution to the global input-output linearization problem. Finally, we show that zeros at infinity of ε can be obtained by the structure algorithm for locally input-output linearizable systems.     

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.