I am always looking for motivated PhD students and postdoctoral scholars. Potential candidates should have solid background in (at least) one of the following areas: Systems and Control, Mathematics, Computer Science, Artificial Intelligence, Data Science, Operations Research, or a closely related field. If you are interested, please send your application to abolfazl.lavaei@newcastle.ac.uk. Current openings
Title: Towards Trustworthy AI for Safety-Critical Cyber-Physical Systems Overview: Cyber-physical systems (CPS) are complex networked models combining both cyber (computation and communication) and physical components, which tightly interact with each other in a feedback loop. Examples of such systems span a wide range of real-life safety-critical applications including automotive, robotics, transportation systems, energy, healthcare, critical infrastructures, and so on. Formal verification and policy synthesis for this type of complex systems to enforce high-level control missions are inherently very challenging mainly due to (i) large dimension of underlying systems, (ii) stochastic nature of dynamics, (iii) tight interaction between physical and cyber components, (iv) dealing with complex requirements, and (v) lack of mathematical closed-form models in many real-world applications. The main goal of this research is to focus on developing scalable AI-based techniques with mathematical guarantees to tackle the aforementioned difficulties and design highly-reliable CPS by bringing together interdisciplinary concepts from formal methods in computer science, optimization in operations research, control theory, data science and machine learning.
|