Research on Logic Control of Variable Transmission Ratio SBW based on Pan-Boolean Algebra.

Yichi Zhang Chun Xiao Jing Chen Xiao Yu Shengwen Jing

Published in: RobCE (2021)

Keyphrases

boolean algebra
constraint query languages
set theory
cardinality constraints
theorem prover
control system
databases
data mining
linear programming
modal logic
fuzzy set theory
constraint databases
upper approximation