Ongoing projects:

Modeling of Electric Vehicle Battery Use for Micro Grid Applications and Estimating the Energy Requirement (funded by Tubitak, No:119E209, start in 2020)

Past projects:

Decision Support Methods for Restoration in Earthquake-Damaged Medium Voltage Electrical Distribution Networks (funded by Tubitak, No:118E183, lead by EEE-PowerLab)

Automating Timed Automata Design (funded by European Commission, MSCA-IF No: 798482)

Monitoring with STL (funded by METU No:BAP-08-11-2017-014, TUBITAK-3501 No:117E242)

Formal Control of Traffic Systems (funded by TUBITAK-2232 No:116C061)