O projeto consiste na teoria de autômatos aplicada à automação residencial, onde é feito o controle de atuadores e a leitura de sensores através de um aplicativo desenvolvido no sistema operacional Android juntamente ao microcontrolador Arduino. Baseado no formalismo de Linguagens Formais e Autômatos definido por Autômatos, cada estado assume uma função no sistema e cada transição assume uma serial, assim tendo um controle total da automação e com o uso das tecnologias Arduino e Android.