Abstract: The dynamical relationship of the multiple agents' behavior in a networked system is explored and utilized to enhance the control performance of the multiagent formation in this paper. An ...
Our tool TalisMan 1.0 is able to parse and verify AIGs. For further information we refer to the paper Clemens Hofstadler, Daniela Kaufmann. Guess and Prove: A Hybrid Approach to Linear Polynomial ...
Abstract: A feedback linearization based direct torque control (FL-DTC) scheme is designed for interior permanent magnet synchronous motors drives. Several main aspects related to FL are studied ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback