Semi-quantitative models in hybrid control systems | IEEE Conference Publication | IEEE Xplore