Set-membership filtering based Bi-directional DC-DC converter state estimation algorithm for lithium battery formation | IEEE Conference Publication | IEEE Xplore