— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
— In this paper a physics-based model is proposed for a biomimetic robotic fish propelled by an ionic polymermetal composite (IPMC) actuator. The model incorporates both IPMC ac...
Ernest Mbemmo, Zheng Chen, Stephan Shatara, Xiaobo...
— An important mode of human-robot interaction is teleoperation, in which a human operator directly controls a robot via hardware such as a joystick or mouse. Such control is not...
— Simulation is becoming an increasingly important aspect of mobile robots. As we are better able to simulate the real world, we can usefully perform more research in simulated e...