Learning fault models of cyber physical systems

• Main Authors: KHOO, Teck Ping, SUN, Jun, CHATTOPADHYAY, Sudipta
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2020
• Subjects: Active automata learning; Debugging; L* algorithm; Programmable logic controllers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/6030; https://ink.library.smu.edu.sg/context/sis_research/article/7033/viewcontent/LearningFaultModelsOfCyberPhys_2020_av_1_.pdf
• Institution: Singapore Management University

Cyber Physical Systems (CPSs) comprise sensors and actuators which interact with the physical environment over a computer network to achieve some control objective. Bugs in CPSs can have severe consequences as CPSs are increasingly deployed in safety-critical applications. Debugging CPSs is therefor...