Characterization, Verification and Control for Large Quantum Systems