Sciweavers

96 search results - page 10 / 20
» Linearity, Non-determinism and Solvability
Sort
View
AUTOMATICA
2005
60views more  AUTOMATICA 2005»
13 years 7 months ago
Robust output regulation with nonlinear exosystems
For over a decade, the solvability of the nonlinear robust output regulation problem relies on the assumption that the exosystem is linear and neurally stable. Thus the only exogen...
Zhiyong Chen, Jie Huang
IPL
2000
82views more  IPL 2000»
13 years 7 months ago
Estimating the number of vertices of a polyhedron
Given a polyhedron P by a list of inequalities we develop unbiased estimates of the number of vertices and bases of P. The estimates are based on applying tree estimation methods ...
David Avis, Luc Devroye
CDC
2008
IEEE
169views Control Systems» more  CDC 2008»
13 years 9 months ago
Control of underactuated mechanical systems: Observer design and position feedback stabilization
We identify a class of mechanical systems for which a globally exponentially stable reduced order observer can be designed. The class is characterized by (the solvability of) a set...
Aneesh Venkatraman, Romeo Ortega, Ioannis Sarras, ...
EC
2008
153views ECommerce» more  EC 2008»
13 years 7 months ago
On Complexity of Optimal Recombination for Binary Representations of Solutions
We consider an optimization problem of finding the best possible offspring as a result of a recombination operator in an evolutionary algorithm, given two parent solutions. The op...
Anton V. Eremeev
POPL
2003
ACM
14 years 8 months ago
Static prediction of heap space usage for first-order functional programs
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
Martin Hofmann, Steffen Jost