Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers

The increasing complexity and interconnectedness of diverse services have driven the integration of software systems across various sectors, leading to complex, interconnected systems referred to as Systems-of-Systems (SoS). The coordination of SoS behavior is crucial for their harmonious and efficient operations, ensuring the achievement of SoS missions. Current solutions for SoS coordination are often domain-specific, so lacking a domain-agnostic approach for adequately coordinating SoS and ensuring the SoS mission execution. Addressing this gap, our paper employs Discrete Controller Synthesis (DCS) to automatically generate SoS behavioral specifications, which can be used to the SoS control. The primary advantage of DCS lies in its formal guarantees and automated generation, offering a reliable and flexible control solution for complex and evolving SoS. Our contributions include formalizing procedures for employing DCS tailored to two distinct types of SoS and evaluating the applicability and scalability of DCS using three applications: flood monitoring, smart building, and space SoS.