Sciweavers

2050 search results - page 38 / 410
» constraints 2010
Sort
View
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
13 years 5 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
ENTCS
2006
124views more  ENTCS 2006»
13 years 7 months ago
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
Shuvendu K. Lahiri, Madanlal Musuvathi
EOR
2006
76views more  EOR 2006»
13 years 7 months ago
Load balancing and capacity constraints in a hierarchical location model
Recent work on the location of perinatal facilities in the municipality of Rio de Janeiro resulted in the development of an uncapacitated, three-level hierarchical model. An impor...
Roberto D. Galvão, Luis Gonzalo Acosta Espe...
EOR
2006
68views more  EOR 2006»
13 years 7 months ago
Cyclic scheduling of a 2-machine robotic cell with tooling constraints
In this study, we deal with the robotic cell scheduling problem with two machines and identical parts. In an ideal FMS, CNC machines are capable of performing all the required ope...
Hakan Gultekin, M. Selim Akturk, Oya Ekin Karasan
ENTCS
2007
190views more  ENTCS 2007»
13 years 7 months ago
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
Stefano Bistarelli, Ugo Montanari, Francesca Rossi...