[PDF][PDF] Leak detection and isolation in pressurized water pipe networks using interval LPV models

J Vento, V Puig - 7th Workshop on Advance Control and Diagnosis …, 2009 - core.ac.uk
In this paper, a leak detection and isolation methodology in pressurized water pipe networks
is proposed. The methodology is based on computing residuals which are obtained …

Chapter VI. Hyperplane Approximation and Related Topics

NM Korneenko, H Martini - New Trends in Discrete and …, 2012 - books.google.com
… For general d, its connection with zonotopes (ie vector sums of line segments) … As the
hyperplane problem is connected with zonotopes [M87, KM89, KM90], the case of median lines (k= …

A theorem for numerical verification on local uniqueness of solutions to fixed-point equations

N Yamamoto, MT Nakao… - … functional analysis and …, 2011 - Taylor & Francis
We give a theoretical result with respect to numerical verification of existence and local
uniqueness of solutions to fixed-point equations which are supposed to have Fréchet …

Reachability of uncertain nonlinear systems using a nonlinear hybridization

N Ramdani, N Meslem, Y Candau - International Workshop on Hybrid …, 2008 - Springer
In this paper, we investigate nonlinear reachability computation in presence of model
uncertainty, via guaranteed set integration. We show how this can be done by using the classical …

[HTML][HTML] Convex bodies with minimal volume product in R2—a new proof

Y Lin, G Leng - Discrete mathematics, 2010 - Elsevier
A new proof of the Mahler conjecture in R 2 is given. In order to prove the result, we introduce
a new method — the vertex removal method; ie, for any origin-symmetric polygon P , there …

Completions, reversals, and duality for tropical varieties

Z Izhakian, L Rowen - Journal of Algebra and its Applications, 2011 - World Scientific
The object of this paper is to present two algebraic results with straightforward proofs, which
have interesting consequences in tropical geometry. We start with an identity for …

Verification of hybrid automata diagnosability by abstraction

MD Di Benedetto, S Di Gennaro… - IEEE transactions on …, 2011 - ieeexplore.ieee.org
A notion of diagnosability for hybrid systems is defined, which generalizes the common notion
of observability. We propose an abstraction procedure to translate a hybrid automaton into …

[PDF][PDF] Verification of Hybrid Systems

G Frehse - www-verimag.imag.fr
… Operations on Zonotopes … – Problem: intersection of zonotopes is not a zonotope … –
Minkowski sum increases number of • Polyhedra: constraints • Zonotopes: generators …

Oriented matroids

GM Ziegler - The Electronic Journal of Combinatorics, 2012 - combinatorics.org
… by Andreas Dress at the 1989 “Combinatorics and Geometry” Conference in Stockholm,
provides a bijection between the zonotopal tilings of a fixed d-dimensional zonotope Z and the …

The face semigroup algebra of a hyperplane arrangement

FV Saliola - Canadian Journal of Mathematics, 2009 - cambridge.org
This article presents a study of an algebra spanned by the faces of a hyperplane arrangement.
The quiver with relations of the algebra is computed and the algebra is shown to be a …