Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
GitHub

A modern C++ application project for visual Simulink- / Unreal Engine Blueprint-like flow-based arithmetic calculations with a graphical interface built using GLFW, Skia and ...

Contains documentation generation with Doxygen, unit tests with Google Test and a Justfile for simplified build operations. Business logic is implemented as a static library, and the GUI is ...
IEEE

Experimental Validation of Second-Order Adaptive Fuzzy Logic Controller for Grid-Connected DFIG Wind Power Plant

Abstract: This paper introduces a second-order adaptive fuzzy logic controller (SO-AFLC) to enhance the characteristics of a doubly fed induction generator (DFIG) inside a grid-tied wind power plant ...
IEEE

Design and Simulation of Fuzzy logic controller based MPPT of PV module using Matlab Simulink

Abstract: This paper presents the improvement of a PV system’s maximum power point tracking (MPPT) with a fuzzy logic controller using Matlab-Simulink. The system is composed of the KD230GX-LFB PV ...