Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 270651-150749-1292
- Type
- D - Journal article
- DOI
-
10.1109/ACCESS.2020.3028476
- Title of journal
- IEEE Access
- Article number
- -
- First page
- 180825
- Volume
- 8
- Issue
- -
- ISSN
- 2169-3536
- Open access status
- Compliant
- Month of publication
- October
- Year of publication
- 2020
- URL
-
https://doi.org/10.1109/ACCESS.2020.3028476
- 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
-
6
- Research group(s)
-
B - Interdisciplinary Computing and Complex Biosystems (ICOS)
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This output presents a general technique for synthesising probabilistically safe digital controllers for a large class of stochastic hybrid systems. Specifically, the emphasis is on nonlinear systems, for which no general techniques exist. The paper is an important output from the EPSRC Portabolomics project (EP/N031962/1) through a collaboration of researchers in the UK, USA and Austria.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -