Ученый секретарь диссертационного совета Д. 501.001. 85 при МГУ, доктор
физикоматематических наук, профессор ИН Сергеев ении многомерного непараметрического …

Les travaux présentés dans ce mémoire s'inscrivent dans le cadre d'un projet de dimension
européenne réalisé en partenariat avec l'Agence Spatiale Européenne et EADS Astrium sur …

We present a new approach to compute the reachable set with a bounded number of jumps
for a rectangular automaton. The reachable set under a flow transition is computed as a …

In this article, we recall different approaches to the constraint-based, symbolic analysis of
hybrid discrete-continuous systems and combine them to a technology able to address hybrid …

… That is, for any hyperplane arrangement Ji?, there is a related zonotope Z(Jf) associated to
it. See Ziegler [47] for more details about zonotopes. However, given any essential subspace …

Discrete homotopy theory, or A-theory, is a recently developed area of algebraic combinatorics.
This dissertation uses the tools of A-theory to study two polytopes, the associahedron …

Automatic verification of cyber-physical systems (CPS) typically involves computing the
reachable set of states of such systems. This computation is known to be exponential in the …

Identifiability is the property that a mathematical model must satisfy to guarantee an unambiguous
mapping between its parameters and the output trajectories. It is of prime importance …

This paper presents an output feedback Distributed Predictive Control (DPC) algorithm for
interconnected systems based on neighbor-to-neighbor communication. The algorithm, based …

Bisubmodular functions are a natural “directed”, or “signed”, extension of submodular functions
with several applications. Recently Fujishige and Iwata showed how to extend the Iwata, …