Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification