scispace - formally typeset
Open AccessBook

Ellipsoidal Calculus for Estimation and Control

Reads0
Chats0
TLDR
In this article, the authors give an account of an ellipsoidal calculus and ellipssoidal techniques that allow presentation of the set-valued solutions to these problems in terms of approximating ellipsseidal-valued functions.
Abstract
This text gives an account of an ellipsoidal calculus and ellipsoidal techniques that allows presentation of the set-valued solutions to these problems in terms of approximating ellipsoidal-valued functions. Such an approach leads to effective computation schemes, an dopens the way to applications and implementations with computer animation, particularly in decision support systems. The problems treated here are those that involve calculation of attainability domains, of control synthesis under bounded controls, state constraints and unknown input disturbances, as well as those of "viability" and of the "bounding approach" to state estimation. The text ranges from a specially developed theory of exact set-valued solutions to the description of ellipsoidal calculus, related ellipsoidal-based methods and examples worked out with computer graphics. the calculus given here may also be interpreted as a generalized technique of the "interval analysis" type with an impact on scientific computation.

read more

Citations
More filters
Book ChapterDOI

Chapter 30 – On a Set-Valued Dynamic Model of Investment Portfolio Reconstruction

Oleg Nikonov
TL;DR: In this paper, the authors considered a problem of dynamic reconstruction of an investment portfolio and provided a formalized setting and solution based on the approaches of the guaranteed control theory and game-theoretical methods.
Journal ArticleDOI

Relative motion parameters estimation of a non-cooperative spacecraft from visual information

TL;DR: In this paper , the authors considered the problem of determining parameters of the relative motion of a non-cooperative spacecraft (NSC), which is in free uncontrolled motion, based on the results of measuring the distance to this vehicle and its attitude quaternion.
Posted Content

Optimization of Lyapunov Invariants in Verification of Software Systems

TL;DR: In this article, the authors propose a control-theoretic framework for verification of numerical software systems, and put forward software verification as an important application of control and systems theory, and transfer Lyapunov functions and associated computational techniques from control systems analysis and convex optimization to verification of various software safety and performance specifications.
Proceedings ArticleDOI

On game approach problems on a finite time interval

TL;DR: In this article, the problem of approach to a compact target set is studied and an algorithm based on constructing so-called solvability set is proposed in order to get an approximate solution of the posed problem.