Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Bin Firoz, Hasan orcid.org/0009-0007-1198-1018, PATERSON, Colin orcid.org/0000-0002-6678-3752 et al. (3 more authors) (2026) Fuzzifying the Operational Design Domain:A Scalable Situation Hyperspace Generation. In: 2026 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). Proceedings of the IEEE International Conference on Fuzzy Systems. IEEE. (In Press)
Abstract
Underground mine environments present complex conditions for autonomous systems, including narrow tunnels, variable lighting, and dynamic obstacles. In the design phase, ensuring the safety of critical drone systems under the vast and uncertain Operational Design Domain (ODD) of an underground mine is practically impossible through exhaustive testing alone. Our work proposes a fuzzy logic-based approach to focus testing by constructing a hyperspace from the ODD that prioritizes high-risk situations to test at the design phase efficiently. We demonstrate how this approach prioritizes critical test cases and minimizes redundant evaluations of low-risk situations. The resulting framework enhances safety testing in mining operations and can be extended to other safety-critical systems facing similar challenges of scale and uncertainty. The proposed fuzzy-logic based approach reclassifies many test cases that would be labeled as high risk under a disjoint method into medium-risk categories by allowing gradual transitions between risk levels, enabling more fine-grained risk assessment and more effective risk-based test prioritization while maintaining coverage of hazardous situations.
Metadata
| Item Type: | Proceedings Paper |
|---|---|
| Authors/Creators: |
|
| Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy. |
| Keywords: | fuzzification,situation hyperspace,verification,safety testing,critical systems |
| Dates: |
|
| Institution: | The University of York |
| Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
| Funding Information: | Funder Grant number LLOYDS REGISTER FOUNDATION GBY\100041 |
| Date Deposited: | 15 Apr 2026 10:00 |
| Last Modified: | 15 Apr 2026 11:10 |
| Status: | In Press |
| Publisher: | IEEE |
| Series Name: | Proceedings of the IEEE International Conference on Fuzzy Systems |
| Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:239981 |

CORE (COnnecting REpositories)
CORE (COnnecting REpositories)