Fixed-switching-frequency passivity-based predictive control of DC–DC boost converters: Hardware-in-the-loop validation | Synapse