Compositional abstraction synthesis for interconnected switched systems with incrementally non-passive modes互联切换系统增量非无源模式的组合抽象合成SYSTEMS & CONTROL LETTERSIF2.52026-05-010PRE
Compositional Construction of Approximately Bisimilar Symbolic Models for Discrete-Time Interconnected Switched Linear SystemsIEEE AccessIF3.62026-01-010OAAI
Approximately Bi-Similar Symbolic Model for Discrete-Time Interconnected Switched SystemIEEE-CAA JOURNAL OF AUTOMATICA SINICAIF19.22024-10-011PRE
Finite-step approximately bi-similar symbolic model for switched systemsJOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICSIF3.72024-07-010PRE
Stabilization and L2 - Gain Performance of Periodic Piecewise Impulsive Linear SystemsIEEE ACCESSIF3.62020-01-012OAAI