Modular and Hierarchical Discrete Control for Applications and Middleware Deployment in IoT and Smart Buildings

摘要: In the Internet of Things (IoT) and Smart Homes Buildings, sensors actuators are controlled through a management software, that runs on distributed network heterogeneous processors. Such systems have to be self-adaptive w.r.t. different aspects, at applications level (functionalities) as well deployment (software tasks, execution platform). Holding well-mastered safe behaviour overall system, in presence these concurrent adaptations, is complex control problem. We approach this problem by applying techniques from area Supervisory Control for Discrete Event Systems (DES), where space configurations levels modeled with automata. use programming language support tools, HeptagonIBZR ReaX, build up design environment considered application domain. This paper contributes (i) generic behavioural models both applicative aspects systems; (ii) Controller Synthesis (DCS) controllers, especially modular hierarchical structures; (iii) an implemented case study.