{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T16:43:34Z","timestamp":1774975414598,"version":"3.50.1"},"reference-count":63,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2021,1,3]],"date-time":"2021-01-03T00:00:00Z","timestamp":1609632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/R026173\/1"],"award-info":[{"award-number":["EP\/R026173\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Robotics"],"abstract":"<jats:p>A novel modelling paradigm for online diagnostics and prognostics for autonomous systems is presented. A model for the autonomous system being diagnosed is designed using a logic-based formalism. The model supports the run-time ability to verify that the autonomous system is safe and reliable for operation within a dynamic environment. The paradigm is based on the philosophy that there are different types of semantic relationships between the states of different parts of the system. A finite state automaton is devised for each sensed component and some of the non-sensed components. To capture the interdependencies of components within such a complex robotic platform, automatons were related to each other by semantic relationships. Modality was utilised by the formalism to abstract the relationships and to add measures for the possibility and uncertainty of the relationships. The complexity of the model was analysed to evaluate its scalability and applicability to other systems. The results demonstrate that the complexity is not linear and a computational time of 10 ms was required to achieve run-time diagnostics for 2200 KB of knowledge for complex system interdependences. The ability to detect and mitigate hardware related failures was demonstrated within a confined space autonomous operation. Our findings provide evidence of the applicability of our approach for the significant challenge of run-time safety compliance and reliability in autonomous systems.<\/jats:p>","DOI":"10.3390\/robotics10010010","type":"journal-article","created":{"date-parts":[[2021,1,3]],"date-time":"2021-01-03T19:54:46Z","timestamp":1609703686000},"page":"10","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Reliability and Safety of Autonomous Systems Based on Semantic Modelling for Self-Certification"],"prefix":"10.3390","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2455-1494","authenticated-orcid":false,"given":"Osama","family":"Zaki","sequence":"first","affiliation":[{"name":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"}]},{"given":"Matthew","family":"Dunnigan","sequence":"additional","affiliation":[{"name":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9280-2072","authenticated-orcid":false,"given":"Valentin","family":"Robu","sequence":"additional","affiliation":[{"name":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1024-3618","authenticated-orcid":false,"given":"David","family":"Flynn","sequence":"additional","affiliation":[{"name":"Smart Systems Group, Institute of Sensors, Signals and Systems, School of Engineering & Physical Sciences, Heriot Watt University, Mountbatten Building, Edinburgh EH14 4AS, UK"}]}],"member":"1968","published-online":{"date-parts":[[2021,1,3]]},"reference":[{"key":"ref_1","unstructured":"(2020, April 24). An International Analysis of the Potential Long Term Impact of Automation, Will Robots Steal Our Jobs?. Available online: https:\/\/www.pwc.co.uk\/economic-services\/assets\/international-impact-of-automation-feb-2018.pdf."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Kirschbaum, L., Roman, D., Singh, G., Bruns, J., Robu, V., and Flynn, D. (2020). AI-driven Maintenance Support for Downhole Tools and Electronics Operated in Dynamic Drilling Environments. IEEE Access.","DOI":"10.1109\/ACCESS.2020.2990152"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1016\/j.renene.2018.10.047","article-title":"Machine learning methods for wind turbine condition monitoring: A review","volume":"133","author":"Stetco","year":"2019","journal-title":"Renew. Energy"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Zhao, X., Osborne, M., Lantair, J., Robu, V., Flynn, D., Huang, X., Fisher, M., Papacchini, F., and Ferrando, A. (2019). Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. Software Engineering and Formal Methods, Springer.","DOI":"10.1007\/978-3-030-30446-1_6"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Tang, W., Flynn, D., Brown, K., Roub, V., and Zhao, X. (2019, January 27\u201331). The Application of Machine Learning and Low Frequency Sonar for Subsea Power Cable Integrity Evaluation. Proceedings of the OCEANS 2019, Seattle, WA, USA.","DOI":"10.23919\/OCEANS40490.2019.8962840"},{"key":"ref_6","unstructured":"Watson, S., Weightman, A., Bernardini, S., Jovan, F., Jiang, Z., Moradi, P., Richardson, T., Sadeghian, R., and Sareh, S. (2000, January 7\u20139). A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms. Proceedings of the International Foundation for Autonomous Agents and Multiagent Systems, Boston, MA, USA."},{"key":"ref_7","unstructured":"Barnes, M., Brown, K.E., Carmona, J., Cevasco, D., Collu, M., Crabtree, C., Crowther, W., Flynn, D., Green, P.R., and Heggo, M. (2018). Technology Drivers in Windfarm Asset Management. Home Offshore."},{"key":"ref_8","unstructured":"Richardson, R., Fuentes, R., Chapman, T., Cook, M., Scanlan, J., Li, Z., and Flynn, D. (2020, January 15). Robotic and Autonomous Systems for Resilient Infrastructure. Available online: https:\/\/researchportal.hw.ac.uk\/en\/publications\/robotic-and-autonomous-systems-for-resilient-infrastructure."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Zaki, O., Flynn, D., Blanche, J., Roe, J., Kong, L., Mitchell, D., Lim, T., Harper, S., and Robu, V. (2020, January 4\u20137). Self-Certification and Safety Compliance for Robotics Platforms. Proceedings of the Offshore Technology Conference, Houston, TX, USA.","DOI":"10.4043\/30840-MS"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Fisher, M., Collins, E.C., Dennis, L.A., Luckcuck, M., Webster, M., Jump, M., Page, V., Patchett, C., Dinmohammadi, F., and Flynn, D. (2018, January 15\u201318). Verifiable self-certifying autonomous systems. Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, Memphis, TN, USA.","DOI":"10.1109\/ISSREW.2018.00028"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Dinmohammadi, F., Page, V., Flynn, D., Robu, V., Fisher, M., Patchett, C., Jump, M., Tang, W., and Webster, M. (2019, January 25\u201327). Certification of Safe and Trusted Robotic Inspection of Assets. Proceedings of the Prognostics and System Health Management Conference, Qingdao, China.","DOI":"10.1109\/PHM-Chongqing.2018.00054"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1038\/s42256-019-0076-6","article-title":"Resilient machines through adaptive morphology","volume":"1","author":"Hauser","year":"2019","journal-title":"Nat. Mach. Intell."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Rich, A., Rudin, C., Jacoby, D., Freeman, R., Wearn, O., Shevlin, H., Dihal, K., \u00d3h\u00e9igeartaigh, S., Butcher, J., and Lippi, M. (2020). AI reflections in 2019. Nat. Mach. Intell.","DOI":"10.1038\/s42256-019-0141-1"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Cave, S., and Dihal, K. (2019). Hopes and fears for intelligent machines in fiction and reality. Nat. Mach. Intell., 1.","DOI":"10.1038\/s42256-019-0020-9"},{"key":"ref_15","unstructured":"(2020, January 15). Regulation of Drones: Comparative Analysis, Libarary of Congress, Available online: https:\/\/www.loc.gov\/law\/help\/regulation-of-drones\/comparative.php."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Osborne, M., Lantair, J., Shafiq, Z., Zhao, X., Robu, V., Flynn, F., and Perry, J. (2019, January 20\u201322). UAS Operators Safety and Reliability Survey: Emerging Technologies towards the Certification of Autonomous UAS. Proceedings of the International Conference on System Reliability and Safety (ICSRS), Rome, Italy.","DOI":"10.1109\/ICSRS48664.2019.8987692"},{"key":"ref_17","unstructured":"(2020, January 16). State of Global Aviation Safety, International Civil Aviation Organization (ICAO). Available online: https:\/\/www.icao.int\/safety\/Documents\/ICAO_SR_2019_29082019.pdf."},{"key":"ref_18","unstructured":"(2020, January 15). Market Forecast for Connected and Autonomous Vehicle, I UK, Available online: https:\/\/assets.publishing.service.gov.uk\/government\/uploads\/system\/uploads\/attachment_data\/file\/642813\/15780_TSC_Market_Forecast_for_CAV_Report_FINAL.pdf."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Scanlan, J., Flynn, D., Lane, D., Richardson, R., and S\u00f3bester, A. (2017, January 15). Extreme Environments Robotics: Robotics for Emergency response, Disaster Relief and Resilience. Available online: https:\/\/www.ukras.org\/wp-content\/uploads\/2018\/10\/UK_RAS_wp_extreme_print_final.pdf.","DOI":"10.31256\/WP2017.4"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1038\/d41586-018-00646-w","article-title":"Train robots to self-certify their safe operation","volume":"553","author":"Robu","year":"2018","journal-title":"Nature"},{"key":"ref_21","unstructured":"Cimiano, P. (2006). Ontology Learning and Population from Text Algorithms, Evaluation and Applications, Springer."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"1112","DOI":"10.1016\/j.engappai.2007.02.012","article-title":"Detecting Faults in Heterogeneous and Dynamic Systems Using DSP and an Agent-Based Architecture","volume":"8","author":"Zaki","year":"2007","journal-title":"Eng. Appl. Artif. Intell. J."},{"key":"ref_23","unstructured":"Cordier, M., Dague, P., Dumas, M., L\u00e9vy, F., Montmain, J., Staroswiecki, M., and Trav\u00e9-Massuy\u00e9s, L. (2000, January 20\u201325). A comparative analysis of AI and control theory approaches to model based diagnosis. Proceedings of the 14th European Conference on Artificial Intelligence ECAI, Berlin, Germany."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Zaki, O., Brown, K., Fletcher, J., and Lane, D. (2006, January 4\u20136). Detecting Single and Multiple Faults Using Intelligent DSP and Agents. Proceedings of the 3rd International IEEE Conference on Intelligent Systems, London, UK.","DOI":"10.1109\/IS.2006.348388"},{"key":"ref_25","unstructured":"Pencole, Y. (2004, January 22\u201327). Diagnosability analysis of distributed discrete event systems. Proceedings of the 16th European Conference on Artificial Intelligence, Valencia, Spain."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","article-title":"Diagnosability of Discrete Event Systems and Its Applications","volume":"4","author":"Lin","year":"1994","journal-title":"Discret. Event Dyn. Syst."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Contant, O., Lafortune, S., and Teneketzis, D. (2004). Diagnosis of Intermittent Faults. Discret. Event Dyn. Syst., 14.","DOI":"10.1023\/B:DISC.0000018570.20941.d2"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Carlos, J., Lima, S.T., Lafortune, S., and Moreira, M.V. (2012). Computing of minimal event bases that ensure diagnosability. Discret. Event Dyn. Syst., 22.","DOI":"10.1007\/s10626-012-0129-z"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Lafortune, S., Teneketzis, D., Sampath, M., Sengupta, R., and Sinnamohideen, K. (2001, January 25\u201327). Failure diagnosis of dynamic systems: An approach based on discrete event system. Proceedings of the 2001 American Control Conference, Arlington, VA, USA.","DOI":"10.1109\/ACC.2001.946047"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","article-title":"A polynomial time algorithm for testing dianosability of discrete event systems","volume":"8","author":"Jiang","year":"2001","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","article-title":"Failure diagnosis of discrete event models","volume":"4","author":"Sampath","year":"1996","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"ref_32","unstructured":"Kautz, H., and Selman, B. (1996, January 4\u20138). Pushing the envelope: Planning, propositional logic, and stochastic search. Proceedings of the AAAI Conference on Artifical Intelligence, Portland, OR, USA. Available online: https:\/\/www.aaai.org\/Papers\/AAAI\/1996\/AAAI96-177.pdf."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Ahsan, M., Stoyanov, S., Bailey, C., and Albarbar, A. (2020). Developing Computational Intelligence for Smart Qualification Testing of Electronic Products. IEEE Access.","DOI":"10.1109\/ACCESS.2020.2967858"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TAC.2003.814099","article-title":"Fault diagnosis in discrete-event systems: Framework and model reduction","volume":"48","author":"Zad","year":"2003","journal-title":"IEEE Trans. Autom. Control"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/MRA.2018.2879747","article-title":"SMErobotics: Smart Robots for Flexible Manufacturing","volume":"26","author":"Perzylo","year":"2019","journal-title":"IEEE Robot. Autom. Mag."},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Yazdani, F., Kazhoyan, G., Bozcuo\u011flu, A., Haidu, A., B\u00e1lint-Bencz\u00e9di, F., Be\u00dfler, D., Pomarlan, M., and Beetz, M. (2018, January 1\u20135). Cognition-enabled Framework for Mixed Human-Robot Rescue Team. Proceedings of the International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain.","DOI":"10.1109\/IROS.2018.8594311"},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/s12369-019-00519-w","article-title":"Knowledge Representation for Culturally Competent Personal Robots: Requirements, Design Principles, Implementation, and Assessment","volume":"11","author":"Bruno","year":"2019","journal-title":"Int. J. Soc. Robot."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Beetz, M., Tenorth, M., and Winkler, J.O. (2015, January 26\u201330). Open-EASE\u2014A Knowledge Processing Service for Robots and Robotics\/AI Researchers. Proceedings of the IEEE International Conference on Robotics and Automation (ICRA). Finalist for the Best Cognitive Robotics Paper Award, Seattle, WA, USA.","DOI":"10.1109\/ICRA.2015.7139458"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Sisbot, E., Ros, R., and Alami, R. (August, January 31). Situation assessment for human-robot interactive object manipulation. Proceedings of the 2011 RO-MAN, Atlanta, GA, USA.","DOI":"10.1109\/ROMAN.2011.6005258"},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Lemaignan, S., Ros, R., Alami, R., and Beetz, M. (August, January 31). What are you talking about? Grounding dialogue in a perspective-aware robotic architecture. Proceedings of the 2011 RO-MAN, Atlanta, GA, USA.","DOI":"10.1109\/ROMAN.2011.6005249"},{"key":"ref_41","first-page":"163","article-title":"Declarative-knowledge-based reconfiguration of automation systems using a blackboard architecture","volume":"Volume 227","author":"Haage","year":"2011","journal-title":"Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence, Trondheim, Norway, 24\u201326 May 2011"},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.cogsys.2006.07.004","article-title":"Cognitive architectures: Research issues and challenges","volume":"10","author":"Langley","year":"2009","journal-title":"Cognit. Syst. Res."},{"key":"ref_43","unstructured":"Vernon, D. (2014). Artificial Cognitive Systems: A Primer, MIT Press."},{"key":"ref_44","first-page":"1","article-title":"A Review and Comparison of Ontology-based Approaches to Robot Autonomy","volume":"34","author":"Khamis","year":"2019","journal-title":"Knowl. Eng. Rev."},{"key":"ref_45","unstructured":"Zander, S., Ahmed, N., and Frank, M. (2016, January 18\u201319). A Survey about the Usage of Semantic Technologies for the Description of Robotic Components and Capabilities. Proceedings of the SAMI@iKNOW, Graz, Austria."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/MRA.2011.941632","article-title":"Roboearth-a world wide web for robots","volume":"18","author":"Waibel","year":"2011","journal-title":"IEEE Robot. Autom. Mag. (RAM)"},{"key":"ref_47","unstructured":"Beetz, M., Bartels, G., Albu-Schaffer, A., B\u00e1lint-Bencz\u00e9di, F., Belder, R., Be\u00dfler, D., Haddadin, S., Maldonado, A., Mansfeld, N., and Wiedemeyer, T. (October, January 28). Robotic Agents Capable of Natural and Safe Physical Interaction with Human Co-workers. Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), Hamburg, Germany."},{"key":"ref_48","unstructured":"Prestes, E., Sandro, F., and Joel, C. (2014, January 14\u201318). Core Ontology for Robotics and Automation. Proceedings of the Standardized Knowledge Representation and Ontologies for Robotics and Automation, Chicago, IL, USA."},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Schlenoff, C., Prestes, E., Madhavan, R., Goncalves, P., Li, H., Balakirsky, S., Kramer, T., and Miguel\u00e1\u00f1ez, E. (2012, January 7\u201312). An IEEE standard ontology for robotics and automation. Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), Algarve, Portugal.","DOI":"10.1109\/IROS.2012.6385518"},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.rcim.2014.08.014","article-title":"Knowledge representation applied to robotic orthopaedic surgery","volume":"33","author":"Goncalves","year":"2015","journal-title":"Robot. Comput. Integr. Manuf."},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Diab, M., Akbari, A., Muhayy, U.D., and Rosell, J. (2019). PMK\u2014A Knowledge Processing Framework for Autonomous Robotics Perception and Manipulation. Sensors, 19.","DOI":"10.3390\/s19051166"},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Beetz, M., Be\u00dfler, D., Winkler, J., Worch, J., B\u00e1lint-Bencz\u00e9di, F., Bartels, G., Billard, A., Bozcuo\u011flu, A.K., Fang, Z., and Figueroa, N. (2016, January 16\u201321). Open Robotics Research Using Web-based Knowledge Services. Proceedings of the International Conference on Robotics and Automation (ICRA), Stockholm, Sweden.","DOI":"10.1109\/ICRA.2016.7487749"},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Beetz, M., Be\u00dfler, D., Haidu, A., Pomarlan, M., Bozcuo\u011flu, A.K., and Bartels, G. (2018, January 21\u201325). KnowRob 2.0\u2014A 2nd Generation Knowledge Processing Framework for Cognition-enabled Robotic Agents. Proceedings of the International Conference on Robotics and Automation (ICRA), Brisbane, Australia.","DOI":"10.1109\/ICRA.2018.8460964"},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"Marconi, L., Melchiorri, C., Beetz, M., Pangercic, D., Siegwart, R., Leutenegger, S., Carloni, R., Stramigioli, S., Bruyninckx, H., and Doherty, P. (2012, January 5\u20138). The SHERPA project: Smart collaboration between humans and ground-aerial robots for improving rescuing activities in alpine environments. Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), College Station, TX, USA.","DOI":"10.1109\/SSRR.2012.6523905"},{"key":"ref_55","doi-asserted-by":"crossref","unstructured":"Stenmark, M., Malec, J., and Stolt, A. (2015). From high-level task descriptions to executable robot code. Intelligent Systems\u2019 2014, Springer.","DOI":"10.1007\/978-3-319-11310-4_17"},{"key":"ref_56","unstructured":"Juarez, A. (2012). Semantic Web for Robots: Applying Semantic Web Technologies for Interoperability, between Virtual Worlds and Real Robots. [Ph.D. Thesis, Eindhoven University of Technology]."},{"key":"ref_57","first-page":"238","article-title":"PANDORA\u2014Persistent Autonomy through Learning, Adaptation, Observation and Replanning","volume":"48","author":"Lane","year":"2015","journal-title":"IFAC"},{"key":"ref_58","first-page":"3232","article-title":"Fault Diagnosis on Autonomous Robotic Vehicles with RECOVERY: An Integrated Heterogeneous-Knowledge Approach","volume":"4","author":"Hamilton","year":"2001","journal-title":"IEEE Int. Conf. Robot. Autom."},{"key":"ref_59","unstructured":"Groundwater, E.H., Miller, L.A., and Mirsky, S.M. (1995). Guidelines for the Verification and Validation of Expert Systems Software and Conventional Software, NUREG."},{"key":"ref_60","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1177\/0278364919883338","article-title":"A corroborative approach to verification and validation of human\u2013robot teams","volume":"39","author":"Webster","year":"2019","journal-title":"Int. J. Robot. Res."},{"key":"ref_61","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3342355","article-title":"Formal Specification and Verification of Autonomous Robotic Systems: A Survey","volume":"52","author":"Luckcuck","year":"2019","journal-title":"ACM Comput. Surv."},{"key":"ref_62","doi-asserted-by":"crossref","unstructured":"Zaki, O., and Dunnigan, M. (2017). A navigation strategy for an autonomous patrol vehicle based on multi-fusion planning algorithms and multi-paradigm representation schemes. Robot. Auton. Syst.","DOI":"10.1016\/j.robot.2017.07.012"},{"key":"ref_63","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Pellet: A practical OWL-DL reasoner","volume":"5","author":"Sirin","year":"2007","journal-title":"J. Web Semant."}],"container-title":["Robotics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2218-6581\/10\/1\/10\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T05:06:35Z","timestamp":1760159195000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2218-6581\/10\/1\/10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,3]]},"references-count":63,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,3]]}},"alternative-id":["robotics10010010"],"URL":"https:\/\/doi.org\/10.3390\/robotics10010010","relation":{},"ISSN":["2218-6581"],"issn-type":[{"value":"2218-6581","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,3]]}}}