FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159482870> ?p ?o ?g. }

• W2159482870 abstract "We study the problem of distributed traffic control in the partitioned plane, where the movement of all entities (robots, vehicles, etc.) within each partition (cell) is coupled. Establishing liveness in such systems is challenging, but such analysis will be necessary to apply such distributed traffic control algorithms in applications like coordinating robot swarms and the intelligent highway system. We present a formal model of a distributed traffic control protocol that guarantees minimum separation between entities, even as some cells fail. Once new failures cease occurring, in the case of a single target, the protocol is guaranteed to self-stabilize and the entities with feasible paths to the target cell make progress towards it. For multiple targets, failures may cause deadlocks in the system, so we identify a class of non-deadlocking failures where all entities are able to make progress to their respective targets. The algorithm relies on two general principles: temporary blocking for maintenance of safety and local geographical routing for guaranteeing progress. Our assertional proofs may serve as a template for the analysis of other distributed traffic control protocols. We present simulation results that provide estimates of throughput as a function of entity velocity, safety separation, single-target path complexity, failure-recovery rates, and multi-target path complexity." @default.
• W2159482870 created "2016-06-24" @default.
• W2159482870 creator A5067901159 @default.
• W2159482870 creator A5085795401 @default.
• W2159482870 date "2012-09-10" @default.
• W2159482870 modified "2023-09-27" @default.
• W2159482870 title "Safe and Stabilizing Distributed Multi-Path Cellular Flows" @default.
• W2159482870 cites W1497854315 @default.
• W2159482870 cites W1513792956 @default.
• W2159482870 cites W1550477894 @default.
• W2159482870 cites W1551631268 @default.
• W2159482870 cites W1551645481 @default.
• W2159482870 cites W1577182994 @default.
• W2159482870 cites W1580456725 @default.
• W2159482870 cites W1580811746 @default.
• W2159482870 cites W1689388462 @default.
• W2159482870 cites W1798749457 @default.
• W2159482870 cites W1893960094 @default.
• W2159482870 cites W1902529081 @default.
• W2159482870 cites W1938986994 @default.
• W2159482870 cites W1978972832 @default.
• W2159482870 cites W1989000486 @default.
• W2159482870 cites W2004620590 @default.
• W2159482870 cites W2018380024 @default.
• W2159482870 cites W2027697950 @default.
• W2159482870 cites W2032443917 @default.
• W2159482870 cites W2039478548 @default.
• W2159482870 cites W2041486081 @default.
• W2159482870 cites W2052841962 @default.
• W2159482870 cites W2064383595 @default.
• W2159482870 cites W2076260575 @default.
• W2159482870 cites W2085865324 @default.
• W2159482870 cites W2095425626 @default.
• W2159482870 cites W2097936366 @default.
• W2159482870 cites W2098916117 @default.
• W2159482870 cites W2104954280 @default.
• W2159482870 cites W2105177639 @default.
• W2159482870 cites W2105850748 @default.
• W2159482870 cites W2116377313 @default.
• W2159482870 cites W2116647221 @default.
• W2159482870 cites W2117834360 @default.
• W2159482870 cites W2121806728 @default.
• W2159482870 cites W2125723566 @default.
• W2159482870 cites W2130398921 @default.
• W2159482870 cites W2131417125 @default.
• W2159482870 cites W2136644454 @default.
• W2159482870 cites W2137514195 @default.
• W2159482870 cites W2148323349 @default.
• W2159482870 cites W2150335178 @default.
• W2159482870 cites W2151944510 @default.
• W2159482870 cites W2169004964 @default.
• W2159482870 cites W44486983 @default.
• W2159482870 cites W89866905 @default.
• W2159482870 hasPublicationYear "2012" @default.
• W2159482870 type Work @default.
• W2159482870 sameAs 2159482870 @default.
• W2159482870 citedByCount "0" @default.
• W2159482870 crossrefType "posted-content" @default.
• W2159482870 hasAuthorship W2159482870A5067901159 @default.
• W2159482870 hasAuthorship W2159482870A5085795401 @default.
• W2159482870 hasConcept C108710211 @default.
• W2159482870 hasConcept C114614502 @default.
• W2159482870 hasConcept C120314980 @default.
• W2159482870 hasConcept C142724271 @default.
• W2159482870 hasConcept C15569618 @default.
• W2159482870 hasConcept C204787440 @default.
• W2159482870 hasConcept C2524010 @default.
• W2159482870 hasConcept C2777735758 @default.
• W2159482870 hasConcept C2780385302 @default.
• W2159482870 hasConcept C31258907 @default.
• W2159482870 hasConcept C33923547 @default.
• W2159482870 hasConcept C41008148 @default.
• W2159482870 hasConcept C42812 @default.
• W2159482870 hasConcept C71924100 @default.
• W2159482870 hasConceptScore W2159482870C108710211 @default.
• W2159482870 hasConceptScore W2159482870C114614502 @default.
• W2159482870 hasConceptScore W2159482870C120314980 @default.
• W2159482870 hasConceptScore W2159482870C142724271 @default.
• W2159482870 hasConceptScore W2159482870C15569618 @default.
• W2159482870 hasConceptScore W2159482870C204787440 @default.
• W2159482870 hasConceptScore W2159482870C2524010 @default.
• W2159482870 hasConceptScore W2159482870C2777735758 @default.
• W2159482870 hasConceptScore W2159482870C2780385302 @default.
• W2159482870 hasConceptScore W2159482870C31258907 @default.
• W2159482870 hasConceptScore W2159482870C33923547 @default.
• W2159482870 hasConceptScore W2159482870C41008148 @default.
• W2159482870 hasConceptScore W2159482870C42812 @default.
• W2159482870 hasConceptScore W2159482870C71924100 @default.
• W2159482870 hasLocation W21594828701 @default.
• W2159482870 hasOpenAccess W2159482870 @default.
• W2159482870 hasPrimaryLocation W21594828701 @default.
• W2159482870 hasRelatedWork W2003163251 @default.
• W2159482870 hasRelatedWork W2286156703 @default.
• W2159482870 hasRelatedWork W2540954151 @default.
• W2159482870 hasRelatedWork W2789461659 @default.
• W2159482870 hasRelatedWork W2790863705 @default.
• W2159482870 hasRelatedWork W2888958322 @default.
• W2159482870 hasRelatedWork W2897938723 @default.
• W2159482870 hasRelatedWork W2902389969 @default.
• W2159482870 hasRelatedWork W2905101123 @default.

• next