Login / Signup
Signal Temporal Logic Control for Residential HVAC Systems to Accommodate High Solar PV Penetration.
Tumin Wu
Mohammed M. Olama
Seddik M. Djouadi
Jin Dong
Yaosuo Xue
P. Teja Kuruganti
Published in:
ISGT (2020)
Keyphrases
</>
temporal logic
model checking
dynamic constraints
maximum power point tracking
reactive systems
control system
modal logic
satisfiability problem
concurrent systems
distributed systems
small scale
linear temporal logic
complex systems