9 search results - page 1 / 2 » Simulation optimization of stochastic systems with integer v... |
114
Voted
WSC
2000
15 years 3 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...
94
Voted
ENTCS
2007
15 years 1 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
105
Voted
CCE
2007
15 years 1 months ago
2007
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
114
click to vote
AUTOMATICA
1999
15 years 1 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
137
Voted
TROB
2010
15 years 5 days ago
2010
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...