I. Introduction
Numerous novel engineering systems are built by harmonically integrating well-defined compartments or modules, and are thereby called modular, or based on modularity. These modular systems may exhibit complex dynamics arising from the interaction of identical or heterogeneous modules and thus require sophisticated control schemes to operate them [1]. In this setting, the existence of formal guarantees for the attainment of properties such as observability and/or controllability is relevant for a sound control design.