Time-optimal control of a certain second-order nonoscillatory system
For a block lower triangular contraction T, necessary and sufficient conditions are given in order that there exist block lower triangular contractions T_{1,1}, T_{2,1} and T_{2,2} such that T_{1,1} T U_T = [ ] T_{2,1} T_{2,2} is unitary. For the case when T^*_{1,1} and T_{2,2} have dense ranges, all such embeddings are described. Each unitary embedding of UT induces a contractive realization of T , and various properties of this realization are characterized in terms of the unitary embedding.
In this paper we are concerned with a class of time-varying discounted Markov decision models with unbounded costs and state-action dependent discount factors. Specifically we study controlled systems whose state process evolves according to the equation , with state-action dependent discount factors of the form , where and are the control and the random disturbance at time , respectively. Assuming that the sequences of functions , and converge, in certain sense, to , and , our...
In this paper, we prove that the topological dual of the Banach space of bounded measurable functions with values in the space of nuclear operators, furnished with the natural topology, is isometrically isomorphic to the space of finitely additive linear operator-valued measures having bounded variation in a Banach space containing the space of bounded linear operators. This is then applied to a stochastic structural control problem. An optimal operator-valued measure, considered as the structural...
The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, where system properties are expressible by formulas of the modal μ-calculus or weaker temporal logics. Our purpose here is to give an analysis of the concept of bisimulation, starting with the observation that the zig-zag conditions are suggestive of some...
In this paper, we investigate the grouping behavior of multi-agent systems by exploiting the graph structure. We propose a novel algorithm for designing a network from scratch which yields the desired grouping in a network of agents utilizing a consensus-based algorithm. The proposed algorithm is shown to be optimal in the sense that it consists of the minimum number of links. Furthermore, we examine the effect of adding new vertices and edges to the network on the number of groups formed in the...
Continuous multidimensional systems described by partial differential equations can be represented by discrete systems in a number of ways. However, the relations between the various forms of continuous, semi-continuous, and discrete multidimensional systems do not fit into an established framework like in the case of one-dimensional systems. This paper contributes to the development of such a framework in the case of multidimensional systems. First, different forms of partial differential equations...
Challenging design problems arise regularly in modern fault diagnosis systems. Unfortunately, classical analytical techniques often cannot provide acceptable solutions to such difficult tasks. This explains why soft computing techniques such as neural networks become more and more popular in industrial applications of fault diagnosis. Taking into account the two crucial aspects, i.e., the nonlinear behaviour of the system being diagnosed as well as the robustness of a fault diagnosis scheme with...
The tracking control problem of a strongly nonlinear MIMO system is presented. The system shares some features with a helicopter, such as important interactions between the vertical and horizontal motions. The dedicated IO board allows for control, measurements and communication with a PC. The RTWT toolbox in the MATLAB environment is used to perform real-time experiments. The control task is to track a predefined reference trajectory. A mathematical model of the system, containing experimental...
In this paper, tracking control design for a class of nonlinear polynomial systems is investigated by augmented error system approach and block pulse functions technique. The proposed method is based on the projection of the close loop augmented system and the associated linear reference model that it should follow over a basis of block pulse functions. The main advantage of using this tool is that it allows to transform the analytical differential calculus into an algebraic one relatively easy...