{\rtf1\ansi\ansicpg1252\cocoartf2577 \cocoatextscaling0\cocoaplatform0{\fonttbl\f0\froman\fcharset0 Times-Roman;} {\colortbl;\red255\green255\blue255;\red0\green0\blue0;\red255\green255\blue255;} {\*\expandedcolortbl;;\cssrgb\c0\c0\c0;\cssrgb\c100000\c100000\c100000;} \paperw11900\paperh16840\margl1440\margr1440\vieww11520\viewh8400\viewkind0 \deftab720 \pard\pardeftab720\sa240\partightenfactor0 \f0\fs26\fsmilli13333 \cf2 \expnd0\expndtw0\kerning0 REFERENCES \fs24 \ \fs26\fsmilli13333 Alamo, T., Bravo, J.M., Redondo, M.J., and Camacho, E.F. (2008). A set-membership state estimation algo- rithm based on DC programming. Automatica, 44(1), 216\'96224. \fs24 \ \fs26\fsmilli13333 Andersson, J.A.E., Gillis, J., Horn, G., Rawlings, J.B., and Diehl, M. (2019). CasADi \'96 A software framework for nonlinear optimization and optimal control. Mathemat- ical Programming Computation, 11(1), 1\'9636. \fs24 \ \fs26\fsmilli13333 Bizeray, A.M., Zhao, S., Duncan, S.R., and Howey, D.A. (2015). Lithium-ion battery thermal-electrochemical model-based state estimation using orthogonal colloca- tion and a modified extended Kalman filter. Journal of Power Sources, 296, 400\'96412. \fs24 \ \fs26\fsmilli13333 Di Domenico, D., Stefanopoulou, A., and Fiengo, G. (2010). Lithium-ion battery state of charge and criti- cal surface charge estimation using an electrochemical model-based extended kalman filter. Journal of Dy- namic Systems, Measurement, and Control, 132(6). \fs24 \ \fs26\fsmilli13333 Hansen, E. and Walster, G.W. (2003). Global optimization using interval analysis: revised and expanded. CRC Press. \fs24 \ \fs26\fsmilli13333 Hu, X., Cao, D., and Egardt, B. (2018). Condition moni- toring in advanced battery management systems: Mov- ing horizon estimation using a reduced electrochemical model. IEEE/ASME Transactions on Mechatronics, 23(1), 167\'96178. \fs24 \ \fs26\fsmilli13333 Jaulin, L., Braems, I., Kieffer, M., and Walter, E. (2001). Nonlinear state estimation using forward-backward propagation of intervals in an algorithm. In Scientific Computing, Validated Numerics, Interval Methods, 191\'96 201. Springer. \fs24 \ \fs26\fsmilli13333 Kim, I.S. (2009). A technique for estimating the state of health of lithium batteries through a dual-sliding-mode observer. IEEE Transactions on Power Electronics, 25(4), 1013\'961022. \fs24 \ \fs26\fsmilli13333 Kvasnica, M., Grieder, P., Baoti\uc0\u32 \u769 c, M., and Morari, M. (2004). Multi-parametric toolbox (MPT). In Interna- tional Workshop on Hybrid Systems: Computation and Control, 448\'96462. Springer. \fs24 \ \fs26\fsmilli13333 Lu, L., Han, X., Li, J., Hua, J., and Ouyang, M. (2013). A review on the key issues for lithium-ion battery management in electric vehicles. Journal of Power Sources, 226, 272\'96288. \fs24 \ \pard\pardeftab720\sa240\partightenfactor0 \fs26\fsmilli13333 \cf2 \cb3 Moore, R.E., Kearfott, R.B., and Cloud, M.J. (2009). Introduction to Interval Analysis. SIAM, Philadelphia, PA, USA. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Perez, H.E., Hu, X., Dey, S., and Moura, S.J. (2017). Op- timal charging of Li-ion batteries with coupled electro- thermal-aging dynamics. IEEE Transactions on Vehic- ular Technology, 66(9), 7761\'967770. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Piller, S., Perrin, M., and Jossen, A. (2001). Methods for state-of-charge determination and their applications. Journal of Power Sources, 96(1), 113\'96120. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Plett, G.L. (2006). Sigma-point kalman filtering for bat- tery management systems of lipb-based hev battery packs: Part 2: Simultaneous state and parameter esti- mation. Journal of Power Sources, 161(2), 1369\'961384. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Pozzi, A., Ciaramella, G., Volkwein, S., and Raimondo, D.M. (2018). Optimal design of experiments for a lithium-ion cell: parameters identification of an isother- mal single particle model with electrolyte dynamics. Industrial & Engineering Chemistry Research, 58(3), 1286\'961299. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Rego, B.S., Raffo, G.V., Scott, J.K., and Raimondo, D.M. (2020). Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems. Automatica, 111, 108614. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Rump, S.M. (1999). Intlab \'96 INTerval LABoratory. In Developments in reliable computing, 77\'96104. Springer. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Shamma, J.S. and Tu, K.Y. (1997). Approximate set- valued observers for nonlinear systems. IEEE Trans- actions on Automatic Control, 42(5), 648\'96658. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Tulsyan, A., Tsai, Y., Gopaluni, R.B., and Braatz, R.D. (2016). State-of-charge estimation in lithium-ion batter- ies: A particle filter approach. Journal of Power Sources, 331, 208\'96223. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Weber, R.M., Spragg, R., Hoffmann, K., and Onori, S. (2019). Process noise quantification in kalman filters with application to electrochemical lithium-ion battery state estimation. In Proc. of 2019 IEEE International Symposium on Industrial Electronics, 1995\'962000. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Xiong, R., Cao, J., Yu, Q., He, H., and Sun, F. (2017). Critical review on the battery state of charge estimation methods for electric vehicles. Ieee Access, 6, 1832\'961843. \fs24 \cb1 \ \fs26\fsmilli13333 \cb3 Zhang, D., Couto, L.D., Gill, P., Benjamin, S., Zeng, W., and Moura, S.J. (2020). Interval observer for SOC estimation in parallel-connected Lithium-ion batteries. In 2020 American Control Conference, 1149\'961154. \fs24 \cb1 \ }