Algorithms for the automatic design of the decomposed state model of an one-dimensional piecewise-linear system | IEEE Conference Publication | IEEE Xplore