Cyber-physical modeling of compression systems using hybrid automata | IEEE Conference Publication | IEEE Xplore