A proof-based method of hybrid systems development using differential invariants
- 12 Downloads
Unable to display preview. Download preview PDF.
This paper is partially supported by the funding under National Key Research and Development Project (2017YFB1001800), the NSFC Key Project (61332008) and NSFC (61572195). The Shanghai Trustworthy Computing Key Lab is supported by Shanghai Project (SHEITC160306). The third author would like to thanks the support of NSFC (61472279).
- 9.Zhan N J, Wang S, Zhao H. Formal modelling, analysis and verification of hybrid systems. Lecture Notes in Computer Science, 2013, 207–281Google Scholar