Sciweavers

420 search results - page 56 / 84
» The TerraMax autonomous vehicle
Sort
View
ATAL
2010
Springer
13 years 8 months ago
Occlusion-aware multi-UAV surveillance
We present an agent-based coordination and planning method for aerial surveillance of multiple urban areas using a group of fixed-wing unmanned aerial vehicles (UAVs). The method ...
Eduard Semsch, Michal Jakob, Dusan Pavlícek...
SAFECOMP
2010
Springer
13 years 7 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
13 years 7 months ago
Beyond local optimality: An improved approach to hybrid model learning
Abstract-- Local convergence is a limitation of many optimization approaches for multimodal functions. For hybrid model learning, this can mean a compromise in accuracy. We develop...
Stephanie Gil, Brian Williams
ISRR
2005
Springer
140views Robotics» more  ISRR 2005»
14 years 3 months ago
Tradeoffs Between Directed and Autonomous Driving on the Mars Exploration Rovers
NASA’s Mars Exploration Rovers (MER) have collected a great diversity of geological science results, thanks in large part to their surface mobility capabilities. The six wheel r...
Jeffrey J. Biesiadecki, Chris Leger, Mark W. Maimo...
IROS
2007
IEEE
97views Robotics» more  IROS 2007»
14 years 4 months ago
Underwater SLAM in a marina environment
— This paper describes a navigation system for autonomous underwater vehicles (AUVs) in partially structured environments, such as dams, harbors, marinas or marine platforms. A m...
David Ribas, Pere Ridao, Juan D. Tardós, Jo...