Login / Signup
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
Published in:
Frontiers Comput. Sci. (2018)
Keyphrases
</>
systems development
detection method
preprocessing
dynamic programming
databases
computational complexity
artificial intelligence
significant improvement
decision making
pairwise
cost function
probabilistic model