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

Abstract : 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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02473873
Contributor : Antoine Girard <>
Submitted on : Tuesday, February 11, 2020 - 9:15:26 AM
Last modification on : Monday, February 17, 2020 - 10:24:35 AM

Links full text

Identifiers

  • HAL Id : hal-02473873, version 1
  • ARXIV : 2002.02014

Citation

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard. Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. 2020. ⟨hal-02473873⟩

Share

Metrics

Record views

11