This document discusses the Sessalet project, which uses a state machine diagram model and mruby to control a motorized toilet seat (combining SESSAME and Washlet) on a LEGO Mindstorms robot. It introduces the members of Team Sessalet and explains their reasons for choosing a state machine diagram model. It then provides details about the SESSAME organization, TOPPERS real-time operating system, and how mruby can be used with TOPPERS to implement the Sessalet state machine control logic on the robot.