Symbolic Models for Interconnected Impulsive Systems

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