Existence of observable sets for control Systems on Lie groups. Pro Mathematica, v. 33, n. 65, p. 32–49, 2 Sep.2025.