Towards 'verifying' a water treatment system

• المؤلفون الرئيسيون: WANG, Jingyi, SUN, Jun, JIA, Yifan, QIN, Shengchao, XU, Zhiwu
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2018
• الموضوعات: Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4648; https://ink.library.smu.edu.sg/context/sis_research/article/5651/viewcontent/10.1007_978_3_319_95582_7_5.pdf

Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report our experience on combining model learning and abstraction refinement to analyze a challenging system, i.e., a real-world...