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

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.
AbstractList 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.
Author Eder, Kerstin
Morse, Jeremy
Lawry, Jonathan
Richards, Arthur
Araiza-Illan, Dejanira
Author_xml – sequence: 1
  givenname: Jeremy
  surname: Morse
  fullname: Morse, Jeremy
  email: jeremy.morse@bristol.ac.uk
  organization: Dept. of Comput. Sci., Univ. of Bristol, Bristol, UK
– sequence: 2
  givenname: Dejanira
  surname: Araiza-Illan
  fullname: Araiza-Illan, Dejanira
  email: dejanira.araizaillan@bristol.ac.uk
  organization: Dept. of Comput. Sci., Univ. of Bristol, Bristol, UK
– sequence: 3
  givenname: Kerstin
  surname: Eder
  fullname: Eder, Kerstin
  email: kerstin.eder@bristol.ac.uk
  organization: Dept. of Comput. Sci., Univ. of Bristol, Bristol, UK
– sequence: 4
  givenname: Jonathan
  surname: Lawry
  fullname: Lawry, Jonathan
  email: j.lawry@bristol.ac.uk
  organization: Dept. of Eng. Math., Univ. of Bristol, Bristol, UK
– sequence: 5
  givenname: Arthur
  surname: Richards
  fullname: Richards, Arthur
  email: arthur.richards@bristol.ac.uk
  organization: Dept. of Aerosp. Eng., Univ. of Bristol, Bristol, UK
BookMark eNotkMtOwkAUQEejiYB8gYmZHyjeOw-mXRJSlITEjSxkQ6adWx0DM7XTJsLXu4DVSc7iLM6Y3YUYiLFnhBkiFC-r7W6XrcuynAlAM8sBtdLzGzYtTI4aCpiDVOqWjVDrPFNGFg9snNIPgADQxYh9LngznM8nbtu2i7b-5n3kv4M9-MbXtvcxcB-4o-S_Aqe_9hC7i21ix-3QxxCPcUi8i1XsE7fB8XRKPR3TI7tv7CHR9MoJ267Kj-Vbtnl_XS8Xm8yj0X1WG0RXyUqC0YKsrRQ5EIoQzZyAmrrC3FiFRjRCOlkZ4cAp4QqNuTQFyQl7unQ9Ee3bzh9td9pfT8h_JLZWyg
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/FUZZ-IEEE.2017.8015456
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library (IEL) - IEEE Xplore
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9781509060344
1509060340
EISSN 1558-4739
EndPage 6
ExternalDocumentID 8015456
Genre orig-research
GroupedDBID -~X
29I
6IE
6IH
6IK
6IL
6IN
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IJVOP
M43
OCL
RIE
RIL
RIO
ID FETCH-LOGICAL-i175t-c711db3b30752eaab4ed024e1176e0efcb187a4172f23d3b72d0d42d9518379e3
IEDL.DBID RIE
IngestDate Wed Aug 27 02:07:11 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i175t-c711db3b30752eaab4ed024e1176e0efcb187a4172f23d3b72d0d42d9518379e3
PageCount 6
ParticipantIDs ieee_primary_8015456
PublicationCentury 2000
PublicationDate 2017-July
PublicationDateYYYYMMDD 2017-07-01
PublicationDate_xml – month: 07
  year: 2017
  text: 2017-July
PublicationDecade 2010
PublicationTitle IEEE International Fuzzy Systems conference proceedings
PublicationTitleAbbrev FUZZ-IEEE
PublicationYear 2017
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0020059
Score 2.0664499
Snippet Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false)...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms Collision avoidance
Electronic mail
Fuzzy logic
Fuzzy sets
Model checking
Probabilistic logic
Robots
Title A fuzzy approach to qualification in design exploration for autonomous robots and systems
URI https://ieeexplore.ieee.org/document/8015456
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFH5sO3mauom_ycGj6dqsbdKjiGMIEw8O5i4jP15hCK249uD-epOmmygevJVASUgI3_devu89gBvMhOahTmgiM0ZjnWoqmBI0RJNY-IuYT13MntLpPH5cJIsO3O69MIjYiM8wcJ_NW74pde1SZSPhAb8LXS5S79XaB1fORdk6gKMwG03myyV18ZJTb_Gg_fNHC5UGQSZ9mO3m9sKRt6CuVKC3v8oy_ndxhzD89uqR5z0KHUEHi2Po75o1kPbuDuD1juT1dvtJdlXESVWSxlKZt2k7si6IaQQdxM_vRy2rJbKunPmhrDfko1RltSGyMMRXgd4MYT55eLmf0ravAl1bslBRzaPIqLGy1zthKKWK0VioxijiKYaYaxUJLmNLbXI2NmPFmQlNzIwlYzaczXB8Ar2iLPAUiJLIMUtkyrSJuUykZVAYi0wonSqTmzMYuJ1avfvSGat2k87_Hr6AA3daXg17Cb3qo8Yri_mVum4O-wtHmK5-
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwFA5zHvQ0dRN_m4NHu7Vp0rRHEcfUbXjYYO4y8uMVRGhlaw_urzdpuoniwVsJlISE8H3v5fveQ-gGklhxXzGPiYR4VEXKi4mMPR80M_AXEJe6GI2jwZQ-zdisgW63XhgAqMRn0LWf1Vu-zlVpU2W92AH-DtpllFLm3Frb8Mr6KGsPcOAnvf50PvdsxGT1W7xb__ujiUqFIf0WGm1md9KR925ZyK5a_yrM-N_lHaDOt1sPv2xx6BA1IDtCrU27Blzf3jZ6vcNpuV5_4k0dcVzkuDJVpnXiDr9lWFeSDuzmd6OG12JRFtb-kJcrvMxlXqywyDR2daBXHTTtP0zuB17dWcF7M3Sh8BQPAi1DaS44IyCEpKANWEMQ8Ah8SJUMYi6oITcpCXUoOdG-pkQbOmYC2gTCY9TM8gxOEJYCOCRMRERpygUThkMBjZNYqkjqVJ-itt2pxYcrnrGoN-ns7-FrtDeYjIaL4eP4-Rzt25Nz2tgL1CyWJVwaBlDIq-rgvwCVJ7HL
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE+International+Fuzzy+Systems+conference+proceedings&rft.atitle=A+fuzzy+approach+to+qualification+in+design+exploration+for+autonomous+robots+and+systems&rft.au=Morse%2C+Jeremy&rft.au=Araiza-Illan%2C+Dejanira&rft.au=Eder%2C+Kerstin&rft.au=Lawry%2C+Jonathan&rft.date=2017-07-01&rft.pub=IEEE&rft.eissn=1558-4739&rft.spage=1&rft.epage=6&rft_id=info:doi/10.1109%2FFUZZ-IEEE.2017.8015456&rft.externalDocID=8015456