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

Standard

A fuzzy approach to qualification in design exploration for autonomous robots and systems. / Morse, Jeremy; Araiza-Illan, Dejanira; Eder, Kerstin; Lawry, Jonathan; Richards, Arthur.

2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017. Institute of Electrical and Electronics Engineers (IEEE), 2017. 8015456 ( IEEE International Fuzzy Systems Conference (FUZZ-IEEE)).

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

Harvard

Morse, J, Araiza-Illan, D, Eder, K, Lawry, J & Richards, A 2017, A fuzzy approach to qualification in design exploration for autonomous robots and systems. in 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017., 8015456, IEEE International Fuzzy Systems Conference (FUZZ-IEEE), Institute of Electrical and Electronics Engineers (IEEE), 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017, Naples, Italy, 9/07/17. https://doi.org/10.1109/FUZZ-IEEE.2017.8015456

APA

Morse, J., Araiza-Illan, D., Eder, K., Lawry, J., & Richards, A. (2017). A fuzzy approach to qualification in design exploration for autonomous robots and systems. In 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017 [8015456] ( IEEE International Fuzzy Systems Conference (FUZZ-IEEE)). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/FUZZ-IEEE.2017.8015456

Vancouver

Morse J, Araiza-Illan D, Eder K, Lawry J, Richards A. A fuzzy approach to qualification in design exploration for autonomous robots and systems. In 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017. Institute of Electrical and Electronics Engineers (IEEE). 2017. 8015456. ( IEEE International Fuzzy Systems Conference (FUZZ-IEEE)). https://doi.org/10.1109/FUZZ-IEEE.2017.8015456

Author

Morse, Jeremy ; Araiza-Illan, Dejanira ; Eder, Kerstin ; Lawry, Jonathan ; Richards, Arthur. / A fuzzy approach to qualification in design exploration for autonomous robots and systems. 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017. Institute of Electrical and Electronics Engineers (IEEE), 2017. ( IEEE International Fuzzy Systems Conference (FUZZ-IEEE)).

Bibtex

@inproceedings{b5629b0637d54f36a96dd7b4e3d3485a,
title = "A fuzzy approach to qualification in design exploration for autonomous robots and systems",
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.",
author = "Jeremy Morse and Dejanira Araiza-Illan and Kerstin Eder and Jonathan Lawry and Arthur Richards",
year = "2017",
month = "8",
doi = "10.1109/FUZZ-IEEE.2017.8015456",
language = "English",
isbn = "9781509060351",
series = "IEEE International Fuzzy Systems Conference (FUZZ-IEEE)",
publisher = "Institute of Electrical and Electronics Engineers (IEEE)",
booktitle = "2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017",
address = "United States",

}

RIS - suitable for import to EndNote

TY - GEN

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

AU - Morse, Jeremy

AU - Araiza-Illan, Dejanira

AU - Eder, Kerstin

AU - Lawry, Jonathan

AU - Richards, Arthur

PY - 2017/8

Y1 - 2017/8

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

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

UR - http://www.scopus.com/inward/record.url?scp=85030161226&partnerID=8YFLogxK

U2 - 10.1109/FUZZ-IEEE.2017.8015456

DO - 10.1109/FUZZ-IEEE.2017.8015456

M3 - Conference contribution

SN - 9781509060351

T3 - IEEE International Fuzzy Systems Conference (FUZZ-IEEE)

BT - 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017

PB - Institute of Electrical and Electronics Engineers (IEEE)

ER -