Efficient choice of parameters on delta-reachability bounded hybrid systems (Q5097076)
From MaRDI portal
scientific article; zbMATH DE number 7573502
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient choice of parameters on delta-reachability bounded hybrid systems |
scientific article; zbMATH DE number 7573502 |
Statements
Efficient choice of parameters on delta-reachability bounded hybrid systems (English)
0 references
19 August 2022
0 references
bounded hybrid system
0 references
safety property
0 references
delta-reachability
0 references
multidirectional efficiency analysis
0 references
