Planning methods for the optimal control and performance certification of general nonlinear switched systems | IEEE Conference Publication | IEEE Xplore