Revisiting Polyhedral Analysis for Hybrid Systems