Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
We consider continuous time stochastic hybrid systems with no resets and continuous dynamics described by linear stochastic differential equations – models also known as switching diffusions. We show that for this class of models reachability (and dually, safety) properties can be studied on an abst...
| Main Authors: | , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2017
|