Login / Signup

A toolchain for domestic heat-pump control using Uppaal Stratego.

Imran Riaz HasratPeter Gjøl JensenKim Guldstrand LarsenJirí Srba
Published in: Sci. Comput. Program. (2023)
Keyphrases
  • control system
  • optimal control
  • united states
  • model checking
  • data acquisition
  • control theory
  • real time
  • case study
  • robotic systems
  • autonomous robots
  • control problems
  • robot manipulators
  • control program
  • timed automata