Ensemble representation and techniques for exact control-dependent scheduling | IEEE Conference Publication | IEEE Xplore