Sciweavers

4042 search results - page 545 / 809
» The EXODUS Optimizer Generator
Sort
View
EOR
2007
89views more  EOR 2007»
15 years 6 months ago
Managing a portfolio of long term service agreements
Long-term service agreements (LTSA) for the maintenance of capital-intensive equipment such as gas turbines and aircraft engines are gaining wide acceptance. A typical LTSA contra...
Srinivas Bollapragada, Aparna Gupta, Chaipat Lawsi...
MP
2006
105views more  MP 2006»
15 years 6 months ago
Two-stage integer programs with stochastic right-hand sides: a superadditive dual approach
We consider two-stage pure integer programs with discretely distributed stochastic right-hand sides. We present an equivalent superadditive dual formulation that uses the value fun...
Nan Kong, Andrew J. Schaefer, Brady Hunsaker
TCAD
2008
97views more  TCAD 2008»
15 years 6 months ago
Encoding Large Asynchronous Controllers With ILP Techniques
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Josep Carmona, Jordi Cortadella
AROBOTS
2005
100views more  AROBOTS 2005»
15 years 6 months ago
A Sampling-Based Motion Planning Approach to Maintain Visibility of Unpredictable Targets
This paper deals with the surveillance problem of computing the motions of one or more robot observers in order to maintain visibility of one or several moving targets. The target...
Rafael Murrieta-Cid, Benjamín Tovar, Seth H...
AUTOMATICA
2005
123views more  AUTOMATICA 2005»
15 years 6 months ago
Analysis and synthesis of switched linear control systems
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
Zhendong Sun, Shuzhi Sam Ge