470 search results - page 34 / 94 » Behavior Based Robotics Using Hybrid Automata |
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— The control of humanoid manipulators is very challenging due to the large number of degrees of freedom and the resulting redundancy. Using joint-level control complex planning ...
ROBOCUP
2000
Springer
14 years 18 days ago
2000
Springer
In this paper the hardware and software design of the CMU Hammerhead middle-size robot team are presented. The team consists of 4 fully autonomous robots with wireless communicatio...
HYBRID
1998
Springer
14 years 1 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...