Modeling and optimization of industrial compressed-air energy systems for Demand Response | IEEE Conference Publication | IEEE Xplore