The formal approaches to the problem of mobile systems information support algorithm design (path finding, navigation, reliability)