@inproceedings{acb5eee7587c403ba60753881680c774,
title = "A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems",
abstract = "Signal Temporal Logic (STL) has become a popular tool for expressing formal requirements of Cyber-Physical Systems (CPS). The problem of verifying STL properties of neural network-controlled CPS remains a largely unexplored problem. In this paper, we present a model for the verification of Neural Network (NN) controllers for general STL specifications using a custom neural architecture where we map an STL formula into a feed-forward neural network with ReLU activation. In the case where both our plant model and the controller are ReLU-activated neural networks, we reduce the STL verification problem to reachability in ReLU neural networks. We also propose a new approach for neural network controllers with general activation functions; this approach is a sound and complete verification approach based on computing the Lipschitz constant of the closed-loop control system. We demonstrate the practical efficacy of our techniques on a number of examples of learning-enabled control systems.",
keywords = "Controller, Deep Neural Network, Lipstchitz constant, Model, ReLU, Reachability, Signal Temporal Logic, Verification",
author = "Navid Hashemi and Danil Prokhorov and Bardh Hoxha and Georgios Fainekos and Tomoya Yamaguchi and Deshmukh, \{Jyotirmoy V.\}",
note = "Publisher Copyright: {\textcopyright} ICCPS 2023. All rights reserved.; 14th ACM/IEEE International Conference on Cyber-Physical Systems, with CPS-IoT Week 2023, ICCPS 2023 ; Conference date: 09-05-2023 Through 12-05-2023",
year = "2023",
month = may,
day = "9",
doi = "10.1145/3576841.3585928",
language = "English (US)",
series = "ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023",
publisher = "Association for Computing Machinery, Inc",
pages = "98--109",
booktitle = "ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023",
}