On automatic search for invariants of hybrid systems | IEEE Conference Publication | IEEE Xplore