# Compositional Synthesis of Symbolic Models for Networks of Switched Systems

arXiv: https://arxiv.org/abs/1905.12808 · HTML: https://mlsanity.com/paper/1905.12808/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 30 May 2019.

## Built on by (most cited first, 1 of 1)

- [Algebraically Explainable Controllers: Decision Trees and Support Vector Machines Join Forces](https://mlsanity.com/paper/2208.12804/) (2022)

## Abstract (arXiv)

In this paper, we provide a compositional methodology for constructing symbolic models for networks of discrete-time switched systems. We first define a notion of so-called augmented-storage functions to relate switched subsystems and their symbolic models. Then we show that if some dissipativity type conditions are satisfied, one can establish a notion of so-called alternating simulation function as a relation between a network of symbolic models and that of switched subsystems. The alternating simulation function provides an upper bound for the mismatch between the output behavior of the interconnection of switched subsystems and that of their symbolic models. Moreover, we provide an approach to construct symbolic models for discrete-time switched subsystems under some assumptions ensuring incremental passivity of each mode of switched subsystems. Finally, we illustrate the effectiveness of our results through two examples.