Displaying 321 – 340 of 481

Showing per page

On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrices

Zhipeng Zhang, Zengqiang Chen, Xiaoguang Han, Zhongxin Liu (2018)

Kybernetika

In this paper, the static output feedback stabilization (SOFS) of deterministic finite automata (DFA) via the semi-tensor product (STP) of matrices is investigated. Firstly, the matrix expression of Moore-type automata is presented by using STP. Here the concept of the set of output feedback feasible events (OFFE) is introduced and expressed in the vector form, and the stabilization of DFA is defined in the sense of static output feedback (SOF) control. Secondly, SOFS problem of DFA is investigated...

On the structure at infinity of linear delay systems with application to the disturbance decoupling problem

Rabah Rabah, Michel Malabre (1999)

Kybernetika

The disturbance decoupling problem is studied for linear delay systems. The structural approach is used to design a decoupling precompensator. The realization of the given precompensator by static state feedback is studied. Using various structural and geometric tools, a detailed description of the feedback is given, in particular, derivative of the delayed disturbance can be needed in the realization of the precompensator.

On the structure of linear recurrent error-control codes

Michel Fliess (2002)

ESAIM: Control, Optimisation and Calculus of Variations

We are extending to linear recurrent codes, i.e., to time-varying convolutional codes, most of the classic structural properties of fixed convolutional codes. We are also proposing a new connection between fixed convolutional codes and linear block codes. These results are obtained thanks to a module-theoretic framework which has been previously developed for linear control.

On the structure of linear recurrent error-control codes

Michel Fliess (2010)

ESAIM: Control, Optimisation and Calculus of Variations

We are extending to linear recurrent codes, i.e., to time-varying convolutional codes, most of the classic structural properties of fixed convolutional codes. We are also proposing a new connection between fixed convolutional codes and linear block codes. These results are obtained thanks to a module-theoretic framework which has been previously developed for linear control.

On the suitability of the internet multimedia storage for steganographic information transfer in MP4 files

Matúš Jókay, Ján Baroš (2012)

Kybernetika

The aim of this work is to analyze suitability of existing internet multimedia storage services to use as a covert (steganographic) transmission channel. After general overview we focus specifically on the YouTube service. In particular, we study the feasibility of the recently proposed new steganographic technique [6] of hiding information directly in the structure of the mp4-encoded video file. Our statistical analysis of the set of 1000 video files stored by this service show the practical limitations...

On the topological structure of the solution set for a semilinear ffunctional-differential inclusion in a Banach space

Giuseppe Conti, Valeri Obukhovskiĭ, Pietro Zecca (1996)

Banach Center Publications

In this paper we show that the set of all mild solutions of the Cauchy problem for a functional-differential inclusion in a separable Banach space E of the form x’(t) ∈ A(t)x(t) + F(t,xt) is an R δ -set. Here A(t) is a family of linear operators and F is a Carathéodory type multifunction. We use the existence result proved by V. V. Obukhovskiĭ [22] and extend theorems on the structure of solutions sets obtained by N. S. Papageorgiou [23] and Ya. I. Umanskiĭ [32].

On the well-posedness and regularity of the wave equation with variable coefficients

Bao-Zhu Guo, Zhi-Xiong Zhang (2007)

ESAIM: Control, Optimisation and Calculus of Variations

An open-loop system of a multidimensional wave equation with variable coefficients, partial boundary Dirichlet control and collocated observation is considered. It is shown that the system is well-posed in the sense of D. Salamon and regular in the sense of G. Weiss. The Riemannian geometry method is used in the proof of regularity and the feedthrough operator is explicitly computed.

On time optimal control of the wave equation, its regularization and optimality system

Karl Kunisch, Daniel Wachsmuth (2013)

ESAIM: Control, Optimisation and Calculus of Variations

An approximation procedure for time optimal control problems for the linear wave equation is analyzed. Its asymptotic behavior is investigated and an optimality system including the maximum principle and the transversality conditions for the regularized and unregularized problems are derived.

On timed event graph stabilization by output feedback in dioid

B. Cottenceau, Mehdi Lhommeau, Laurent Hardouin, Jean-Louis Boimond (2003)

Kybernetika

This paper deals with output feedback synthesis for Timed Event Graphs (TEG) in dioid algebra. The feedback synthesis is done in order to (1) stabilize a TEG without decreasing its original production rate, (2) optimize the initial marking of the feedback, (3) delay as much as possible the tokens input.

Currently displaying 321 – 340 of 481