C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Systematically Debugging IoT Control System Correctness for Building Automation.
Chieh-Jan Mike Liang
Lei Bu
Zhao Li
Junbei Zhang
Shi Han
Börje F. Karlsson
Dongmei Zhang
Feng Zhao
Published in:
BuildSys@SenSys (2016)
Keyphrases
</>
control system
fuzzy logic
industrial automation
management system
control algorithm
database
data sets
cloud computing
control method
control scheme
fuzzy control
neural network
artificial intelligence
big data
control strategy
execution traces