Sciweavers

96 search results - page 13 / 20
» Using a hand-drawn sketch to control a team of robots
Sort
View
AAAI
2004
13 years 9 months ago
Skill Acquisition and Use for a Dynamically-Balancing Soccer Robot
Dynamically-balancing robots have recently been made available by Segway LLC, in the form of the Segway RMP (Robot Mobility Platform). We have addressed the challenge of using the...
Brett Browning, Ling Xu, Manuela M. Veloso
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 6 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ECAI
2004
Springer
14 years 1 months ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz
ICRA
2008
IEEE
115views Robotics» more  ICRA 2008»
14 years 2 months ago
Multi-robot manipulation via caging in environments with obstacles
Abstract— We present a decentralized approach to multirobot manipulation where the team of robots surround and trap an object and transport it, by dragging or pushing, to the goa...
Jonathan Fink, M. Ani Hsieh, Vijay Kumar
ICAI
2004
13 years 9 months ago
Integrating Robotic Sensor and Effector Capabilities with Multi-agent Organizations
Robots possess many effectors and sensors of various capability. It is often difficult, not only to integrate these numerous capabilities, but also to organize them to accomplish ...
Eric T. Matson, Scott A. DeLoach