ID:
publications-5150
Type:
Conference paper
Year:
2023
Authors:
James Akande A.; Hou Z.; Foo E.; Li Q.
Title:
A Runtime Verification Framework forÎ’ Cyber-Physical Systems Based onÎ’ Data Analytics andÎ’ LTL Formula Learning
Venue/Journal:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOI:
10.1007/978-981-99-7584-6_19
Research type:
Water System:
Technical Focus:
Abstract:
Safeguarding individuals and valuable resources from cyber threats stands as a paramount concern in the digital landscape, encompassing realms like cyber-physical systems and IoT systems. The safeguarding of cyber-physical systems (CPS) is particularly challenging given their intricate infrastructure, necessitating ongoing real-time analysis and swift responses to potential threats. Our proposition introduces a digital twin framework built upon runtime verification, effectively harnessing the capabilities of data analytics and the acquisition of Linear Temporal Logic (LTL) formulas. We demonstrate the efficacy of our approach through an application to water distribution systems. Β© 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
Link with Projects:
Link with Tools:
Related policies:
ID:
