148 search results - page 13 / 30 » A Hybrid Collision Avoidance Method for Mobile Robots |
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
—The F2 (Force Field) method is a novel approach for multi-robot motion planning and collision avoidance. The setting of parameters is however vital to its performance. This pape...
84
Voted
ICRA
2007
IEEE
2007
IEEE
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage
15 years 6 months ago
— This paper studies the problem of stabilizing wheeled mobile robots (WMRs) subject to wheel slippage to a predefined set. When slippage of the wheels can occur, WMRs can be mo...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— 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...
ALGOSENSORS
2008
Springer
15 years 1 months ago
2008
Springer
We consider the problem of uniformly dispersing mobile robotic sensors in a simply connected orthogonal space of unknown shape. The mobile sensors are injected into the space from ...