A fuzzy approach to qualification in design exploration for autonomous robots and systems

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 require...

Full description

Saved in:
Bibliographic Details
Published inIEEE International Fuzzy Systems conference proceedings pp. 1 - 6
Main Authors Morse, Jeremy, Araiza-Illan, Dejanira, Eder, Kerstin, Lawry, Jonathan, Richards, Arthur
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2017
Subjects
Collision avoidance
Electronic mail
Fuzzy logic
Fuzzy sets
Model checking
Probabilistic logic
Robots
Online AccessGet full text
ISSN1558-4739
DOI10.1109/FUZZ-IEEE.2017.8015456

Cover

More Information
Summary: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.
ISSN:1558-4739
DOI:10.1109/FUZZ-IEEE.2017.8015456