Genericity of observability of control-affine systems
For smooth or real-analytic single-input, control-affine, non-linear systems, with at least two ouputs, observability for any input of a given class is generic. This class can be either the class of inputs bounded with their derivatives up to a certain order, or the class of polynomial inputs with bounded degree.