Projects per year
Abstract
Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirements is challenging. Instead, we analyse requirements that admit flexible degrees of satisfaction. We analyse vague requirements using fuzzy logic, and probabilistic requirements using model checking. The resulting analysis method provides a partial ordering of system designs, identifying trade-offs between different requirements in terms of the degrees to which they are satisfied. A case study involving a home care robot interacting with a human is used to demonstrate the approach.
Original language | English |
---|---|
Title of host publication | 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017 |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Number of pages | 6 |
ISBN (Electronic) | 9781509060344 |
ISBN (Print) | 9781509060351 |
DOIs | |
Publication status | Published - Aug 2017 |
Event | 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017 - Naples, Italy Duration: 9 Jul 2017 → 12 Jul 2017 |
Publication series
Name | IEEE International Fuzzy Systems Conference (FUZZ-IEEE) |
---|---|
Publisher | IEEE |
ISSN (Print) | 1098-7584 |
ISSN (Electronic) | 1558-4739 |
Conference
Conference | 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017 |
---|---|
Country/Territory | Italy |
City | Naples |
Period | 9/07/17 → 12/07/17 |
Fingerprint
Dive into the research topics of 'A fuzzy approach to qualification in design exploration for autonomous robots and systems'. Together they form a unique fingerprint.Projects
- 2 Finished
-
Trustworthy Robotic Assistants
Eder, K. I. (Principal Investigator)
23/04/13 → 23/10/16
Project: Research
-
RIVERAS: Robust Integrated Verification of Autonomous Systems (EPSRC AIS Call)
Eder, K. I. (Principal Investigator)
21/01/13 → 20/06/19
Project: Research