Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming (Q6338853)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming |
preprint article from arXiv
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming |
preprint article from arXiv |
Statements
16 April 2020
0 references
eess.SY
0 references
cs.LG
0 references
cs.SY
0 references
math.OC
0 references
Haimin Hu
0 references
Mahyar Fazlyab
0 references
Manfred Morari
0 references
George J. Pappas
0 references
