Synchronization and Control in Intrinsic and Designed Computation: An Information-Theoretic Analysis of Competing Models of Stochastic Computation

We adapt tools from information theory to analyze how an observer comes to synchronize with the hidden states of a finitary, stationary stochastic process. We show that synchronization is determined by both the process's internal organization and by an observer's model of it. We analyze these components using the convergence of state-block and block-state entropies, comparing them to the previously known convergence properties of the Shannon block entropy. Along the way, we introduce a hierarchy of information quantifiers as derivatives and integrals of these entropies, which parallels a similar hierarchy introduced for block entropy. We also draw out the duality between synchronization properties and a process's controllability. The tools lead to a new classification of a process's alternative representations in terms of minimality, synchronizability, and unifilarity.Comment: 25 pages, 13 figures, 1 tabl

A mathematical framework for new fault detection schemes in nonlinear stochastic continuous-time dynamical systems

n this work, a mathematical unifying framework for designing new fault detection schemes in nonlinear stochastic continuous-time dynamical systems is developed. These schemes are based on a stochastic process, called the residual, which reflects the system behavior and whose changes are to be detected. A quickest detection scheme for the residual is proposed, which is based on the computed likelihood ratios for time-varying statistical changes in the Ornstein–Uhlenbeck process. Several expressions are provided, depending on a priori knowledge of the fault, which can be employed in a proposed CUSUM-type approximated scheme. This general setting gathers different existing fault detection schemes within a unifying framework, and allows for the definition of new ones. A comparative simulation example illustrates the behavior of the proposed schemes

Noise effects in the quantum search algorithm from the computational complexity point of view

We analyse the resilience of the quantum search algorithm in the presence of quantum noise modelled as trace preserving completely positive maps. We study the influence of noise on computational complexity of the quantum search algorithm. We show that only for small amounts of noise the quantum search algorithm is still more efficient than any classical algorithm.Comment: 7 pages, 2 figure

Optimal control of a delayed HIV model

We propose a model for the human immunodeficiency virus type 1 (HIV-1) infection with intracellular delay and prove the local asymptotical stability of the equilibrium points. Then we introduce a control function representing the efficiency of reverse transcriptase inhibitors and consider the pharmacological delay associated to the control. Finally, we propose and analyze an optimal control problem with state and control delays. Through numerical simulations, extremal solutions are proposed for minimization of the virus concentration and treatment costs.publishe

Stochastic controllability of linear systems with delay in control,

Abstract. In the paper finite-dimensional stationary dynamical control systems described by linear stochastic ordinary differential state equations with single point delay in the control are considered. Using notations, theorems and methods taken directly from deterministic controllability problems, necessary and sufficient conditions for different kinds of stochastic relative controllability are formulated and proved. It will be proved that under suitable assumptions relative controllability of a deterministic linear associated dynamical system is equivalent to stochastic relative exact controllability and stochastic relative approximate controllability of the original linear stochastic dynamical system. Some remarks and comments on the existing results for stochastic controllability of linear dynamical systems with delays are also presented. Finally, minimum energy control problem for stochastic dynamical system is formulated and solved