Compositional Approximately Bisimilar Abstractions of Interconnected Systems
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abstractions. These equivalence relations guarantee that the symbolic model conserves the original model's dynamics. We develop a compositional approach for abstraction-based controller synthesis by relying on the notions of approximate composition and incremental input-to-state stability. In particular, given a large-scale system consisting of interconnected components, we provide conditions under which the concept of approximate (alternating) simulation relation is preserved when going from the subsystems to the large-scale interconnected system. The engineering relevance of the theoretical results has been evaluated through an application in traffic congestion control.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
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 tha…
Compositional Abstractions of Interconnected Discrete-Time Switched Systems
In this paper, we introduce a compositional method for the construction of finite abstractions of interconnected discrete-time switched systems. Particularly, we use a notion of so-called alternating simulation function …
RelationSymbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy
This article is concerned with a data-driven divide-and-conquer strategy to construct symbolic abstractions for interconnected control networks with unknown mathematical models. We employ a notion of alternating bisimula…
MDP Abstractions from Data: Large-Scale Stochastic Networks
This work proposes a compositional data-driven technique for the construction of finite Markov decision processes (MDPs) for large-scale stochastic networks with unknown mathematical models. Our proposed framework levera…
Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching
In this work, we propose a compositional scheme for the safety controller synthesis of interconnected discrete-time stochastic systems with Markovian switching signals. Our proposed approach is based on a notion of so-ca…