A novel Passivity-Based Stability Criterion (PBSC) for switching converter DC distribution systems | Synapse