Mixed logic dynamical modeling and control of steam boiler | IEEE Conference Publication | IEEE Xplore