#include "drake/systems/framework/event.h" #include "drake/systems/framework/leaf_system.h" case x_n[0] holds F_n (the value of F at step n) while x_n[1] holds F_{n-1 ...