Probabilistic hybrid systems verification via SMT and Monte Carlo techniques
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 228042-150749-1292
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-49052-6_10
- Title of conference / published proceedings
- 12th Haifa Verification Conference (HVC 2016)
- First page
- 152
- Volume
- 10028
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Compliant
- Month of publication
- November
- Year of publication
- 2016
- URL
-
https://doi.org/10.1007/978-3-319-49052-6_10
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
B - Interdisciplinary Computing and Complex Biosystems (ICOS)
- Citation count
- 2
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper originates from the N00014-13-1-0090 award of the US Office of Naval Research in collaboration with Carnegie Mellon University (and Turing Award winner Edmund Clarke) in the USA. The paper presents the first numerically rigorous Monte Carlo method for computing reachability probability in hybrid systems. The paper has already led to two more papers (one published, one under review) on the synthesis of safe PID controllers, in collaboration with researchers in the UK, USA and Austria.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -