Cyber-physical systems (CPS) have become increasingly important in the functioning of our society. In recent years, machine learning (ML) approaches start to become an attractive choice to design CPS controllers for better performance and adaptability. How to assure the correctness of this type of new controllers is extremely difficulty and remains a grand research challenge. This paper presents a convex optimization-based technique for computing the stability regions of deep neural net (DNN) controllers for CPS. The technique has been successfully applied to three benchmark systems.
