Weiming Xiang

Assistant Professor

Weiming Xiang

Assistant Professor

Academic Appointment(s)

School of Computer and Cyber Sciences
Department of Computer Science

The Graduate School

Bio

Dr. Xiang is an Assistant Professor in the School of Computer and Cyber Sciences at Augusta University. He is a Senior Member, IEEE. His research interests are Cyber-Physical Systems (CPS), Safe AI, Formal Methods, and Hybrid Systems.

Education

  • Ph.D., Transportation/Mobility Manage Southwest Jiaotong University, 2014

Courses Taught Most Recent Academic Year

  • CSCI 3370

    Assembly Lang Programming
  • CENG 2001

    Intro Cybersecurity Engineer
  • CSCI 1301

    Principles of Comp Program I

Teaching Interests

Computer Science, Control Theory

Scholarship

Selected Recent Publications

  • Interval Observer Design of Dynamical Systems With Neural Networks, 2021
    Conference Proceeding
  • Data-Driven Modeling of Switched Dynamical Systems via Extreme Learning Machine, 2021
    Conference Proceeding
  • Run-Time Safety Monitoring of Neural-Network-Enabled Dynamical Systems, 2021
    Journal Article, Academic Journal
  • Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach, 2021
    Journal Article, Academic Journal
  • NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems, 2020
    Conference Proceeding

Research Interests

Cyber-Physical Systems; Safe AI; Control Theory; Formal Methods; Hybrid Systems

Professional Service

  • Electronics 2021 - Present

    Role: Editor, Associate Editor
  • The Fund for Scientific Research-FNRS 2021 - Present

    Role: Reviewer
  • IET Control Theory and Applications 2020 - 2023

    Role: Editor, Associate Editor
  • IEEE Conference on Decision and Control 2020 - 2021

    Role: Reviewer
  • America Control Conference 2019 - 2021

    Role: Reviewer