

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
[July 2023] Mahmoud Salamati has had a paper accepted in the EMSOFT conference. The paper will also be published in a special issue at ACM transactions. The paper is on neural abstraction-based synthesis with correctness guarantees.
[July 2023] Marco Lewis had a paper accepted to the QEST 2023 conference in Belgium. The paper is titled Verification of Quantum Systems using Barrier Certificates. The paper is authored by Marco Lewis, Paolo Zuliani and Sadegh Soudjani.
[June 2023] Ben Wooding presented a paper at the European Control Conference (ECC) in Romania. The paper is titled Robust Simulation Functions with Disturbance Refinement. The paper is authored by Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab and Sadegh Soudjani.
[May 2023] - Sadegh Soudjani and Thomas Gross have been successful in securing a £500k Innovate UK research grant for doing feasibility studies on quantum computing applications. The grant will enable to conduct research in quantum optimization of aircraft container loading. They will soon be looking for a Research Associate to join this project.
[May 2023] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a paper at HSCC'23. The paper is titled "SySCoRe: Synthesis vis stochastic coupling relations", it presents SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications and can be found here. A poster was published for the conference as well, which can be found here.
[May 2023] - Ben Wooding has been successful in securing the EPSRC Doctoral Prize. Ben has been working as a PhD student supported by Dr Sadegh Soudjani on applications of formal methods for Cyber-Physical Systems. This prize will enable him to continue working in the AMBER group for two years as a Research Associate under the supervision of Dr Abolfazl Lavaei and to conduct exciting research on “Reliable AI-enabled Design of Cyber-Physical Systems”. We wish Ben best of luck in finishing his thesis and using this prize for establishing himself as an independent high-quality researcher and contributing to the research agenda of the AMBER group.
[Apr 2023] - Ben Wooding had his paper accepted to the ECC (European Control Conference) titled "Robust Simulation Functions with Disturbance Refinement".
[Apr 2023] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a preprint paper titled "Bayesian Approach to Temporal Logic Control of Uncertain Systems". The preprint can be found here.
[Mar 2023] - Zhi Zhang, et al. had an article accepted into the International Journal of Non-Linear Mechanics. The article is titled "Numerical analysis of a multistable capsule system under the delayed feedback control with a constant delay" it can be found here.
[Feb 2023] - Sadegh Soudjani is awarded the prestigious €2m ERC Consolidator grant to perform fundamental research on formal verification and synthesis of cyber-physical systems under uncertainty. We will soon open PhD and postdoc positions.
[Feb 2023] - Mahdieh Zaker has joined our group as a PhD student.
[Feb 2023] - Negar Monir has joined our group as a PhD student.
[Jan 2023] - Omid Akbarzadeh has joined our group as a PhD student. He is jointly supervised with Dr Abolfazl Lavaei.
[Jan 2023] - Andrea Calvagna is visiting our group for a month. He will be contributing to the SymAware project.
[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] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a paper titled "ARCH-COMP22 Category Report: Stochastic Models". The paper presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The paper 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.


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
[July 2023] Mahmoud Salamati has had a paper accepted in the EMSOFT conference. The paper will also be published in a special issue at ACM transactions. The paper is on neural abstraction-based synthesis with correctness guarantees.
[July 2023] Marco Lewis had a paper accepted to the QEST 2023 conference in Belgium. The paper is titled Verification of Quantum Systems using Barrier Certificates. The paper is authored by Marco Lewis, Paolo Zuliani and Sadegh Soudjani.
[June 2023] Ben Wooding presented a paper at the European Control Conference (ECC) in Romania. The paper is titled Robust Simulation Functions with Disturbance Refinement. The paper is authored by Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab and Sadegh Soudjani.
[May 2023] - Sadegh Soudjani and Thomas Gross have been successful in securing a £500k Innovate UK research grant for doing feasibility studies on quantum computing applications. The grant will enable to conduct research in quantum optimization of aircraft container loading. They will soon be looking for a Research Associate to join this project.
[May 2023] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a paper at HSCC'23. The paper is titled "SySCoRe: Synthesis vis stochastic coupling relations", it presents SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications and can be found here. A poster was published for the conference as well, which can be found here.
[May 2023] - Ben Wooding has been successful in securing the EPSRC Doctoral Prize. Ben has been working as a PhD student supported by Dr Sadegh Soudjani on applications of formal methods for Cyber-Physical Systems. This prize will enable him to continue working in the AMBER group for two years as a Research Associate under the supervision of Dr Abolfazl Lavaei and to conduct exciting research on “Reliable AI-enabled Design of Cyber-Physical Systems”. We wish Ben best of luck in finishing his thesis and using this prize for establishing himself as an independent high-quality researcher and contributing to the research agenda of the AMBER group.
[Apr 2023] - Ben Wooding had his paper accepted to the ECC (European Control Conference) titled "Robust Simulation Functions with Disturbance Refinement".
[Apr 2023] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a preprint paper titled "Bayesian Approach to Temporal Logic Control of Uncertain Systems". The preprint can be found here.
[Mar 2023] - Zhi Zhang, et al. had an article accepted into the International Journal of Non-Linear Mechanics. The article is titled "Numerical analysis of a multistable capsule system under the delayed feedback control with a constant delay" it can be found here.
[Feb 2023] - Sadegh Soudjani is awarded the prestigious €2m ERC Consolidator grant to perform fundamental research on formal verification and synthesis of cyber-physical systems under uncertainty. We will soon open PhD and postdoc positions.
[Feb 2023] - Mahdieh Zaker has joined our group as a PhD student.
[Feb 2023] - Negar Monir has joined our group as a PhD student.
[Jan 2023] - Omid Akbarzadeh has joined our group as a PhD student. He is jointly supervised with Dr Abolfazl Lavaei.
[Jan 2023] - Andrea Calvagna is visiting our group for a month. He will be contributing to the SymAware project.
[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] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a paper titled "ARCH-COMP22 Category Report: Stochastic Models". The paper presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The paper 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.
Collaborate with us
We are always interested to hear from people with similar research interests to our own who may wish to collaborate. To contact us fill in the form on the right-hand side.
Recent News:
[May 2023] - Sadegh Soudjani and Thomas Gross have been successful in securing a £500k Innovate UK research grant for doing feasibility studies on quantum computing applications. The grant will enable to conduct research in quantum optimization of aircraft container loading. They will soon be looking for a Research Associate to join this project.
[May 2023] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a paper at HSCC'23. The paper is titled "SySCoRe: Synthesis vis stochastic coupling relations", it presents SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications and can be found here. A poster was published for the conference as well, which can be found here.
[May 2023] - Ben Wooding has been successful in securing the EPSRC Doctoral Prize. Ben has been working as a PhD student supported by Dr Sadegh Soudjani on applications of formal methods for Cyber-Physical Systems. This prize will enable him to continue working in the AMBER group for two years as a Research Associate under the supervision of Dr Abolfazl Lavaei and to conduct exciting research on “Reliable AI-enabled Design of Cyber-Physical Systems”. We wish Ben best of luck in finishing his thesis and using this prize for establishing himself as an independent high-quality researcher and contributing to the research agenda of the AMBER group.
[Apr 2023] - Ben Wooding had his paper accepted to the ECC (European Control Conference) titled "Robust Simulation Functions with Disturbance Refinement".
[Apr 2023] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a preprint paper titled "Bayesian Approach to Temporal Logic Control of Uncertain Systems". The preprint can be found here.
[Mar 2023] - Zhi Zhang, et al. had an article accepted into the International Journal of Non-Linear Mechanics. The article is titled "Numerical analysis of a multistable capsule system under the delayed feedback control with a constant delay" and can be found here.
[Feb 2023] - Sadegh Soudjani is awarded the prestigious €2m ERC Consolidator grant to perform fundamental research on formal verification and synthesis of cyber-physical systems under uncertainty. We will soon open PhD and postdoc positions.
[Feb 2023] - Mahdieh Zaker has joined our group as a PhD student.
[Feb 2023] - Negar Monir has joined our group as a PhD student.
[Jan 2023] - Omid Akbarzadeh has joined our group as a PhD student. He is jointly supervised with Dr Abolfazl Lavaei.
[Jan 2023] - Andrea Calvagna is visiting our group for a month. He will be contributing to the SymAware project.
[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] - Oliver Schön and Sadegh Soudjani, alongside other researchers, published a paper titled "ARCH-COMP22 Category Report: Stochastic Models". The paper presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The paper 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.
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!

