Control synthesis of timed discrete event systems based on predicate invariance | IEEE Journals & Magazine | IEEE Xplore