Sciweavers

IJRR
2008
113views more  IJRR 2008»
14 years 13 days ago
Flying Fast and Low Among Obstacles: Methodology and Experiments
Safe autonomous flight is essential for widespread acceptance of aircraft that must fly close to the ground. We have developed a methodology of collision avoidance that can be use...
Sebastian Scherer, Sanjiv Singh, Lyle Chamberlain,...
DSONLINE
2006
108views more  DSONLINE 2006»
14 years 14 days ago
Middleware for Protocol-Based Coordination in Mobile Applications
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
Kurt Schelfthout, Danny Weyns, Tom Holvoet
CORR
2010
Springer
122views Education» more  CORR 2010»
14 years 16 days ago
Collision Helps - Algebraic Collision Recovery for Wireless Erasure Networks
Current medium access control mechanisms are based on collision avoidance and collided packets are discarded. The recent work on ZigZag decoding departs from this approach by recov...
Ali ParandehGheibi, Jay Kumar Sundararajan, Muriel...
WISES
2003
14 years 1 months ago
Advanced Movement Model of Crowd Robots
— This paper is about collision avoidance of crowd robots. For this purpose a model of potential field is proposed. This potential field, generated by a neural network, is uniq...
Adela Béres, Károly Béres, Mi...
ATAL
2008
Springer
14 years 2 months ago
AGENTFLY: a multi-agent airspace test-bed
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
David Sislák, Premysl Volf, Stepán K...
ATAL
2008
Springer
14 years 2 months ago
Decentralized algorithms for collision avoidance in airspace
The paper proposes decentralized deconfliction algorithms deployed on multiple autonomous aerial vehicles in freeflight operations. The paper provides two separate algorithms for ...
David Sislák, Jiri Samek, Michal Pechoucek
SIGSOFT
1996
ACM
14 years 4 months ago
Model Checking Large Software Specifications
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...
ICRA
1998
IEEE
76views Robotics» more  ICRA 1998»
14 years 4 months ago
A Hybrid Collision Avoidance Method for Mobile Robots
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...
Dieter Fox, Wolfram Burgard, Sebastian Thrun, Armi...
CDC
2009
IEEE
181views Control Systems» more  CDC 2009»
14 years 5 months ago
Collision-free tracking control of unicycle mobile robots
—We propose a tracking control with collision avoidance for a group of unicycle mobile robots. A supervisory system assigns to each robot its reference path, together with the de...
Dragan Kostic, Sisdarmanto Adinandra, Jurjen Caarl...
ICNP
2002
IEEE
14 years 5 months ago
Performance of Collision Avoidance Protocols in Single-Channel Ad Hoc Networks
This paper presents the first analytical model to derive the saturation throughput of collision avoidance protocols in multi-hop ad hoc networks with nodes randomly placed accord...
Yu Wang, J. J. Garcia-Luna-Aceves