445 search results - page 19 / 89 » Model predictive controllers for magnetic levitation systems |
ENTCS
2006
14 years 10 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
As spoken dialogue systems become deployed in increasingly complex domains, they face rising demands on the naturalness of interaction. We focus on system responsiveness, aiming t...
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
ISORC
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
100
click to vote
ESSMAC
2003
Springer
15 years 3 months ago
2003
Springer
Gaussian Process prior models, as used in Bayesian non-parametric statistical models methodology are applied to implement a nonlinear adaptive control law. The expected value of a...