Explicit switching times and locations detection for linear hybrid systems | IEEE Conference Publication | IEEE Xplore