Sciweavers

3053 search results - page 442 / 611
» Hybrid Systems Diagnosis
Sort
View
DLOG
2001
15 years 8 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
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...
Volker Haarslev, Martina Timmann, Ralf Möller
AE
2009
Springer
15 years 7 months ago
On-Line, On-Board Evolution of Robot Controllers
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...
Nicolas Bredeche, Evert Haasdijk, A. E. Eiben
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 6 months ago
Multi-modal control using adaptive motion description languages
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...
Tejas R. Mehta, Magnus Egerstedt
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 6 months ago
Barrier certificates for nonlinear model validation
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...
Stephen Prajna
TWC
2008
126views more  TWC 2008»
15 years 6 months ago
Coherent and Differential ICI Cancellation for Mobile OFDM with Application to DVB-H
We develop a reduced-complexity hybrid frequency/time-domain orthogonal frequency division multiplexing (OFDM) channel estimation algorithm for high-mobility scenarios where the ch...
Sili Lu, Naofal Al-Dhahir