I mentor student researchers through ANNT’s Projekat studentskih istraživanja (PSI), a programme connecting students with researchers on focused research projects.
AI-Assisted Formal Verification of Robotic Control Systems
2026 · ANNT PSI
We are building a Lean 4 library of machine-checked proofs for control theory and robotics, covering stability, controllability, manipulator kinematics, and safety invariants. We also evaluate whether AI assistants can shorten the time needed to produce proofs accepted by Lean 4.
Team members
| Name | Affiliation |
|---|---|
| Adnan Muradbegović | University of Sarajevo, Faculty of Electrical Engineering. |
| Zerina Tanović | International University of Sarajevo, Faculty of Engineering and Natural Sciences. |
| Vedad Čolaković | University of Sarajevo, Faculty of Mechanical Engineering. |
| Mahir Salibašić | University of Tuzla, Faculty of Natural Sciences and Mathematics. |
Extremum Seeking MPPT Against Commercial Power Optimizers
2026 · ANNT PSI
We investigate extremum seeking for maximum power point tracking (MPPT) in solar panel arrays. The project combines controller implementation and hardware experiments under partial shading and changing conditions, with comparisons against commercial optimizer specifications and field measurements. We will assess convergence time, steady-state error, transient behaviour, and cost.
Team members
| Name | Affiliation |
|---|---|
| Amer Ganic | University of Sarajevo, Faculty of Electrical Engineering. |
| Sanjin Halilhodžić | University of Tuzla, Faculty of Electrical Engineering. |