State Synchronization for Dual Digital Twin of EV Batteries by Lyapunov Stability Condition and Contraction Analysis.