MuhammadBakr
PhD Student at the Technical University of UNISANNIO in ITALY GRACE (Group for Research on Automatic Control Engineering)
http://www.unisannio.it/enItaly
Pinned Repositories
Energy
HAEOLUS_Project
Via an implementation of an optimal controller whichfollows the sequential optimization technique and mixed-integerlinear constraints and dynamics, the problem of output powerfluctuations and smooth tracking of load demand is presentedfor hydrogen-based plant. We illustrate the effectiveness of theproposed controller with a simulation example, employing realwind farm data under a variety of hard constraints. Numerical simulations corroborate the feasibility and the effectiveness of the proposed approach
MPC
pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
PyAdvancedControl
Python codes for advanced control
STL
MuhammadBakr's Repositories
MuhammadBakr/Energy
MuhammadBakr/HAEOLUS_Project
Via an implementation of an optimal controller whichfollows the sequential optimization technique and mixed-integerlinear constraints and dynamics, the problem of output powerfluctuations and smooth tracking of load demand is presentedfor hydrogen-based plant. We illustrate the effectiveness of theproposed controller with a simulation example, employing realwind farm data under a variety of hard constraints. Numerical simulations corroborate the feasibility and the effectiveness of the proposed approach
MuhammadBakr/MPC
MuhammadBakr/pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.
MuhammadBakr/PyAdvancedControl
Python codes for advanced control
MuhammadBakr/STL