Systematic ultimate bound computation for sampled-data systems with quantization