The infimal controllable and N-observable superpredicate of a given predicate | IEEE Journals & Magazine | IEEE Xplore