Resilient

Formal Verification of Neural Network Controlled Cyber-Physical Systems

Prof. Yasser Shoukry, University of California, Irvine, USA

Nov 28, 10:00 - 10:45

B2 5220

Abstract Deep Neural Networks (DNNs) are increasingly being used to control physical/mechanical systems. Self-driving cars, drones, and smart cities are just examples of such systems to name a few. However, regardless of the explosion in the use of DNNs within a multitude of cyber-physical systems (CPS) domains, the safety, and reliability of these DNN-controlled CPS is still an understudied problem. Mathematically based techniques for the specification, development, and verification of software and hardware systems, also known as formal methods, hold the promise to provide appropriate