Cyber-physical systems (CPSs) are everywhere, from autonomous vehicles to medical devices to smart buildings. Designing such CPSs that achieve complex tasks is a hard and error prone process.

In CPS research group led by Dr. Aydin Gol, we develop theory and academic tools to design, control and monitor such systems from formal specifications with correctness guarantees. Our current application areas are smart traffic management, monitoring of web-services, design of real-time systems and disaster management.


Ebru gave a seminar titled “Cause Mining and System Repair with STL” at the monthly meeting of the IEEE Technical Committee on Verification of Autonomous Systems. 2/22

Ebru is at “People in Control”, IEEE Control Systems Magazine. 11/21

Mert successfully presented his master thesis. Congrats MSc Mert!.  6/2020

Our new project titled “Modeling of Electric Vehicle Battery Use for Micro Grid Applications and Estimating the Energy Requirement” with METU-EEE and METU-CE has received funding from TUBITAK – 1001 programme.

Mert received IFAC Young Author Award at ICONS. Congratulations Mert !

for more…