The reduction of dynamic systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically performed in an "exact" manner
Paulo Tabuada, Aaron D. Ames, A. Agung Julius, Geo