Reliability design of a distributed knowledge based system for an autonomous underwater vehicle | IEEE Conference Publication | IEEE Xplore