Displaying 141 – 160 of 192

Showing per page

Time-variant Darlington synthesis and induced realizations

Derk Pik (2001)

International Journal of Applied Mathematics and Computer Science

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.

Time-varying Markov decision processes with state-action-dependent discount factors and unbounded costs

Beatris A. Escobedo-Trujillo, Carmen G. Higuera-Chan (2019)

Kybernetika

In this paper we are concerned with a class of time-varying discounted Markov decision models n with unbounded costs c n and state-action dependent discount factors. Specifically we study controlled systems whose state process evolves according to the equation x n + 1 = G n ( x n , a n , ξ n ) , n = 0 , 1 , ... , with state-action dependent discount factors of the form α n ( x n , a n ) , where a n and ξ n are the control and the random disturbance at time n , respectively. Assuming that the sequences of functions { α n } , { c n } and { G n } converge, in certain sense, to α , c and G , our...

Topological dual of B ( I , ( X , Y ) ) with application to stochastic systems on Hilbert space

N.U. Ahmed (2009)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

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...

Topologies, Continuity and Bisimulations

J. M. Davoren (2010)

RAIRO - Theoretical Informatics and Applications

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...

Topology design for group consensus in directed multi-agent systems

Onur Cihan (2020)

Kybernetika

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...

Towards a framework for continuous and discrete multidimensional systems

Rudolf Rabenstein, Lutz Trautmann (2003)

International Journal of Applied Mathematics and Computer Science

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...

Towards robustness in neural network based fault diagnosis

Krzysztof Patan, Marcin Witczak, Józef Korbicz (2008)

International Journal of Applied Mathematics and Computer Science

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...

Tracking control algorithms for a laboratory aerodynamical system

Przemysław Gorczyca, Krystyn Hajduk (2004)

International Journal of Applied Mathematics and Computer Science

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...

Tracking control design for nonlinear polynomial systems via augmented error system approach and block pulse functions technique

Bassem Iben Warrad, Mohamed Karim Bouafoura, Naceur Benhadj Braiek (2019)

Kybernetika

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...

Currently displaying 141 – 160 of 192