Ten serwis zostanie wyłączony 2025-02-11.
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  invariant sets
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
100%
|
|
nr 1
211-223
EN
In this paper, a robust fault-tolerant control strategy for constrained multisensor linear systems, subject to sensor faults and in the presence of bounded state and output disturbances, is proposed. The scheme verifies that, for each sensors-estimator combination, suitable residual variables lie inside pre-computed sets and selects a more appropriate combination based on a chosen criterion. An active fault tolerant output feedback controller yields an MPC-based control law and, by means of the notion of a "tube" of trajectories, we ensure robust closed-loop exponential stability and good performance in the fault-free case and under the occurrence of abrupt sensor faults.
2
100%
|
|
tom Vol. 41, no. 4
465--488
EN
This paper is devoted to the Schrodinger-Choquard equation with linear damping. Global existence and scattering are proved depending on the size of the damping coefficient.
3
Content available remote Abstract Interpretations in the Framework of Invariant Sets
100%
EN
We present a theory of abstract interpretations in the framework of invariant sets by translating the notions of lattices and Galois connections into this framework, and presenting their properties in terms of finitely supported objects. We introduce the notions of invariant correctness relation and invariant representation function, emphasize an equivalence between them, and establish the relationship between these notions and invariant Galois connections. Finally, we provide some widening and narrowing techniques in order to approximate the least fixed points of finitely supported transition functions.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.