Abstract: We present assume-guarantee contracts as specifications for the dynamic behavior of linear dynamical systems with inputs and outputs. We define and characterize contract implementation using ...
Abstract: Isolated half-bridge three-level (IHBTL) dc/dc converter with high performance in dynamic control, output voltage tracking accuracy, and electromagnetic compatibility is needed in electric ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results