The system is a simple temperature controller. The basic idea is to set the temperature in an office based on time and working hours.

The case has been originally taken from a textbook by Michael Negnevitsky, Artificial Intelligence. A Guide to Intelligent Systems, 1st ed., Addison-Wesley, 2002.

The case has been the first HeKatE case to be modelled. It has been described in several papers FIXME.

hekate/cases/hekate_case_thermostat/description.txt · Last modified: 2017/07/17 08:08 (external edit) Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0