Information inference for cyber-physical systems with application to aviation safety and space situational awareness