The Continuous Reachability Analyzer (CORA) is a MATLAB-based toolbox designed for the formal verification of cyber-physical systems through reachability analysis. It offers a comprehensive suite of ...
Abstract: The power-synchronization control (PSC) is proven to be an emerging solution for integrating the power converters into the grid, which has attracted wide attention due to its independence on ...
Abstract: In this paper, a fractional order active (P) and reactive (Q) power controller of doubly fed induction generator (DFIG) is developed and it performance is demonstrated using hardware in loop ...
This demo shows how to detect the crack images using one-class SVM. In anomaly detection, normal images can be obtained a lot, while the anomaly images are not frequenctly obtained; we cannot get ...
1 Deanship of Graduate Studies, King Abdulaziz University, Jeddah, Kingdom of Saudi Arabia. 2 Physics Department, Faculty of Science, King Abdulaziz University, Jeddah, Kingdom of Saudi Arabia. 3 ...
Recent rapid advances in spatiotemporal optical pulses demand accurate characterization of the spatiotemporal structure of the produced light fields. We report an automated close-loop characterization ...
Aiming at the problem of insufficient accuracy and timeliness of transmission line parameters in the grid energy management system (EMS) parameter library, a dynamic optimization method of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results