2800 search results - page 238 / 560 » Fibrational Control Structures |
185
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
112
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this contribution we investigate the problem of simultaneous observer based sensor diagnosis and speed estimation of Unmanned Aerial Vehicle (UAV). The main features lie in the...
137
click to vote
FBIT
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper describes our first experiments on Reinforcement Learning to steer a real robot car. The applied method, Neural Fitted Q Iteration (NFQ) is purely data-driven based on ...
126
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we build upon recent advances in neuroscience research which have shown that control of the human hand during grasping is dominated by movement in a configurati...