Controllability of nonlinear stochastic control systems

In the paper sufficient conditions for ‘deterministic weak controllability’ of nonlinear Itô equations of the form are given.     

An algorithm for approximate calculation of the attainable sets of the nonlinear control systems with integral constraint on controls

In this paper, an algorithm for approximate calculation of the attainable sets of nonlinear control systems with integral constraint on controls is presented. A numerical example of the computer application of this algorithm is also given.     

The single-input Minimal Controllability Problem for structured systems

This paper considers the Minimal Controllability Problem (MCP), i.e. the problem of controlling a linear system with an input vector having as few non-zero entries as possible. We focus on structured systems which represent an interesting class of parameter dependent linear systems and look for structural controllability properties based on the sparsity pattern of the input vector. We show first that the MCP is solvable when a rank condition is satisfied and show that generically one non-zero entry in the input vector is sufficient to achieve controllability when there is no specific system structure. According to the fixed zero/non-zero pattern of the state matrix entries, we give an explicit characterization of the minimum number and the possible location of non-zero entries in the input vector to ensure generic controllability. The analysis based on graph tools provides with a simple polynomial MCP solution and highlights the structural mechanisms that make it useful to act on some variables to ensure controllability.     

On the supervisory control of multi-agent product systems: Controllability properties

Multi-Agent (MA) product systems were defined in [I. Romanovski, P.E. Caines, On the supervisory control of multi-agent products systems, IEEE Trans. Automated Control 51(5) (2006)] where the notion of an MA controllable vector language specification was introduced and necessary and sufficient conditions for the existence of a supervisor for such a specification were derived. In this paper we present a set of results about the controllability of an MA product system and its components. In particular, we obtain an algorithm for finding the infimal MA-controllable superlanguage inf_MA(K) of a given vector (language) specification K w.r.t. an MA product system G and establish that in fact . It is proven that there is an algorithmic procedure for the recursive construction of MA supervisors when additional automata are added to a system via the MA product. Controllability properties of component structures (such as standard controllability and MA controllability of projections) are considered. Several examples are given to illustrate the results of the paper.     

Controllability of piecewise linear systems

The paper deals with a discontinuous control system that consists of two finite-dimensional linear systems; the first describes the motion in a given half-space, the second in the complementary half-space. Necessary and sufficient conditions for local controllability are obtained.     

Admissible controls and attainable states for a class of nonlinear systems with general constraints

We consider nonlinear control systems where the control and the state variables are submitted to explicit constraints. This paper has two objectives. First, for a class of nonlinear systems with constraints, an existence result of nontrivial admissible controls and some of their interesting properties are proved. Then, we investigate the problem of local controllability in a neighbourhood of an equilibrium point, while observing state and control constraints along the whole trajectory. An iterative procedure is also given, which allows one to compute the steering admissible control function. This procedure is illustrated with a classical example.     

Controllability and observability covariance matrices for the analysis and order reduction of stable nonlinear systems

This paper presents a framework for nonlinear systems analysis that is based upon controllability and observability covariance matrices. These matrices are introduced in the paper and it is shown that gramians for linear systems form special cases of the covariance matrices. The covariance matrices can be transformed via a balancing-like transformation and nonlinearity measures are defined based upon these transformed covariance matrices. Subsequently, the covariance matrices are used for reduction of the nonlinear model. It is shown that the model reduction procedure reduces to balanced model truncation for linear systems for impulse inputs. Furthermore, it is also shown that several model reduction procedures that were developed by other researchers, and assumed to be independent from one another, are related. The findings are illustrated with an example.     

Lipschitz properties of the attainable set of singularly perturbed linear systems

We consider a linear control system containing a small positive parameter η in a part of the derivatives. It is shown that for every ε (0,1) the map: η → attainable set, is Lipschitz continuous with exponent .     

Controllability for a class of simple Wiener–Hammerstein systems

Controllability for a class of simple Wiener–Hammerstein systems is considered. Necessary and sufficient conditions for dead-beat and complete controllability for these systems are presented. The controllability tests consist of two easy-to-check tests for the subsystems.     

Controllability and reachability criteria for switched linear systems

This paper investigates the controllability and reachability of switched linear control systems. It is proven that both the controllable and reachable sets are subspaces of the total space. Complete geometric characterization for both sets is presented. The switching control design problem is also addressed.     

仿射非线性系统的能控性

研究仿射非线性系统的能控性问题.利用向量场族对应的积分曲线定义系统的能控性,建立一个新的基于漂移向量场弱泊松稳定的能控性判据,并给出了完整的证明.利用该结论对定义在紧致黎曼流形上的解析系统,给出了漂移向量场为保守场条件下的能控性的充要条件,并用状态流形的紧致性证明了弱泊松稳定性的几个等价条件.进一步利用保守系统的判据给出了一般仿射非线性系统能控的充分条件,井应用所得结论分析了欠驱动航天器姿态系统的能控性.     

Controllability of second-order infinite-dimensional systems

In the paper, the approximate controllability of linear abstract second-order infinite-dimensional dynamical systems is considered. It is proved using the frequency-domain method, that approximate controllability of second-order system can be verified by the approximate controllability conditions for the corresponding simplified first-order system. General results are then applied for approximate controllability investigation of a vibratory dynamical system modeling flexible mechanical structure. Some special cases are also considered. Moreover, remarks and comments on the relationships between different concepts of controllability are given. The paper extends earlier results on approximate controllability of second-order abstract dynamical systems.     

Controllability and stabilizability of a networked control system with periodic communication constraints

This paper proposes a new model for a networked control system and considers its controllability and stabilizability. To control a linear time-invariant discrete-time plant via a bus with limited capacity, we introduce a hold device and a communication sequence which follows a given ω-periodic pattern. Incorporating the communication sequences and hold device into the original plant amounts to extending the original time-invariant state equation to a ω-periodic one which has the higher order. We assume that the communication sequence is admissible. It is shown that controllability and stabilizability of the plant are preserved in the periodic extended system under the assumption that the zeros of the communication sequence characteristic polynomial do not coincide with the eigenvalues of the plant.     

Controllability for Discrete Systems with a Finite Control Set

In this paper we consider the problem of controllability for a discrete linear control system x _k+1=Ax _k+Bu _k, u _k∈U, where (A,B) is controllable and U is a finite set. We prove the existence of a finite set U ensuring density for the reachable set from the origin under the necessary assumptions that the pair (A,B) is controllable and A has eigenvalues with modulus greater than or equal to 1. In the case of A only invertible we obtain density on compact sets. We also provide uniformity results with respect to the matrix A and the initial condition. In the one-dimensional case the matrix A reduces to a scalar λ and for λ>1 the reachable set R(0,U) from the origin is?

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.     

Controllability of linear stochastic systems

We discuss several concepts of controllability for stochastic systems and derive sufficient (and in most cases also necessary) algebraic conditions for the controllability of the state and the output of white and colored noise linear systems. These criteria reduce to the well known deterministic ones in the absence of noise.     

Controllability for single-input mechanical control systems with dissipation

Within the affane connection framework of Lagrangian control systems, based on the results of Sussmann on small-time locally controllability of single-input affine nonlinear control systems, the controllability results for mechanical control systems with single-input are extended to the case of the systems with isotropic damping, where the Lagrangian is the kinetic energy associated with a Riemannian metric, A sufficient condition of negative small-time locally controllability for the system is obtained.Then,it is demonstrated that such systems are small-time locally configuration controllable if and only if the dimemion of the configuration manifold is one. Finally, two examples are given to illustrate the results. Lie bracketting of vector fields and the symmetric product show the advantages in the discussion.     

Invertibility of affine nonlinear control systems: a geometric approach

The paper deals with the invertibility of multivariable non-linear control systems. By using the recently developed theory on controlled invariant and controllability distributions necessary and sufficient conditions for invertibility are derived.