Compositional Construction of Approximately Bisimilar Symbolic Models for Discrete-Time Interconnected Switched Linear Systems

Authors

Wanqing Zhao (ORCID: https://orcid.org/0000-0001-7622-0665)
Yibo Liu (ORCID: https://orcid.org/0000-0003-1143-3242)
Yang Song

Institutions

Shanghai University (CN)
Taishan University (CN)
Newcastle University (GB)

Publication Details

Journal: IEEE Access
Published: 2026-01-01
DOI: https://doi.org/10.1109/access.2026.3651451
Primary Topic: Formal Methods in Verification
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Compositional Construction of Approximately Bisimilar Symbolic Models for Discrete-Time Interconnected Switched Linear Systems

Wanqing Zhao, Yibo Liu, Yang Song

Jan 1, 2026

IEEE Access

Formal Methods in Verification

article

Compositional Construction of Approximately Bisimilar Symbolic Models for Discrete-Time Interconnected Switched Linear Systems

Wanqing Zhao, Yibo Liu, Yang Song

January 1, 2026article en

Abstract

No abstract available for this paper.

IEEE AccessVol. 14

Shanghai University (CN), Taishan University (CN), Newcastle University (GB)

Openalex Percentile: Top 94%

Formal Methods in Verification

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Compositional Construction of Approximately Bisimilar Symbolic Models for Discrete-Time Interconnected Switched Linear Systems — Wanqing Zhao, Yibo Liu, et al. · IEEE Access (2026) | TGRS Research Map | TGRS