For the symmetric X p,w n subspaces of L p , p > 2, we determine the dimension of their
approximately Euclidean subspaces and estimate the smallest dimensions of their containing …

A new type of the, so-called, projectional observers is suggested. The main property of such
observers is that they keep the obtained (generated) state estimates of a dynamic model …

Chari proved that if Δ is a ( d − 1 ) -dimensional simplicial complex with a convex ear
decomposition, then h 0 ⩽ ⋯ ⩽ h ⌊ d / 2 ⌋ [MK Chari, Two decompositions in topological …

Este artículo presenta una revisión de los trabajos realizados por los autores en el campo de
la estimación de estados para sistemas no lineales considerando una descripción acotada …

Gröbner bases are one of the most significant methods of computer algebra. Its high computational
complexity makes the method often unfeasible in practice, and several techniques for …

Jahresbericht 1991 Page 1 Page 2 Institut für Mathematik der Universität Augsburg
Jahresbericht 1991 Inhaltsverzeichnis Seite Mitarbeiter des Instituts Gäste Lehre Publikationen …

INFINITY 2005, the 7th International Workshop on Verification of Infinite-State Systems was
held as a satellite workshop of CONCUR 2005 (the 16th International Conference on …

In this paper, we consider a novel approach to the temporal logic verification problem of
continuous dynamical systems. Our methodology has the distinctive feature that enables the …

In the present paper, for constructing the minimum risk estimators of state of stochastic
systems, a new technique of invariant embedding of sample statistics in a loss function is …

This paper focuses on the estimation of the key variables of bioprocesses when the models
are characterized by bounded uncertainties. We developed for this class of process …