The paper describes a fuzzy decisionmalung approach to controlling thermal comfort in the occupied zones of an airconditioned building. The control objective is defined in terms o...
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...