返回导师列表
BS

Behrad Samari

Graduate Research and Teaching Assistant · School of Computing

Newcastle University · United Kingdom
Systems and Control TheoryData-Driven ControlFormal MethodsStochastic Cyber-Physical Systems

简介

Behrad is currently a PhD student in Prof. Abolfazl Lavaei's group at Newcastle University. Motivated by the challenges of a world full of uncertainties, his research lies at the intersection of formal methods and systems and control theory. He focuses on developing frameworks capable of formally addressing verification problems and compositionally synthesizing controllers that ensure satisfying complex specifications over stochastic cyber-physical systems with provable guarantees.

教育经历

  • Master's Electrical Engineering (Control major), University of Tehran, 2022
  • Bachelor's Electrical Engineering (Control major), K. N. Toosi University of Technology, 2019

代表成果

  • Samari B, Della Rossa M, Lavaei A, Soudjani S, Jungers R. Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. In: 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024). 2024, Boulder, Colorado: Elsevier Ltd.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。