Manuel J. Redondo, José Manuel Bravo, Teodoro Alamo: Oracle based approach to admissible invariant sets. ACC 2012: 411-416