Verification and Control of Hybrid Systems: A Symbolic Approach