Polynomial ideal theory methods in discrete event, and hybrid dynamical systems | IEEE Conference Publication | IEEE Xplore