Symbolic Models for Interconnected Impulsive Systems
Systems and Control
2023-12-29 v1 Systems and Control
Abstract
In this paper, we present a compositional methodology for constructing symbolic models of nonlinear interconnected impulsive systems. Our approach relies on the concept of "alternating simulation function" to establish a relationship between concrete subsystems and their symbolic models. Assuming some small-gain type conditions, we develop an alternating simulation function between the symbolic models of individual subsystems and those of the nonlinear interconnected impulsive systems. To construct symbolic models of nonlinear impulsive subsystems, we propose an approach that depends on incremental input-to-state stability and forward completeness properties. Finally, we demonstrate the advantages of our framework through a case study.
Cite
@article{arxiv.2312.17006,
title = {Symbolic Models for Interconnected Impulsive Systems},
author = {Sadek Belamfedel Alaoui and Adnane Saoud and Pushpak Jagtap and Abdalla Swikir},
journal= {arXiv preprint arXiv:2312.17006},
year = {2023}
}