Abstract: Linear temporal logic (LTL) is an intuitive and expressive language to specify complex control tasks, and how to design an efficient control strategy for LTL specification is still a ...
Abstract: This letter presents an easy-to-use technique for identifying lumped parameters of equivalent circuits for multiwinding transformers. The equivalent circuit helps to model ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results