ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Compositional Approximately Bisimilar Abstractions of Interconnected Systems

Sadek, BA and Saharsh, Saharsh and Jagtap, P and Saoud, A (2023) Compositional Approximately Bisimilar Abstractions of Interconnected Systems. In: UNSPECIFIED, pp. 10210-10215.

[img] PDF
Ifa_pap_56_2_2023 - Published Version

Download (569kB)
Official URL: https://doi.org/10.1016/j.ifacol.2023.10.899


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 abstraction preserves the dynamics of the original model. We develop a compositional approach to abstraction-based controller synthesis based on the notions of approximate composition and incremental input-to-state stability. In particular, given a large system consisting of interconnected components, we provide conditions under which the notion of approximate (alternating) simulation relation is preserved when moving from the subsystems to the large interconnected system. The effectiveness of the proposed results has been evaluated through traffic congestion control. Copyright © 2023 The Authors. This is an open access article under the CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0/)

Item Type: Conference Paper
Publication: IFAC-PapersOnLine
Publisher: Elsevier B.V.
Additional Information: The copyright for this article belongs to authors.
Department/Centre: Division of Interdisciplinary Sciences > Robert Bosch Centre for Cyber Physical Systems
Date Deposited: 21 May 2024 04:01
Last Modified: 21 May 2024 04:01
URI: https://eprints.iisc.ac.in/id/eprint/84501

Actions (login required)

View Item View Item