IDA-PBC controller of a DC-DC boost converter for continuous and discontinuous conduction mode | IEEE Journals & Magazine | IEEE Xplore