State knowledge representation in the Mission Data System | IEEE Conference Publication | IEEE Xplore