Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
- Submitting institution
-
University of Edinburgh
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 156000538
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-63387-9_23
- Title of conference / published proceedings
- Computer Aided Verification
- First page
- 462
- Volume
- 10426
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Technical exception
- Month of publication
- July
- Year of publication
- 2017
- URL
-
-
- 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
-
7
- Research group(s)
-
C - Foundations of Computation
- Citation count
- 10
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Digital controllers are ubiquitous across control applications. Techniques for synthesising controllers prior to this work failed to take into account potentially dangerous deviations in the behaviour of the system being controlled that are introduced by finite precision arithmetic used in such controllers, and classical control techniques often assume these numbers are being represented to infinite precision. We propose an algorithm for automatically synthesising safe digital controllers for linear time invariant systems, taking into account these imprecisions. The work was published at the leading venue in the field of formal synthesis, and the algorithm is released as a MATLAB toolbox.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -