Sciweavers

3458 search results - page 205 / 692
» Abstracting Control
Sort
View
KI
1998
Springer
15 years 7 months ago
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
Dirk Hähnel, Wolfram Burgard, Gerhard Lakemey...
127
Voted
ISER
2004
Springer
158views Robotics» more  ISER 2004»
15 years 8 months ago
Collective Inspection of Regular Structures using a Swarm of Miniature Robots
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
Nikolaus Correll, Alcherio Martinoli
122
Voted
ICRA
2007
IEEE
222views Robotics» more  ICRA 2007»
15 years 9 months ago
Autonomous Vision-based Landing and Terrain Mapping Using an MPC-controlled Unmanned Rotorcraft
In this paper, we present a vision-based terrain mapping and analysis system, and a model predictive control (MPC)based flight control system, for autonomous landing of a helicop...
Todd Templeton, David Hyunchul Shim, Christopher G...
119
Voted
IFIP
2010
Springer
14 years 10 months ago
Information Flow Analysis via Path Condition Refinement
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
Mana Taghdiri, Gregor Snelting, Carsten Sinz
AIM
2006
15 years 3 months ago
The Pyro Toolkit for AI and Robotics
This article introduces Pyro, an open source python robotics toolkit for exploring topics in AI and robotics. nt key abstractions that allow Pyro controllers to run unchanged on a...
Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly...