A proof-based method of hybrid systems development using differential invariants

作者:Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

摘要

论文关键词:

论文评审过程:

论文官网地址:https://doi.org/10.1007/s11704-018-7213-y