2.5k citations · 3.4k across the 22 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020★ 51 cited
Small-Gain Theorem for Safety Verification of Interconnected Systems
Ziliang Lyu, Xiangru Xu, Yiguang Hong
A small-gain theorem in the formulation of barrier function is developed in this work for safety verification of interconnected systems. This result is helpful to verify input-to-s…
math.OC2020
Finding Matrix Sequences with a High Asymptotic Growth Rate for Linear Constrained Switching Systems
Yuhao Zhang, Xiangru Xu
Linear constrained switching systems are linear switched systems whose switching sequences are constrained by a deterministic finite automaton. This work investigates how to genera…