423 search results - page 39 / 85 » Bounded Finite State Controllers |
ICSE
2010
IEEE-ACM
13 years 9 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 ...
AMC
2006
13 years 7 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 ...
ICML
2006
IEEE
14 years 8 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...
IWSSD
2000
IEEE
14 years 1 days 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...
CDC
2010
IEEE
13 years 2 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...