Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7121998
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants |
scientific article; zbMATH DE number 7121998 |
Statements
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (English)
0 references
25 October 2019
0 references
persistence verification
0 references
safety verification
0 references
ordinary differential equations
0 references
hybrid systems
0 references
metric temporal logic
0 references
flowpipes
0 references
positively invariant sets
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0.7183002829551697
0 references
0.717901885509491
0 references
0.7107061147689819
0 references
0.7098056674003601
0 references
0.7089344263076782
0 references
