Observability of control systems for polynomial inputs and genericity
We consider smooth single-input, two-output systems on a compact manifold X. We show that the set of systems that are observable for any polynomial input whose degree is less than or equal to a given bound contains an open and dense subset of the set of smooth systems.