Safety verification for distributed parameter systems using barrier functionals (Q1678571)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safety verification for distributed parameter systems using barrier functionals |
scientific article |
Statements
Safety verification for distributed parameter systems using barrier functionals (English)
0 references
17 November 2017
0 references
safety verification
0 references
barrier certificates
0 references
sum-of-squares programming
0 references
distributed parameter systems
0 references
0 references
0 references
0 references
0 references
