Publikationsdatum:
2019-07-13
Beschreibung:
The information provided by global positioning systems is never totally exact, and there are always errors when measuring position and velocity of moving objects such as aircraft. This paper studies the effects of these errors in the actual separation of aircraft in the context of state-based conflict detection and resolution. Assuming that the state information is uncertain but that bounds on the errors are known, this paper provides an analytical definition of a safety buffer and sufficient conditions under which this buffer guarantees that actual conflicts are detected and solved. The results are presented as theorems, which were formally proven using a mechanical theorem prover.
Schlagwort(e):
Air Transportation and Safety
Materialart:
NF1676L-9213
,
27th International Congress of the Aeronautical Sciences (ICAS 2010); Sep 19, 2010 - Sep 24, 2010; Nice; France
Format:
application/pdf
