RT Journal T1 A proof-based method of hybrid systems development using differential invariants A1 Jie LIU, Jing LIU, Miaomiao ZHANG, Haiying SUN, Xiaohong CHEN, Dehui DU, Mingsong CHEN PB Front. Comput. Sci. FD 2018-09-21 YR 2018 JF Frontiers of Computer Science JO Front. Comput. Sci. VO 12 IS 5 SP 1026 DO 10.1007/s11704-018-7213-y K1 LK {https://journal.hep.com.cn/fcs/EN/article/article_22998.shtml}