Finite Abstractions of Network of Impulsive Systems Using Dissipativity Approach

TL;DR

This paper presents a compositional method for creating finite abstractions of nonlinear interconnected impulsive systems using dissipativity conditions and alternating simulation functions, facilitating analysis and control design.

Contribution

It introduces a novel dissipativity-based framework employing alternating simulation functions for compositional abstraction of impulsive systems.

Findings

Finite abstractions constructed for impulsive subsystems

Dissipativity conditions ensure compositionality

Framework applicable to complex interconnected systems

Abstract

This paper introduces a compositional framework for constructing finite abstractions of nonlinear interconnected impulsive systems using dissipativity-based conditions. Central to our approach is the concept of "alternating simulation functions," which serve to relate the concrete dynamics of impulsive subsystems to their finite abstractions. Dissipativity conditions are employed to ensure the compositionality of the finite abstractions, enabling the representation of complex interconnected systems as compositions of their subsystem abstractions. The methodology relies on incremental passivity properties such as supply rates and storage functions, alongside forward completeness, to construct finite abstractions for individual impulsive subsystems.