Name
Title | ||
|---|---|---|
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations |
Abstract | ||
|---|---|---|
The paper presents a barrier certificate based approach to verifying safety properties of closed-loop systems using neural networks as controllers. It deals with the verification problem in the infinite time horizon and exploits the approximated system of the original one to synthesize the candidate barrier certificates, where the behavior of a neural network controller is approximated by a polynomial with a bounded error. Satisfiability Modulo Theories solvers are then utilized to identify real barrier certificates from those candidates. As a barrier certificate can separate the over-approximation of the reachable set from the unsafe region, once it is constructed, the safety property gets proved. We show the advantage of our approach in barrier certificates synthesis by comparing it with the state-of-the-art work on a set of benchmarks. |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1109/DAC18074.2021.9586327 | 2021 58TH ACM/IEEE DESIGN AUTOMATION CONFERENCE (DAC) |
Keywords | DocType | ISSN |
Safety verification, Barrier certificates, Neural network controller, Satisfiability-Modulo-Theories | Conference | 0738-100X |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
9 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sha Meng | 1 | 12 | 2.91 |
| Xin Chen | 2 | 1 | 1.36 |
| Yuzhe Ji | 3 | 0 | 0.34 |
| Qingye Zhao | 4 | 0 | 1.35 |
| Zhengfeng Yang | 5 | 1 | 2.04 |
| Wang Lin | 6 | 67 | 6.82 |
| Enyi Tang | 7 | 0 | 1.69 |
| Qiguang Chen | 8 | 0 | 0.68 |
| Li Xuandong | 9 | 672 | 79.78 |