Sorry, but isn't it a rather complicated solution to build a simple 50Hz push-pull inverter using N-MOSFET!
I wonder how my 'very' simple driver (2 NPN transistors and a few resistors) works without failure unless the user connects, by mistake, the mains powerline to the transformer output. To control the bases of the 2 transistors I used the MCU AT89C2051 (available in the local market). But since the MCU takes a short boot time to run properly, the Vcc of the driver (the 2 NPN transistors) is delayed by a PNP transistor and a capacitor.
The advantages of using an MCU in this case:
(1) The frequency is stable since it is based on the MCU crystal frequency.
(2) It can provide a soft start at boot by varying the duty cycle from almost 0 to D_C maximum.
(3) If the battery voltage is monitored, the duty cycle could be decreased accordingly when the battery voltage is higher than 12V for example.
For instance, I detect the current overload from monitoring the instantaneous Vds (during on state) since it increases with current and temperature.