Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

computer architecture --- computer software selection and evaluation --- formal logic --- formal methods --- model checker --- model checking --- multi core processors --- program compilers --- programming languages --- semantics --- software engineering --- specifications --- state space --- verification

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is a collection of scientific papers concerning multilevel inverters examined from different points of view. Many applications are considered, such as renewable energy interface, power conditioning systems, electric drives, and chargers for electric vehicles. Different topologies have been examined in both new configurations and well-established structures, introducing novel and particular modulation strategies, and examining the effect of modulation techniques on voltage and current harmonics and the total harmonic distortion.

DC–DC conversion --- interleaved buck --- parasitic switching states --- three-level converter --- simplified PWM strategy --- redundant switching combination --- voltage balance control --- modular multilevel converter --- IGBT short-circuit --- fault detection --- fault location --- Differential Comparison Low-Voltage Detection Method (DCLVDM) --- Continuous Wavelet Transform --- digital controller --- digital signal processors (DSP) --- modular multilevel converters (MMC) --- multi-terminal DC network (MTDC) --- MMC-MTDC --- hybrid modulated model predictive control --- optimal output voltage level --- multi-point DC control --- neutral-point-clamped (NPC) inverter --- dc-link capacitor voltage balance --- offset voltage injection --- harmonic component --- modular multilevel converters --- capacitor voltage balancing --- sorting networks --- field-programmable gate array --- low-harmonic DC ice-melting device --- transmission line --- voltage fluctuation --- harmonic --- dynamic reactive --- substation’s voltage stability --- alternating current (AC) motor drive --- current estimation --- current reconstruction method --- current unmeasurable areas --- total harmonic distortion (THD) --- single shunt resistor --- space vector pulse width modulation (SVPWM) --- shift method --- minimum voltage injection (MVI) method --- three-level neutral point clamped inverter (NPCI) --- three-level boost --- automatic current balance --- three-loop --- voltage imbalance --- DC-link voltage balancing --- field-oriented control --- field-programmable gate array --- multilevel active-clamped converter --- motor drive --- buck-chopper --- PV-simulator --- T-type converter --- real time simulator --- three-level boost DC-DC converter --- small signal modeling --- voltage balance control --- multilevel converter --- selected harmonic elimination --- genetic algorithm --- imperialist competitive algorithm --- voltage ripple --- voltage source inverter --- three-phase inverter --- DC-link capacitor design --- Cascaded H-bridge multilevel inverter (CHBMI) --- field-programmable gate array --- total harmonic distortion (THD) --- modulation techniques --- multilevel converter --- electric vehicle --- on-board battery charger --- power factor correction --- power quality --- smart grid --- model predictive control --- single-phase three-level NPC converter --- commutation --- modular multilevel converter (MMC) --- Sub-module (SM) fault --- fault-tolerant control --- Phase Disposition PWM --- finite control set model predictive control --- T-type inverter --- computational cost --- LC filter --- DC-link capacitor voltage balancing --- multilevel converter --- DC side fault blocking --- predictive control --- battery energy storage system (BESS) --- modular multilevel converter (MMC) --- state-of-charge (SOC) balancing control --- tolerance for battery power unbalance --- model predictive control (MPC) --- computational burden --- reverse prediction --- modular multilevel converter (MMC) --- multilevel inverters --- total harmonic distortion --- level-shifted PWM --- phase-shifted PWM --- electrical drives --- energy saving --- multilevel power converters --- permanent magnet synchronous generator --- open-end winding configuration --- voltage balancing --- power factor --- improved PQ algorithm --- power flow analysis --- three-phase to single-phase cascaded converter --- ACTPSS --- NPC/H Bridge --- five-level --- Balance of capacitor voltage --- Suppression of CMV --- SVPWM --- multilevel converter --- multi-motor drive --- harmonic mitigation --- active filter --- open end winding motor --- high efficiency drive --- high reliability applications