%A Jie LIU, Jing LIU, Miaomiao ZHANG, Haiying SUN, Xiaohong CHEN, Dehui DU, Mingsong CHEN %T A proof-based method of hybrid systems development using differential invariants %0 Journal Article %D 2018 %J Front. Comput. Sci. %J Frontiers of Computer Science %@ 2095-2228 %R 10.1007/s11704-018-7213-y %P 1026-1028 %V 12 %N 5 %U {https://journal.hep.com.cn/fcs/EN/10.1007/s11704-018-7213-y %8 2018-09-21 %X