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 talk on “Formal Control of Traffic Systems” at KAUST Research Conference on Sustainable Urban-Environmental Future (suef). 4/2019

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