Reachability Computation for Switching Diffusions (Q5275319)
From MaRDI portal
scientific article; zbMATH DE number 6741660
Language | Label | Description | Also known as |
---|---|---|---|
English | Reachability Computation for Switching Diffusions |
scientific article; zbMATH DE number 6741660 |
Statements
Reachability Computation for Switching Diffusions (English)
0 references
11 July 2017
0 references
finite abstractions
0 references
numerical computations
0 references
reachability and safety analysis
0 references
stochastic hybrid models
0 references
switching diffusions
0 references
time and space discretisation
0 references