Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants |
scientific article |
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
