Hybrid Systems: quantization and abstraction