… Leak detection, isolation and estimation in pressurized water pipe networks using LPV models
and zonotopes, The 8th IFAC Symposium on Nonlinear Control Systems, 2010, pp. 36–41…

Simulation loop: 1. starts from the value of each state at time tn. 2. computes the output
value of each block (time tn). 3. stores the input of the unit-delay blocks (for time tn+ 1). 4. …

The maximization of a positive (semi) definite com-plex quadratic form over a finite alphabet
is NP-hard and achieved through exhaustive search when the form has full rank. However, if …

Reachability is one of the most important behavioral properties of Petri nets and the past four
decades have witnessed great efforts in developing various implementable methodologies …

This thesis is about robust optimization, a class of mathematical optimization problems
which arise frequently in engineering applications, where unknown process parameters and …

Polytopes are central objects in geometry and can be studied from a variety of viewpoints.
This thesis is concerned about combinatorial properties of polytopes and aims at statements …

… Fukuda, and TM Liebling, “Solving the fixed rank convex quadratic maximization in
binary variables by a parallel zonotope construction algorithm,” Eur. J. Oper. …

Mayer's theory of cluster integrals allows one to write the partition function of a gas model as
a generating function of weighted graphs. Recently, Labelle, Leroux and Ducharme have …

… Leak detection, isolation and estimation in pressurized water pipe networks using LPV
models and zonotopes. In The 8th IFAC Symposium on Nonlinear Control Systems, 36–41. …

Cette thèse étudie la vérification automatique de propriétés de sûreté de systèmes logico-numériques
discrets ou hybrides. Ce sont des systèmes ayant des variables booléennes et …