PhD thesis: Assume-guarantee contracts for control of cyber-physical power systems
Thesis abstract: This thesis aims to develop a refinement method to empower the priority of actions among the control levels of microgrids and permit an efficient vertical arrangement of the control hierarchy while enhancing horizontal coordination among the several physical devices composing the microgrid.
- Correct-by-design verification of power systems’ specifications: by considering a microgrid as a CPS in a systematic way since the design phase of the control systems, we will implement a system of systems approach based on contract theory to define the desired specifications with respect to the given components. Then, we will investigate the effects of possible interactions among the components and the optimal configurations with respect to desired requirements.
- Multi-level controller synthesis: given a contract and a component model, synthesize a controller that fulfills the contract. Based on the modeling via contracts and the possible horizontal and vertical interactions, we target considering the hierarchy as a whole for stability purposes and to achieve a global control objective.
Duration: May 2023 – April 2026
Funding: National French ESTHER project funded by ANR
Supervising team:
- Supervisor: Alessio IOVINE (L2S)
- Co-Supervisor: Adnane SAOUD (L2S)
https://euraxess.ec.europa.eu/jobs/818230
