Sampling-based resolution-complete safety falsification of linear hybrid systems
A Bhatia, E Frazzoli - 2007 46th IEEE Conference on Decision …, 2007 - ieeexplore.ieee.org
In this paper, we consider a class of analysis problems for control systems, aimed at safety
falsification, ie, checking whether a controlled trajectory exists that violates a given safety …
falsification, ie, checking whether a controlled trajectory exists that violates a given safety …
[BOOK][B] Geometry of conditional independence
JR Morton - 2007 - search.proquest.com
This thesis investigates geometric aspects of the notions of conditional independence and
conditional probability. In Chapter 2, we develop the connection between conditional …
conditional probability. In Chapter 2, we develop the connection between conditional …
Dynamics of the Picking transformation on integer partitions
PT Duong, E Thierry - 2003 - hal-lara.archives-ouvertes.fr
This paper studies a conservative transformation defined on families of finite sets. It consists
in removing one element from each set and adding a new set composed of the removed …
in removing one element from each set and adding a new set composed of the removed …
Development of linear-parameter-varying models for aircraft
A Marcos, GJ Balas - Journal of Guidance, Control, and Dynamics, 2004 - arc.aiaa.org
IN the last decade linear-parameter-varying (LPV) control has been presented as a reliable
alternative to classical gain scheduling for multivariable systems. Gain scheduling is a …
alternative to classical gain scheduling for multivariable systems. Gain scheduling is a …
Near-optimal signal recovery from random projections: Universal encoding strategies?
EJ Candes, T Tao - IEEE transactions on information theory, 2006 - ieeexplore.ieee.org
Suppose we are given a vector f in a class FsubeRopf N , eg, a class of digital signals or
digital images. How many linear measurements do we need to make about f to be able to …
digital images. How many linear measurements do we need to make about f to be able to …
Dynamics of the Picking transformation on integer partitions
E Thierry, THD Phan - Discrete Mathematics & Theoretical …, 2003 - dmtcs.episciences.org
This paper studies a conservative transformation defined on families of finite sets. It consists
in removing one element from each set and adding a new set composed of the removed …
in removing one element from each set and adding a new set composed of the removed …
[PDF][PDF] The number of nowhere-zero flows on graphs and signed graphs
M Beck, T Zaslavsky - Journal of Combinatorial Theory, Series B, 2006 - Elsevier
… [10] Curtis Greene, Thomas Zaslavsky, On the interpretation of Whitney numbers through
arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs, …
arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs, …
Surfaces seam analysis
JP Petit, S Samper, I Perpoli - Models for Computer Aided Tolerancing in …, 2007 - Springer
we present an analysis of gap and flush defects for automotive exterior body panels. We will
consider position deviations of parts and those deviations are traduced through the concept …
consider position deviations of parts and those deviations are traduced through the concept …
Tail-sensitive Gaussian asymptotics for marginals of concentrated measures in high dimension
S Sodin - Geometric aspects of functional analysis, 2007 - Springer
If the Euclidean norm|·| is strongly concentrated with respect to a measure µ, the average
distribution of an average marginal of µ has Gaussian asymptotics that captures tail behaviour. …
distribution of an average marginal of µ has Gaussian asymptotics that captures tail behaviour. …
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard - Acta Informatica, 2007 - Springer
In this article, we describe some recent results on the hybridization methods for the analysis
of nonlinear systems. The main idea of our hybridization approach is to apply the hybrid …
of nonlinear systems. The main idea of our hybridization approach is to apply the hybrid …