Sciweavers

ICDCS
2010
IEEE

Safe and Stabilizing Distributed Cellular Flows

13 years 1 months ago
Safe and Stabilizing Distributed Cellular Flows
Advances in wireless vehicular networks present us with opportunities for developing new distributed traffic control algorithms that avoid phenomena such as abrupt phase-transitions. Towards this end, we study the problem of distributed traffic control in a partitioned plane where the movement of all entities (vehicles) within each partition or cell is tightly coupled. We present a distributed traffic control protocol that guarantees minimum separation between vehicles at all times, even when some cells' control software may fail. Once failures cease, the protocol is guaranteed to stabilize and the vehicles with feasible paths to a target cell make progress towards it. The algorithm relies on two general principles: temporary blocking for maintenance of safety and local geographical routing for guaranteeing progress. Our proofs use mostly assertional reasoning and may serve as a template for analyzing other safe and stabilizing distributed traffic control protocols. We also presen...
Taylor Johnson, Sayan Mitra, Karthik Manamcheri
Added 12 Feb 2011
Updated 12 Feb 2011
Type Journal
Year 2010
Where ICDCS
Authors Taylor Johnson, Sayan Mitra, Karthik Manamcheri
Comments (0)