Switched reluctance machines (SRMs) have received increasing attention for their many potential uses, such as wind power and electric vehicle (EV) drive systems. The Quasi-Z-source Integrated Multiport Converter (QZIMPC) was recently introduced to improve the reliability of SRM driver through small capacitance values. It is not possible, however, simultaneously energize deenergize two phases in...

Parametric Presburger arithmetic concerns families of sets St ⊆ Zd, for t ∈ N, that are defined using addition, inequalities, constants in Z, Boolean operations, multiplication by t, and quantifiers on variables ranging over Z. That is, such families are defined using quantifiers and Boolean combinations of formulas of the form a(t) ·x ≤ b(t), where a(t) ∈ Z[t]d, b(t) ∈ Z[t]. A function g : N →...

Parametric Presburger arithmetic concerns families of sets St ⊆Zd , for t ∈N, that are defined using addition, inequalities, constants in Z, Boolean operations, multiplication by t, and quantifiers on variables ranging over Z. That is, such families are defined using quantifiers and Boolean combinations of formulas of the form a(t) ·x≤ b(t), where a(t) ∈ Z[t]d ,b(t) ∈ Z[t]. A function g : N→ Z ...

This paper proposes the Modified Switched Inductor Quasi Z Source Inverter (MSL-QZSI) for extracting maximum solar power generation. The Z source inverter uses LC impedance network to couple the main converter circuit to the power source, which provides the boosting of input voltage. It is not possible in traditional voltage-source inverter (VSI) and current-source inverter (CSI). The proposed ...

The advancement of digital signal processors (DSPs) and programmable logic devices in modern power electronics systems offer great control flexibility and capability, providing attractive features particularly for applications in which complex control tasks are involved. This dissertation investigates some DSP based advanced control algorithms for pulse-width modulation (PWM) inverter applicati...