../ averaging_fixed_horizon_control.rs 29-Nov-1973 21:33 1288 mod.rs 29-Nov-1973 21:33 93 receding_horizon_control.rs 29-Nov-1973 21:33 1278