Taylor series-based discrete-time circuit analysis of AC-DC closed-loop boost PFC converter | Synapse