SMS dit: 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