\chapter{Using Jerk Instead of Acceleration}

THIS SECTION HAS NOT BEEN REWRITTEN AT ALL. DISREGARD FOR NOW.

Jerk should be modeled using delay and uncertainty, so that the only proofs needed would be to show that controlling jerk does in fact mean controlling acceleration, with some (outbound) delays and uncertainties. Since we should already have proven correctness of delayed and uncertain models, no correctness proofs should be needed.
