Abstract: The work is dedicated to verification of automatic logic control systems by analyzing the correctness of state diagrams of control finite state machines which are represented in the form of ...
Abstract: Renewable energy sources (RESs) are growing rapidly and highly penetrated in microgrids (MGs). As a result of the replacement of the synchronous generators with a large amount of RESs, the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback