HyCoDeV

Lab

This is the virtual location of the Hybrid Systems: Control, Design and Verification Lab based at Newcastle University. We hope you enjoy your stay!

HyCoDeV Lab

This is the virtual location of the Hybrid Systems: Control, Design and Verification Lab based at Newcastle University. We hope you enjoy your stay!

Recent News:

[Jan 2023] - Anna Laino presented a poster at the WRRmod 2022+ conference in Stellenbosch, South Africa. Anna's poster was on "Quantification of wastewater treatment resilience metrics".

[Dec 2022] - Oliver Schön presented at the IEEE CDC 2022 conference in Cancun, Mexico. Oliver's paper was titled "Correct-by-Design Control of Parametric Stochastic Systems" and can be found here.

[Dec 2022] - Milad Kazemi successfully defended his PhD this morning subject to very minor corrections. Milad's research was at the intersection of control theory, formal methods, and reinforcement learning.His examiners were Professor Rayna Dimitrova from CISPA, Germany, and Prof Maciej Koutny from Newcastle University. Milad is now continuing his research at King’s College London to develop new ideas at the intersection of formal methods, machine learning, and security.