Andersson, J.A.E., Gillis, J., Horn, G., Rawlings, J.B., and Diehl, M. (2019). CasADi – A software framework for nonlinear optimization and optimal control. Mathemat- ical Programming Computation, 11(1), 1–36. Artzová, P. and Paulen, R. (2019). Moving-horizon guaranteed parameter estimation. IFAC-PapersOnLine, 52(1), 112–117. Bertsimas, D., Brown, D.B., and Caramanis, C. (2010). Theory and applications of robust optimization. SIAM Review, 53, 464–501. Bitsoris, G. (1988). On the positive invariance of polyhe- dral sets for discrete-time systems. Systems & Control Letters, 11(3), 243 – 248. Boyd, S., El Ghaoui, L., Feron, E., and Balakrishnan, V. (1994). Linear Matrix Inequalities in System and Control Theory. SIAM. Chabane, S.B., Maniu, C.S., Alamo, T., Camacho, E., and Dumur, D. (2014). A new approach for guaranteed ellipsoidal state estimation. IFAC Proceedings Volumes, 47(3), 6533 – 6538. 19th IFAC World Congress. Chachuat, B., Houska, B., Paulen, R., Perić, N.D., Ra- jyaguru, J., and Villanueva, M.E. (2015). Set-theoretic approaches in analysis, estimation and control of non- linear systems. IFAC-PapersOnLine, 48(8), 981–995. Feng, X., Villanueva, M.E., and Houska, B. (2020). Backward-forward reachable set splitting for state- constrained differential games. Automatica, 111, 108602. Houska, B., Logist, F., Van Impe, J., and Diehl, M. (2012). Robust optimization of nonlinear dynamic systems with application to a jacketed tubular reactor. Journal of Process Control, 22(6), 1152–1160. Jaulin, L. and Walter, E. (1993). Set inversion via interval analysis for nonlinear bounded-error estimation. Automatica, 29, 1053–1064. Kieffer, M., Jaulin, L., and Walter, E. (1998). Guaran- teed recursive nonlinear state estimation using interval analysis. Proceedings of the 37th IEEE Conference on Decision and Control, 4, 3966–3971. Kurzhanski, A. and Vályi, I. (1997). Ellipsoidal calculus for estimation and control. Birkhäuser. Kurzhanski, A.B. and Varaiya, P. (2000). Ellipsoidal techniques for reachability analysis. In N. Lynch and B.H. Krogh (eds.), Hybrid Systems: Computation and Control, 202–214. Springer, Berlin, Heidelberg. Maksarov, D. and Norton, J.P. (1996). State bounding with ellipsoidal set description of the uncertainty. In- ternational Journal of Control, 65, 847–866. Mukkula, A.R.G. and Paulen, R. (2017). Model-based design of optimal experiments for nonlinear systems in the context of guaranteed parameter estimation. Computers & Chemical Engineering, 99, 198–213. Nagy, Z.K. and Braatz, R.D. (2003). Robust nonlinear model predictive control of batch processes. AIChE Journal, 49(7), 1776–1786. Paulen, R., Sharma, A., and Fikar, M. (2018). Dynamic real-time optimization of batch membrane processes using pontryagin’s minimum principle. In 28th European Symposium on Computer Aided Process Engineering, volume 28, 1045–1050. Elsevier. Rao, C.V., Rawlings, J.B., and Mayne, D.Q. (2003). Con- strained state estimation for nonlinear discrete-time systems: stability and moving horizon approximations. IEEE Trans Automat Contr, 48(2), 246–258. Ros, L., Sabater, A., and Thomas, F. (2002). An ellip- soidal calculus based on propagation and fusion. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 32(4), 430–442. Schweppe, F.C. (1968). Recursive state estimation: Un- known but bounded errors and system inputs. IEEE Transactions on Automatic Control, 13, 22–28. Sharma, A., Valo, R., Kalúz, M., Paulen, R., and Fikar, M. (2018). Experimental validation and comparison of time-optimal and industrial strategy for membrane separation process. In Preprints of the 9th Vienna International Conference on Mathematical Modelling, Vienna, Austria, February 21-23, 2018, 869–874. IFAC. Sharma, A., Valo, R., Kalúz, M., Paulen, R., and Fikar, M. (2019). Implementation of optimal strategy to eco- nomically improve batch membrane separation. Journal of Process Control, 76, 155–164. Villanueva, M.E., Feng, X., Paulen, R., Chachuat, B., and Houska, B. (2019). Convex enclosures for constrained reachability tubes. IFAC-PapersOnLine, 52(1), 118– 123. Villanueva, M.E., Houska, B., and Chachuat, B. (2015). Unified framework for the propagation of continuous- time enclosures for parametric nonlinear odes. Journal of Global Optimization, 62(3), 575–613. Villanueva, M.E., Quirynen, R., Diehl, M., Chachuat, B., and Houska, B. (2017). Robust mpc via min–max differential inequalities. Automatica, 77, 311–321. Walz, O., Djelassi, H., Caspari, A., and Mitsos, A. (2018). Bounded-error optimal experimental design via global solution of constrained min-max program. Computers & Chemical Engineering, 111, 92–101.