Department of Computer, Control and Management Engineering

Smart homes represent examples of cyber-physical environments realizing the paradigm known as ambient intelligence. An information system supporting ambient intelligence takes as input raw sensor measurements and analyzes them to eventually make decisions following final user preferences. Unfortunately, algorithms in this research area are mostly supervised, thus requiring a manual labeling of training instances usually involving final users in annoying and imprecise training sessions. In this paper, we propose a methodology allowing, given a sensor log, to automatically segment human habits by applying a bottom-up discretization strategy to the timestamp attribute of the sensor log. In particular, we show how classical quality measures, computed over Petri nets automatically mined from sensor logs filtered by timestamp, can be used as an heuristic to drive the discretization process, thus providing a likely subdivision of the day in human habits.