4434 search results - page 559 / 887 » On the Composition of Hybrid Systems |
153
click to vote
AIPS
2006
15 years 8 months ago
2006
We view dynamic scheduling as a sequential decision problem. Firstly, we introduce a generalized planning operator, the stochastic task model (STM), which predicts the effects of ...
191
click to vote
DLOG
2001
15 years 8 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
155
Voted
AE
2009
Springer
15 years 8 months ago
2009
Springer
This paper reports on a feasibility study into the evolution of robot controllers during the actual operation of robots (on-line), using only the computational resources within the...
162
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper, we address the problem of adaptively enriching motion description languages for multi-modal control by systematically enlarging the set of available modes. This pro...
170
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...