Compositional abstraction and safety synthesis using overlapping symbolic models

Abstract

In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlapping in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlapping symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using non-overlapping subsystems.

References in corpus (2)

• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Decentralized Abstractions for Feedback Interconnected Multi-Agent Systems

Cited by in corpus (8)

• Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach
• Verification of Initial-State Opacity for Switched Systems: A Compositional Approach
• Compositional synthesis of almost maximally permissible safety controllers
• Approximately Optimal Controllers for Quantitative Two-Phase Reach-Avoid Problems on Nonlinear Systems
• Abstractions for Symbolic Controller Synthesis are Composable
• Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
• A symbolic approach to the self-triggered design for networked control systems
• Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety