Scipediacontent: Scipediacontent moved page Draft Content 290994783 to Platzer et al 2013a

2021-02-01T15:21:10Z

Scipediacontent moved page Draft Content 290994783 to Platzer et al 2013a

Scipediacontent: Created page with " == Abstract == airspace becomes ever more crowded, air traffic management must reduce both space and time between aircraft to increase throughput, making on-board collision..."

2021-02-01T15:21:05Z

Created page with " == Abstract == airspace becomes ever more crowded, air traffic management must reduce both space and time between aircraft to increase throughput, making on-board collision..."

New page

== Abstract ==

airspace becomes ever more crowded, air traffic management must reduce both space and time between aircraft to increase throughput, making on-board collision avoidance systems ever more important. These safety-critical systems must be extremely reliable, and as such, many resources are invested into ensuring that the protocols they implement are accurate. Still, it is challenging to guarantee that such a controller works properly under every circumstance. In tough scenarios where a large number of aircraft must execute a collision avoidance maneuver, a human pilot under stress is not necessarily able to understand the complexity of the distributed system and may not take the right course, especially if actions must be taken quickly. We consider a class of distributed collision avoidance controllers designed to work even in environments with arbitrarily many aircraft or UAVs. We prove that the controllers never allow the aircraft to get too close to one another, even when new planes approach an in-progress avoidance maneuver that the new plane may not be aware of. Because these safety guarantees always hold, the aircraft are protected against unexpected emergent behavior which simulation and testing may miss. This is an important step in formally verified, flyable, and distributed air traffic control.

== Original document ==

The different versions of the original document can be found in:

* [http://symbolaris.com/pub/discworld.pdf http://symbolaris.com/pub/discworld.pdf]

* [https://doi.acm.org/10.1145/2461328.2461350 https://doi.acm.org/10.1145/2461328.2461350],
: [https://core.ac.uk/display/22368455 https://core.ac.uk/display/22368455],
: [https://dl.acm.org/citation.cfm?doid=2461328.2461350 https://dl.acm.org/citation.cfm?doid=2461328.2461350],
: [https://doi.org/10.1145/2461328.2461350 https://doi.org/10.1145/2461328.2461350],
: [https://dblp.uni-trier.de/db/conf/hybrid/hscc2013.html#LoosRP13 https://dblp.uni-trier.de/db/conf/hybrid/hscc2013.html#LoosRP13],
: [https://www.researchgate.net/profile/Andre_Platzer/publication/262394506_Formal_verification_of_distributed_aircraft_controllers/links/00463539e14b41e60e000000.pdf?disableCoverPage=true https://www.researchgate.net/profile/Andre_Platzer/publication/262394506_Formal_verification_of_distributed_aircraft_controllers/links/00463539e14b41e60e000000.pdf?disableCoverPage=true],
: [https://academic.microsoft.com/#/detail/1974314710 https://academic.microsoft.com/#/detail/1974314710]

* [http://dl.acm.org/ft_gateway.cfm?id=2461350&ftid=1362974&dwn=1 http://dl.acm.org/ft_gateway.cfm?id=2461350&ftid=1362974&dwn=1],
: [http://dx.doi.org/10.1145/2461328.2461350 http://dx.doi.org/10.1145/2461328.2461350]

← Older revision	Revision as of 15:21, 1 February 2021
(No difference)

Platzer et al 2013a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 290994783 to Platzer et al 2013a

Scipediacontent: Created page with " == Abstract == airspace becomes ever more crowded, air traffic management must reduce both space and time between aircraft to increase throughput, making on-board collision..."