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

Systems & Control Letters 2026 Open access

Read full text

Authors: Yongzhuang Liu, Yang Song, Anquan Liu, Wanqing Zhao

DOI: 10.1016/j.sysconle.2026.106403

Cited by: 0

References: 34

Fields of Study & Subjects

Formal Methods in Verification Stability and Control of Uncertain Systems Advanced Control Systems Optimization

References 34