While hitherto the synchronous grid is dominated by the synchronous generators (SGs), recently the grid-following inverter-based power generation systems (IBPGS) are increasingly being connected to the power grid, resulting in a slowly decreasing system total inertia impacting the operation of the power systems, in areas such as potential failures in the operation of phase-locked loops (PLLs), increased rate of change of frequency, contingency frequency control required during islanding conditions and problems associated with the system restoration capability. Therefore, there is an urgent need to develop grid-forming IBPGSs to replace or support the grid-following IBPGSs. The grid-forming IBPGS works like an SG to maintain the voltage and frequency of the power system, while the grid-following IBPGS simply dispatches the requested active and reactive power based on the request signal. The paper presents a mathematical model of the SG and its associated controllers for use with the pro