ePrints

Compositional abstraction synthesis for interconnected switched systems with incrementally non-passive modes

Lookup NU author(s): Dr Wanqing ZhaoORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

© 2026Abstraction-based control of interconnected switched systems (ISSs) for temporal logic tasks faces the curse of dimensionality. Compositional methods address this by constructing ISS abstractions from those of component switched systems (CSSs), but existing frameworks rely on a restrictive requirement: all modes of each CSS should be incrementally passive (δ-P). This condition is often violated in practical systems. To bridge this gap, this paper develops a novel compositional abstraction method that removes the δ-P constraint. Specifically, we introduce δ-P-like storage functions to accommodate incrementally non-passive modes and integrate them with mode-dependent dwell-time (MD-DT) constraints to construct storage functions (SFs) from the component abstraction to CSS. For linear modes, more general δ-P-like storage functions with time-varying positive-definite matrices are adopted, enabling an LMI formulation of SFs. Building on these SFs, we then establish existence conditions for an alternating simulation function (ASF) from the whole abstraction to the ISS. The effectiveness of the proposed approach is demonstrated through simulations.

Publication metadata

Author(s): Liu Y, Song Y, Liu A, Zhao W

Publication type: Article

Publication status: Published

Journal: Systems and Control Letters

Year: 2026

Volume: 212

Print publication date: 01/05/2026

Online publication date: 04/03/2026

Acceptance date: 26/02/2026

ISSN (print): 1872-7956

ISSN (electronic): 0167-6911

Publisher: Elsevier B.V.

URL: https://doi.org/10.1016/j.sysconle.2026.106403

DOI: 10.1016/j.sysconle.2026.106403

Altmetrics

Share