Skip to content

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017
Publisher or commissioning bodyInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages6
ISBN (Electronic)9781509060344
ISBN (Print)9781509060351
DateAccepted/In press - 14 Mar 2017
DateE-pub ahead of print - 24 Aug 2017
DatePublished (current) - Aug 2017
Event2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017 - Naples, Italy
Duration: 9 Jul 201712 Jul 2017

Publication series

Name IEEE International Fuzzy Systems Conference (FUZZ-IEEE)
ISSN (Print)1098-7584
ISSN (Electronic)1558-4739


Conference2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017


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.


2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017

Duration9 Jul 201712 Jul 2017

Event: Conference

Download statistics

No data available



  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the author accepted manuscript (AAM). The final published version (version of record) is available online via IEEE at DOI: 10.1109/FUZZ-IEEE.2017.8015456 . Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 254 KB, PDF document


View research connections

Related faculties, schools or groups