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:

Ahmet Ketenci passed the Ph.D. qualifying exam. Congrats Ahmet! 11/2018

Tubitak 1001: Disaster management project in collaboration with Metu-EE and Hacettepe CE. 10/2018

received MSCA-IF funding for the project titled “Automating Timed Automata Design” (6/2018)