Mahler's conjecture in convex geometry: a summary and further numerical analysis
P Hupp - 2010 - smartech.gatech.edu
In this thesis we study Mahler's conjecture in convex geometry, give a short summary about
its history, gather and explain different approaches that have been used to attack the …
its history, gather and explain different approaches that have been used to attack the …
[PDF][PDF] Graph colorings, flows and arithmetic Tutte polynomial
M D'Adderio, L Moci - arXiv preprint arXiv:1108.5537, 2011 - arxiv.org
We introduce the notions of arithmetic colorings and arithmetic flows over a graph with labelled
edges, which generalize the notions of colorings and flows over a graph. We show that …
edges, which generalize the notions of colorings and flows over a graph. We show that …
[PDF][PDF] Apport de la mécatronique pour la robotique médicale
P Renaud - Habilitation à diriger des recherches, 2011 - electronique-mixte.fr
… Dans [Bouchard 2008b], la géométrie de l’ETD est identifiée comme étant un zonotope,
ie un polytope convexe délimité par des hyperplans. Plusieurs formes de l’ensemble des tor…
ie un polytope convexe délimité par des hyperplans. Plusieurs formes de l’ensemble des tor…
A hybrid bounding method for computing an over-approximation for the reachable set of uncertain nonlinear systems
N Ramdani, N Meslem… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
In this paper, we show how to compute an over-approximation for the reachable set of
uncertain nonlinear continuous dynamical systems by using guaranteed set integration. We …
uncertain nonlinear continuous dynamical systems by using guaranteed set integration. We …
[HTML][HTML] The combinatorics of modeling and analyzing biological systems
AK Wagler, R Weismantel - Natural Computing, 2011 - Springer
The purpose of this paper is to present a strictly mathematical model for interaction networks,
to address the question of steady-state analysis, and to outline an approach for …
to address the question of steady-state analysis, and to outline an approach for …
Methodology for actuator fault tolerance evaluation of linear constrained MPC: application to the Barcelona water network
D Robles, V Puig, C Ocampo-Martinez… - … on Control & …, 2012 - ieeexplore.ieee.org
… Following this approach, the authors have already proposed a method based on zonotope…
Quevedo, “Actuator fault tolerance evaluation of linear constrained MPC using zonotope…
Quevedo, “Actuator fault tolerance evaluation of linear constrained MPC using zonotope…
[PDF][PDF] Actually doing it: Polyhedral computation and its applications
JA De Loera - Manuscript in progress, 2010 - aggregate.math.ucdavis.edu
Dear Reader: Disclaimer: These notes are still work in progress. There are still plenty of errors
and typos. Please proceed with caution! I am convinced that what I present to you in these …
and typos. Please proceed with caution! I am convinced that what I present to you in these …
SIGNED DEGREE SEQUENCES IN SIGNED GRAPHS.
S Pirzada - Journal of Combinatorics & System Sciences, 2012 - search.ebscohost.com
… We guess that Pn is a subpolytope in some way of a certain convex polytope (actually a
Zonotope), the acyclotope Z(Kn) which was introduced by Zaslavsky in [23, Sect. 4], [21, Sect. 4] …
Zonotope), the acyclotope Z(Kn) which was introduced by Zaslavsky in [23, Sect. 4], [21, Sect. 4] …
Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite
A Adje - 2011 - pastel.archives-ouvertes.fr
… zonotope c’est-à-dire une somme de Minkowski de segments de Rd. Un exemple de zonotope
… et les zones, le domaine des zonotopes est plus expressif que celui des octogones. Le …
… et les zones, le domaine des zonotopes est plus expressif que celui des octogones. Le …
[PDF][PDF] Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
S Ramesh, S Sankaranarayanan, KN Shashidhar - academia.edu
We present a methodology and a toolkit for improving simulation coverage of Simulink/Stateflow
models of hybrid systems using symbolic analysis of simulation traces. We propose a …
models of hybrid systems using symbolic analysis of simulation traces. We propose a …