A multi-valued decision diagram for estimation of multi-state system | IEEE Conference Publication | IEEE Xplore