Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Control of Network Systems Année : 2021

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

Résumé

In this paper, we consider the problem of abstraction-based controller synthesis for interconnected control systems. In general, the conventional methods for the construction of discrete abstractions and synthesis become computationally expensive due to the state and input spaces dimensions while dealing with large interconnected systems. The results in this paper focus on relaxing this issue by providing a compositional framework for the construction of abstractions for interconnected systems. First, we propose a notion of approximate composition which makes it possible to compute an abstraction of the global interconnected system from the abstractions of its components. Second, we propose an incremental procedure for the synthesis of controllers enforcing safety specifications. Finally, we demonstrate the effectiveness of the proposed results on two case studies (viz., DC microgrid and traffic network) by comparing them with different abstraction and controller synthesis schemes.

Dates et versions

hal-02473873 , version 1 (11-02-2020)

Identifiants

Citer

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard. Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Transactions on Control of Network Systems, 2021, 8 (2), pp.702-712. ⟨10.1109/TCNS.2021.3050123⟩. ⟨hal-02473873⟩
85 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More