Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach

2024-08-16

arXiv.org

AI Summary

This paper addresses discrete-time interconnected systems whose subsystem dynamics and interconnection topology are partially unknown. Method: We propose a data-driven, compositional approach to construct finite-state abstractions for formal verification and distributed controller synthesis. Subsystems are modeled individually from input-output data, and—novelly—the unknown static interconnection mapping is treated as a learnable object, enabling its symbolic abstraction. Compositionality and rigorous error propagation analysis ensure that the resulting abstraction strictly satisfies an approximate simulation relation. Contribution/Results: We theoretically establish scalability and verifiability of the abstraction. Experiments demonstrate substantial mitigation of the curse of dimensionality, enabling high-precision, low-complexity controller synthesis while preserving formal guarantees.

Technology Category

• Intelligent Robots: State Estimation
• Constraint Satisfaction and Optimization: Mixed Discrete/Continuous Optimization
• Planning, Routing, and Scheduling: Mixed Discrete/Continuous Planning

Application Category

• Graph Algorithms and Modeling for the Web: Efficient manipulation of static and dynamic Web-related graphs
• Systems and Infrastructure for Web, Mobile and WoT: Federated Web and WoT systems, including distributed, federated and edge-based data processing
• Semantics and Knowledge: Data modeling to support human-machine intelligence, including LLMs agents, intelligent system behavior, explanations, and user-friendly interactions

Abstract

Finite-state abstractions (a.k.a. symbolic models) present a promising avenue for the formal verification and synthesis of controllers in continuous-space control systems. These abstractions provide simplified models that capture the fundamental behaviors of the original systems. However, the creation of such abstractions typically relies on the availability of precise knowledge concerning system dynamics, which might not be available in many real-world applications. In this work, we introduce an innovative, data-driven, and compositional approach to generate finite abstractions for interconnected systems that consist of discrete-time control subsystems with unknown dynamics. These subsystems interact through an unknown static interconnection map. Our methodology for abstracting the interconnected system involves constructing abstractions for individual subsystems and incorporating an abstraction of the interconnection map.

Problem

• Data-driven finite abstraction construction
• Interconnected systems with unknown dynamics
• Compositional approach for subsystem abstraction

Innovation

• Data-driven finite abstractions construction
• Compositional approach for interconnected systems
• Handling partially unknown dynamics