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 …

[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 …

[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…

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 …

[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 …

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

[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 …

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] …

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 …

[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 …