Sciweavers

48 search results - page 6 / 10
» Tractable Cases of the Extended Global Cardinality Constrain...
Sort
View
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
13 years 7 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
ICRA
2009
IEEE
103views Robotics» more  ICRA 2009»
14 years 2 months ago
Finding good cycle constraints for large scale multi-robot SLAM
Abstract— In this paper we describe an algorithm to compute cycle constraints that can be used in many graph-based SLAM algorithms; we exemplify it in Hierarchical SLAM. Our algo...
Carlos Estrada, José Neira, Juan D. Tard&oa...
TCS
2010
13 years 5 months ago
Non-cooperative facility location and covering games
Abstract. We study a general class of non-cooperative games coming from combinatorial covering and facility location problems. A game for k players is based on an integer programmi...
Jean Cardinal, Martin Hoefer
JSAC
2006
108views more  JSAC 2006»
13 years 7 months ago
Distributed Nonlinear Integer Optimization for Data-Optical Internetworking
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
Anwar Elwalid, Debasis Mitra, Qiong Wang
CAV
2009
Springer
181views Hardware» more  CAV 2009»
14 years 8 months ago
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
Amir M. Ben-Amram