Control Evaluation for a Boost Converter via the PI-PBC \& IOC-PI Theories for Voltage Support in Linear Loads: Numerical validations in PSIM, PLECS, and MATLAB/Simulink by Gómez Chitiva, Juan Sebastián, Escalante Sarrias, Andrés Felipe, Montoya Giraldo, Oscar Danilo