Towards Verified Rounding-Error Analysis for Stationary Iterative Methods.
Abstract not provided.
Kellison, Ariel↗
Engineering topics
Jeannin, Jean-Baptiste
Publications and source records attributed to Jeannin, Jean-Baptiste.
Formal Verification of Safety Buffers for Sate-Based Conflict Detection and Resolution
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.
Herencia-Zapana, Heber↗