Towards 'verifying' a water treatment system
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...
Saved in:
| Main Authors: | , , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2018
|
| 主題: | |
| 在線閱讀: | 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 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
成為第一個發表評論!