Learning safe neural network controllers with barrier certificates

Zhao, Hengjun, Zeng, Xia, Chen, Taolue et al. (2 more authors) (2021) Learning safe neural network controllers with barrier certificates. Formal Aspects of Computing. pp. 437-455. ISSN 0934-5043

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2021, British Computer Society. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. Funding Information: We thank the anonymous reviewers for their valuable comments on the earlier versions of this paper, and thank Prof. Jyotirmoy V. Deshmukh for the explanation on the bicycle model of Example 5.3. H. Zhao was supported partially by the National Natural Science Foundation of China (No. 61702425, 61972385); X. Zeng was supported partially by the National Natural Science Foundation of China (No. 61902325), and ?Fundamental Research Funds for the Central Universities" (SWU117058); T. Chen is partially supported by NSF Cgrant (No. 61872340), and Guangdong Science and Technology Department grant (No. 2018B010107004), the Overseas Grant of the State Key Laboratory of Novel Software Technology (No. KFKT2018A16), the Natural Science Foundation of Guangdong Province of China (No. 2019A1515011689); Z. Liu was supported partially by the National Natural Science Foundation of China (No. 62032019, 61672435, 61732019, 61811530327), and Capacity Development Grant of Southwest University (SWU116007); J. Woodcock was partially supported by the research grant from Southwest University.
Keywords: Barrier certificates,Continuous dynamical systems,Controller synthesis,Neural networks,Safety verification,Theoretical Computer Science,Software
Dates:
  • Published: 2 April 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 09 Aug 2021 14:40
Last Modified: 05 Sep 2021 10:15
Published Version: https://doi.org/10.1007/s00165-021-00544-5
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1007/s00165-021-00544-5
Related URLs:

Download

Accepted Version


Embargoed until: 2 April 2022

Filename: setta20.pdf

Description: setta20

Request a copy

file not available

Share / Export

Statistics