Text this: Locally observability of invariant dynamics on compact Lie groups with square integrable output map functions