Abstract: The work is dedicated to verification of automatic logic control systems by analyzing the correctness of state diagrams of control finite state machines which are represented in the form of ...

Abstract: Dual-motor powertrain (DMP) has been proven to help electric vehicles (EVs) achieve better dynamic performance and energy economy. This study proposes a novel DMP, which can realize four ...