Computation of an over-approximation of the backward reachable set using subsystem level set functions | IEEE Conference Publication | IEEE Xplore