Sciweavers

1776 search results - page 86 / 356
» Uncertain Linear Constraints
Sort
View
JLP
1998
147views more  JLP 1998»
14 years 9 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen
MP
2002
113views more  MP 2002»
14 years 9 months ago
A note on sensitivity of value functions of mathematical programs with complementarity constraints
Using standard nonlinear programming (NLP) theory, we establish formulas for first and second order directional derivatives for optimal value functions of parametric mathematical ...
Xinmin Hu, Daniel Ralph
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
14 years 7 months ago
Human-in-the-Loop: Terminal constraint receding horizon control with human inputs
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
Rahul Chipalkatty, Magnus Egerstedt
LICS
2012
IEEE
13 years 8 days ago
Near Unanimity Constraints Have Bounded Pathwidth Duality
—We show that if a finite relational structure has a near unanimity polymorphism, then the constraint satisfaction problem with that structure as its fixed template has bounded...
Libor Barto, Marcin Kozik, Ross Willard
TAPIA
2003
ACM
15 years 3 months ago
A hard-constraint time-stepping approach for rigid multibody dynamics with joints, contact, and friction
We present a method for simulating rigid multibody dynamics with joints, contact, and friction. In this work, the nonsmooth contact and frictional constraints are represented by h...
Gary D. Hart, Mihai Anitescu