A delta-sampling verification theorem for discrete-time, possibly discontinuous systems (Q2988928)
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: A delta-sampling verification theorem for discrete-time, possibly discontinuous systems |
scientific article; zbMATH DE number 6721621
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A delta-sampling verification theorem for discrete-time, possibly discontinuous systems |
scientific article; zbMATH DE number 6721621 |
Statements
A delta-sampling verification theorem for discrete-time, possibly discontinuous systems (English)
0 references
19 May 2017
0 references
discrete-time systems
0 references
finite-step Lyapunov functions
0 references
finite-step invariant sets
0 references
safety verification
0 references
sampling-based analysis
0 references
0.7374655604362488
0 references
0.697701632976532
0 references
0.6975335478782654
0 references
0.695167601108551
0 references
0.6913841366767883
0 references
