Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

International audienceAttractivity specifications consist in driving the state of a system to a target region and to keep it in that region afterwards. In this paper, we develop a compositional approach to symbolic controller synthesis for attractivity specifications. The approach consists in computing iteratively for each subsystem, refinements of the least-violating attractivity controller, and of the associated attractor. The controllers and attractors computed at a given iteration are used at the next iteration as control and external input constraints. The resulting fixed-point algorithm allows us to compute a decentralized attractivity controller for the interconnected system which minimizes the size of the attractor. To illustrate the effectiveness of our approach, we show an application for the temperature regulation of adjacent rooms of a building