Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
This work targets the development of an efficient abstraction method for formal analysis and control synthesis of discretetime stochastic hybrid systems (shs) with linear dynamics. The focus is on temporal logic specifications, both over finite and infinite time horizons. The framework constructs a...
| Main Authors: | , , , , , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
Association for Computer Machinery
2019
|