Technological advances greatly impact the continuity and comfort of human life, for example use air conditioners (AC). AC is a room conditioning tool that able to condition in provide comfortable effect on body. Air (AC) system or machine designed stabilize temperature humidity certain area by circulating refrigerant gas through refrigeration process. The research framework created this methodo...

This paper proposes a model checking method for microcomputer programs. To deal with the state explosion problem, we adopt a compositional verification approach. Based on the proposed method, a microcomputer program for a reallife air-conditioner is verified. The program is large enough to cause state explosion. Among fourteen typical properties of the program, five properties are successfully ...

Air conditioner (AC) adalah sarana yang paling efektif untuk mendinginkan udara di dalam ruangan. Akan tetapi, peningkatan penggunaan AC membawa tantangan dari sisi pemenuhan kebutuhan energi listrik. Salah satu metode dapat digunakan mengurangi konsumsi listrik yaitu dengan pendinginan evaporatif berbasis penyemprotan air. Maka itu, tujuan utama penelitian ini melakukan rancang bangun sistem p...

In today’s world there is exponential increase in the use of air conditioning devices. The enhancement in utilization of such devices makes it essential for them to work with their full capability and efficiency. The fuzzy inference systems are best suited for the applications requiring easy interpretation, human reasoning, accurate decision making and control. The fuzzy inference systems resem...

Unitary air conditioning equipment often receives poor maintenance because there are no diagnostic sensors and the equipment owners have no real understanding of how the system operates. Maintenance is often called for only when the capacity is no longer adequate, which is usually at the time of the greatest need for the system and the busiest service time. Using a simple model of constant heat...

Realistic models of occupant behaviour in relation to air-conditioner (a/c) use are fundamentally important for developing accurate building energy simulation tools. In Australia and elsewhere, such simulation tools are inextricably bound both in legislation and in the design of new technology, electricity infrastructure and regulatory schemes. An increasing number of studies in the literature ...

The increasing penetration of renewable sources in electricity grids has motivated interest in controlling loads to compensate for variability of these generation sources. Air conditioners (ACs) are one type of loads that can be effectively controlled by broadcasting temperature setpoint offsets and using measurements of aggregate power demand for feedback, as shown in recent works. While such ...