Safety critical bounds for precise positioning for aviation and autonomy