Exponential-condition-based barrier certificate generation for safety verification of hybrid systems (Q2864837)
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: Exponential-condition-based barrier certificate generation for safety verification of hybrid systems |
scientific article; zbMATH DE number 6233039
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Exponential-condition-based barrier certificate generation for safety verification of hybrid systems |
scientific article; zbMATH DE number 6233039 |
Statements
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (English)
0 references
26 November 2013
0 references
inductive invariant
0 references
barrier certificate
0 references
safety verification
0 references
hybrid system
0 references
nonlinear system
0 references
sum of squares
0 references
0.8404984474182129
0 references
0.8351322412490845
0 references
0.7995017170906067
0 references
0.7762473821640015
0 references
