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.
News:
Fatih successfully presented his master thesis. Congrats MSc Fatih!. 7/2022
Our new project titled “A data-driven approach using temporal logics for repairing robot controllers” has received funding from TUBITAK – 1001 programme.
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