Modeling and analysis of time invariant linear hybrid systems | IEEE Conference Publication | IEEE Xplore