Before using interval analysis as a basic tool in the following chapters, we shall now
introduce its main concepts. Section 2.2 recalls fundamental notions on set operators, set …

In the first part of this thesis, we introduce a specific class of Linear Matrix Inequalities (LMI)
whose optimal solution can be characterized exactly. This family corresponds to the case …

The main subject of this work is mathematical and computational aspects of modeling of
static systems under interval uncertainty and/or ambiguity. A cornerstone of the new …

The control paradigm of physical processes being supervised by digital programs has lead
to the development of a theory of hybrid systems combining finite state automata with …

This paper presents new results that allow one to compute the set of states that can be
robustly steered in a finite number of steps, via state feedback control, to a given target set …

In a biological cell, cellular functions and the genetic regula-tory apparatus are implemented
and controlled by a network of chemical reactions in which regulatory proteins can control …

In this paper, a discrete-time optimal control scheme is developed via a novel local policy
iteration adaptive dynamic programming algorithm. In the discrete-time local policy iteration …

We consider polynomials and rational functions which are invariant under the action of a
finite linear group. The aim is to give a survey over the knowledge on some structural …

We present a version of the Cylindrical Algebraic Decomposition (CAD) algorithm which
uses interval sample points in the lifting phase, whenever the results can be validated. This …

Consider t, hc elementary t. heory T of the real numl~ ers in the language L having 0, l as
constants, addition and subtract, ion and integer part, as operations; and cqualit~-: order and …