New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage | IEEE Conference Publication | IEEE Xplore