Login / Signup
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.
Sadegh Esmaeil Zadeh Soudjani
Sebastian Gerwinn
Christian Ellen
Martin Fränzle
Alessandro Abate
Published in:
QEST (2014)
Keyphrases
</>
dynamic response
program synthesis
formal model
neural network
artificial intelligence
multi agent
response time
load balancing
markov chain
computer controlled
formal language
formal methods
formal specification
database
logic programs
data sets
real time