1. Pulse width Modulation Push-Pull DC-DC Converter

Pulse width modulated (PWM) push-pull DC-DC converters are very popular in modern power electronic supplies. They have many applications in some sensitive and critical areas such as aerospace, transportation, and renewable energy. Hence, a robust and secure stability analysis of this type of converter is extremely important. As a direct application of our framework, we formalize the stability and the resonance of this circuit. We conduct the formal analysis of push-pull converter with and without the control part.

2. N-Boost Cells Interleaved DC-DC Converters

Interleaved DC-DC converters are composed of N-boost cells connected in paral- lel which operate in an interleaved fashion. The elementary cell can be a two-level or multi-level DC-DC converter. The elementary DC-DC cells are driven with pulse width modulation in which pulses are shifted by 2π/N radians. We conduct the formal analysis of 1-boost, 2-boost, and 3-boost cells interleaved converters.