A system state modelling and ABC algorithm optimization for CCHP and smart building | IET Conference Publication | IEEE Xplore