Alaoui, SB and Saoud, A and Jagtap, P and Swikir, A (2023) Symbolic Models for Interconnected Impulsive Systems. In: UNSPECIFIED, pp. 5900-5905.
![]() |
PDF
pro_iee_con_dec_con_2023. pdf - Published Version Download (375kB) |
Abstract
In this paper, we present a compositional method-ology for constructing symbolic models of nonlinear interconnected impulsive systems. Our approach relies on the concept of 'alternating simulation function' to establish a relation-ship 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. © 2023 IEEE.
Item Type: | Conference Paper |
---|---|
Publication: | Proceedings of the IEEE Conference on Decision and Control |
Publisher: | Institute of Electrical and Electronics Engineers Inc. |
Additional Information: | The copyright for this article belongs to Institute of Electrical and Electronics Engineers Inc. |
Department/Centre: | Division of Interdisciplinary Sciences > Robert Bosch Centre for Cyber Physical Systems |
Date Deposited: | 16 May 2024 10:48 |
Last Modified: | 16 May 2024 10:48 |
URI: | https://eprints.iisc.ac.in/id/eprint/84552 |
Actions (login required)
![]() |
View Item |