Figure 1
Basic classroom components.
Figure 2
Timed automata of the classroom.
Table 1
Equipment services and their forms.
| Equipment | Service | Forms |
|---|---|---|
| Light bulbs | Lighting | Dark, low, average, high |
| Window blinds | Lighting | Totally opened, closed, mostly opened, half-opened, mostly closed |
| Cooler | Cooling | Off, low, average, high |
| Heater | Heating | Off, low, average, high |
| Desktop PC | Computing | Sleep, turned on |
| Data Show | Presentation | Off, On |
| Moving board | Display | Rest position, presentation position |
Table 2
Service triggering information.
| Service | Information |
|---|---|
| Lighting | Audience presence, course start time |
| Cooling | Audience presence, course start time |
| Heating | Audience presence, course start time |
| Computing | Audience presence, course start time |
| Presentation | Start a presentation |
| Display | Start a presentation |
Table 3
Service forms changing information.
| Service | Information |
|---|---|
| Lighting | Outside light, start a presentation, course end time |
| Cooling | Inside temperature, course end time |
| Heating | Inside temperature, course end time |
| Computing | Start presentation, course end time |
| Presentation | Start a presentation, course end time |
| Display | Start a presentation, course end time |
Table 4
Light system adaptation rules.
| Outside light | Window blinds | Light bulbs |
|---|---|---|
| Dark | Closed | High |
| High | Mostly closed | Off |
| Average | Half opened | Off |
| Low | Mostly opened | Low |
| Very low | Totally opened | Average |