Skip to main content
King Abdullah University of Science and Technology
Electrical and Computer Engineering
ECE
Electrical and Computer Engineering
  • Study
    • Prospective Students
    • Current Students
  • Research
    • Research Areas
    • Research Groups
  • People
    • All People
    • Faculty
    • Affiliate Faculty
    • Instructional Faculty
    • Research Scientists
    • Research Staff
    • Postdoctoral Fellows
    • Administrative Staff
    • Alumni
    • Students
  • News
  • Events
  • About
  • CEMSE Division
  • Apply

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

Resilient

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

Electrical and Computer Engineering (ECE)

Footer

  • A-Z Directory
    • All Content
    • Browse Related Sites
  • Site Management
    • Log in

© 2024 King Abdullah University of Science and Technology. All rights reserved. Privacy Notice