Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Autom...