Login / Signup

Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.

Jan Jakob JessenJacob Illum RasmussenKim Guldstrand LarsenAlexandre David
Published in: FORMATS (2007)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • closed loop
  • control system
  • control algorithm
  • multi agent
  • fuzzy logic
  • controller design
  • input output
  • real time
  • neural network
  • dynamic programming