Let $L$ be a parabolic second order differential operator on the domain $\overline{\Pi }=\left[0,T\right]\times ℝ.$ Given a function $\widehat{u}:ℝ\to R$ and $\widehat{x}\>0$ such that the support of $\widehat{u}$ is contained in $(-\infty ,-\widehat{x}]$, we let $\widehat{y}:\overline{\Pi }\to ℝ$ be the solution to the equation:$$L\widehat{y}=0,\widehat{y}{|}_{\left\{0\right\}\times ℝ}=\widehat{u}.$$Given positive bounds $0\<x_0\<x_1,$ we seek a function $u$ with support in $\left[x_0,x_1\right]$ such that the corresponding solution $y$ satisfies:$$y(t,0)=\widehat{y}(t,0)\forall t\in \left[0,T\right].$$We prove in this article that, under some regularity conditions on the coefficients of $L,$ continuous solutions are unique and dense in the sense that $\widehat{y}{|}_{[0,T]\times \left\{0\right\}}$ can be $C^0$-approximated, but an exact solution does not...

Let L be a parabolic second order differential operator on the domain $\overline{\Pi }=\left[0,T\right]\times ℝ.$ Given a function $\widehat{u}:ℝ\to R$ and $\widehat{x}>0$ such that the support of û is contained in $(-\infty ,-\widehat{x}]$, we let $\widehat{y}:\overline{\Pi }\to ℝ$ be the solution to the equation: $$L\widehat{y}=0,\widehat{y}{|}_{\left\{0\right\}\times ℝ}=\widehat{u}.$$ Given positive bounds $0<x_0<x_1,$ we seek a function u with support in $\left[x_0,x_1\right]$ such that the corresponding solution y satisfies: $$y(t,0)=\widehat{y}(t,0)\forall t\in \left[0,T\right].$$ We prove in this article that, under some regularity conditions on the coefficients of L, continuous solutions are unique and dense in the sense that $\widehat{y}{|}_{[0,T]\times \left\{0\right\}}$ can be C0-approximated, but an exact solution...

Congestion control in the ABR class of ATM network presents interesting challenges due to the presence of multiple uncertain delays. Recently, probabilistic methods and statistical learning theory have been shown to provide approximate solutions to challenging control problems. In this paper, using some recent results by the authors, an efficient statistical algorithm is used to design a robust, fixed-structure, controller for a high-speed communication network with multiple uncertain propagation...

A class of finite-dimensional stationary dynamic control systems described by linear stochastic ordinary differential state equations with a single point delay in the state variables is considered. Using a theorem and methods adopted directly from deterministic controllability problems, necessary and sufficient conditions for various kinds of stochastic relative controllability are formulated and proved. It will be demonstrated that under suitable assumptions the relative controllability of an associated...

Finite-dimensional stationary dynamic control systems described by linear stochastic ordinary differential state equations with multiple point delays in control are considered. Using the notation, theorems and methods used for deterministic controllability problems for linear dynamic systems with delays in control as well as necessary and sufficient conditions for various kinds of stochastic relative controllability in a given time interval are formulated and proved. It will be proved that, under...

The definition and some existence theorems for stochastic differential inclusions depending only on selections theorems are given.

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.

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