423 search results - page 39 / 85 » Bounded Finite State Controllers |
170
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
187
click to vote
AMC
2006
15 years 6 months ago
2006
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
156
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
For a Markov Decision Process with finite state (size S) and action spaces (size A per state), we propose a new algorithm--Delayed Q-Learning. We prove it is PAC, achieving near o...
159
Voted
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
142
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We address the problem of state feedback attitude control of a rigid body in quaternion coordinate space through a modified PD+ tracking controller. The control law ensu...