This letter presents an accurate and explicit linear model of bus impedance for a power network with unknown branch status. Firstly, an equivalent network of the power network is constructed, and the ...

In this paper, we present a formal model-driven design approach to establish a safety-assured implementation of multifunction vehicle bus controller (MVBC), which controls the data transmission among ...