Organization of smart space services interaction for hybrid systems control

The paper presents an approach for organization of smart space services interaction for hybrid systems control. The case study of room cleaning in smart home is considered. The smart space technology is used system processes interaction support. For the interoperability of the processes interaction, ontological approach is used. Hybrid automata is used for the behavior description of every system process that allows automation of program code generation and implement system processes verification.