Describes interfaces for state observers, and implements some oberservers (including linear and extended Kalman filters)