In this two-part paper, we identify a broad class of decentralized
output-feedback LQG systems for which the optimal control strategies have a
simple intuitive estimation structure and can be computed efficiently. Roughly,
we consider the class of systems for which the coupling of dynamics among
subsystems and the inter-controller communication is characterized by the same
directed graph. Furthermore, this graph is assumed to be a multitree, that is,
its transitive reduction can have at most one directed path connecting each
pair of nodes. In this first part, we derive sufficient statistics that may be
used to aggregate each controller's growing available information. Each
controller must estimate the states of the subsystems that it affects (its
descendants) as well as the subsystems that it observes (its ancestors). The
optimal control action for a controller is a linear function of the estimate it
computes as well as the estimates computed by all of its ancestors. Moreover,
these state estimates may be updated recursively, much like a Kalman filter
