Alberto Bemporad, Fabio Danilo Torrisi, Manfred Morari. Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark. Eur. J. Control, 7(4):382-399, 2001. [doi]
@article{BemporadTM01, title = {Discrete-time Hybrid Modeling and Verification of the Batch Evaporator Process Benchmark}, author = {Alberto Bemporad and Fabio Danilo Torrisi and Manfred Morari}, year = {2001}, doi = {10.3166/ejc.7.382-399}, url = {http://dx.doi.org/10.3166/ejc.7.382-399}, researchr = {https://researchr.org/publication/BemporadTM01}, cites = {0}, citedby = {0}, journal = {Eur. J. Control}, volume = {7}, number = {4}, pages = {382-399}, }