In this paper we consider stochastic differential equations on Banach spaces (not Hilbert). The system is semilinear and the principal operator generating a C₀-semigroup is perturbed by a class of bounded linear operators considered as feedback operators from an admissible set. We consider the corresponding family of measure valued functions and present sufficient conditions for weak compactness. Then we consider applications of this result to several interesting optimal feedback control problems....

In this paper we consider the question of optimal control for a class of stochastic evolution equations on infinite dimensional Hilbert spaces with controls appearing in both the drift and the diffusion operators. We consider relaxed controls (measure valued random processes) and briefly present some results on the question of existence of mild solutions including their regularity followed by a result on existence of partially observed optimal relaxed controls. Then we develop the necessary conditions...

Inverse problem is a current practice in engineering where the goal is to identify parameters from observed data through numerical models. These numerical models, also called Simulators, are built to represent the phenomenon making possible the inference. However, such representation can include some part of variability or commonly called uncertainty (see [4]), arising from some variables of the model. The phenomenon we study is the fuel mass needed to link two given countries with a commercial...

This paper considers the properties of a minimum variance self-tuning tracker for MIMO systems described by ARMAX models. It is assumed that the stochastic noise has a non-Gaussian distribution. Such an assumption introduces into a recursive algorithm a nonlinear transformation of the prediction error. The system under consideration is minimum phase with different dimensions for input and output vectors. In the paper the concept of Kronecker's product is used, which allows us to represent unknown...

This work proposes a SLAM (Simultaneous Localization And Mapping) solution based on an Extended Kalman Filter (EKF) in order to enable a robot to navigate along the environment using information from odometry and pre-existing lines on the floor. These lines are recognized by a Hough transform and are mapped into world measurements using a homography matrix. The prediction phase of the EKF is developed using an odometry model of the robot, and the updating makes use of the line parameters in Kalman...

Existence of strong and weak solutions to stochastic inclusions $x_t-x_s\in {\int }_s^t{F}_{\tau }\left(x_{\tau }\right)d\tau +{\int }_s^t{G}_{\tau }\left(x_{\tau }\right)d{w}_{\tau }+{\int }_s^t{\int }_{{ℝ}^n}{H}_{\tau ,z}\left(x_{\tau }\right)q(d\tau ,dz)$ and $x_t-x_s\in {\int }_s^t{F}_{\tau }\left(x_{\tau }\right)d\tau +{\int }_s^t{G}_{\tau }\left(x_{\tau }\right)d{w}_{\tau }+{\int }_s^t{\int }_{\left|z\right|\le 1}{H}_{\tau ,z}\left(x_{\tau }\right)q(d\tau ,dz)+{\int }_s^t{\int }_{\left|z\right|>1}{H}_{\tau ,z}\left(x_{\tau }\right)p(d\tau ,dz)$, where p and q are certain random measures, is considered.

This paper deals with continuous-time Markov decision processes with the unbounded transition rates under the strong average cost criterion. The state and action spaces are Borel spaces, and the costs are allowed to be unbounded from above and from below. Under mild conditions, we first prove that the finite-horizon optimal value function is a solution to the optimality equation for the case of uncountable state spaces and unbounded transition rates, and that there exists an optimal deterministic...

In max-min algebra the standard pair of operations plus and times is replaced by the pair of operations maximum and minimum, respectively. A max-min matrix $A$ is called strongly robust if the orbit $x,A\otimes x,A^2\otimes x,\cdots$ reaches the greatest eigenvector with any starting vector. We study a special type of the strong robustness called the strong X-robustness, the case that a starting vector is limited by a lower bound vector and an upper bound vector. The equivalent condition for the strong X-robustness is introduced...

This paper deals with feedback stabilization of second order equations of the form ytt + A0y + u (t) B0y (t) = 0, t ∈ [0, +∞[, where A0 is a densely defined positive selfadjoint linear operator on a real Hilbert space H, with compact inverse and B0 is a linear map in diagonal form. It is proved here that the classical sufficient ad-condition of Jurdjevic-Quinn and Ball-Slemrod with the feedback control u = ⟨yt, B0y⟩H implies the strong stabilization. This result is derived from a general compactness...

This paper deals with feedback stabilization of second order equations of the form ytt + A0y + u (t) B0y (t) = 0, t ∈ [0, +∞[, where A0 is a densely defined positive selfadjoint linear operator on a real Hilbert space H, with compact inverse and B0 is a linear map in diagonal form. It is proved here that the classical sufficient ad-condition of Jurdjevic-Quinn and Ball-Slemrod with the feedback control u = ⟨yt, B0y⟩H implies the strong stabilization. This result is derived from a general compactness theorem...

In this paper a novel method is proposed for the structural identifiability analysis of nonlinear time delayed systems. It is assumed that all the nonlinearities are analytic functions and the time delays are constant. We consider the joint structural identifiability of models with respect to the ordinary system parameters and time delays by including delays into a unified parameter set. We employ the Volterra series representation of nonlinear dynamical systems and make use of the frequency domain...