Modeling of hybrid systems by piecewise decomposition | IEEE Conference Publication | IEEE Xplore