Displaying 181 – 200 of 241

Showing per page

Stochastic controllability of linear systems with state delays

Jerzy Klamka (2007)

International Journal of Applied Mathematics and Computer Science

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

Stochastic controllability of systems with multiple delays in control

Jerzy Klamka (2009)

International Journal of Applied Mathematics and Computer Science

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

Stochastic differential inclusions

Michał Kisielewicz (1997)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

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

Straight-lines modelling using planar information for monocular SLAM

André M. Santana, Adelardo A.D. Medeiros (2012)

International Journal of Applied Mathematics and Computer Science

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

Strong and weak solutions to stochastic inclusions

Michał Kisielewicz (1995)

Banach Center Publications

Existence of strong and weak solutions to stochastic inclusions x t - x s s t F τ ( x τ ) d τ + s t G τ ( x τ ) d w τ + s t n H τ , z ( x τ ) q ( d τ , d z ) and x t - x s s t F τ ( x τ ) d τ + s t G τ ( x τ ) d w τ + s t | z | 1 H τ , z ( x τ ) q ( d τ , d z ) + s t | z | > 1 H τ , z ( x τ ) p ( d τ , d z ) , where p and q are certain random measures, is considered.

Strong 𝐗 -robustness of interval max-min matrices

Helena Myšková, Ján Plavka (2021)

Kybernetika

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 x , A 2 x , 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...

Strong stabilization of controlled vibrating systems

Jean-François Couchouron (2011)

ESAIM: Control, Optimisation and Calculus of Variations

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

Strong stabilization of controlled vibrating systems

Jean-François Couchouron (2011)

ESAIM: Control, Optimisation and Calculus of Variations

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

Structurally stable design of output regulation for a class of nonlinear systems

Celia Villanueva-Novelo, Sergej Čelikovský, Bernardino Castillo-Toledo (2001)

Kybernetika

The problem of output regulation of the systems affected by unknown constant parameters is considered here. The main goal is to find a unique feedback compensator (independent on the actual values of unknown parameters) that drives a given error (control criterion) asymptotically to zero for all values of parameters from a certain neighbourhood of their nominal value. Such a task is usually referred to as the structurally stable output regulation problem. Under certain assumptions, such a problem...

Structured redundancy for fault tolerance in state-space models and Petri nets

Christoforos N. Hadjicostis, George C. Verghese (1999)

Kybernetika

The design and implementation of systems in state form has traditionally focused on minimal representations which require the least number of state variables. However, “structured redundancy” – redundancy that has been intentionally introduced in some systematic way – can be extremely important when fault tolerance is desired. The redundancy can be used to detect and correct errors or to guarantee desirable performance despite hardware or computational failures. Modular redundancy, the traditional...

Sturm-Liouville systems are Riesz-spectral systems

Cédric Delattre, Denis Dochain, Joseph Winkin (2003)

International Journal of Applied Mathematics and Computer Science

The class of Sturm-Liouville systems is defined. It appears to be a subclass of Riesz-spectral systems, since it is shown that the negative of a Sturm-Liouville operator is a Riesz-spectral operator on L^2(a,b) and the infinitesimal generator of a C_0-semigroup of bounded linear operators.

Currently displaying 181 – 200 of 241