3 citations · 5 across the 3 of their papers we have counts for
3 papers
eess.SY2021★ 1 cited
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations
Yunjun Bai, Ting Gan, Li Jiao +3
Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors. Induced by signal transmission, conversion, the nature of plants, an…
cs.LO2016★ 1 cited
Interpolation synthesis for quadratic polynomial inequalities and combination with EUF
Ting Gan, Liyun Dai, Bican Xia +3
An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on…
eess.SY2013★ 3 cited
Barrier Certificates Revisited
Liyun Dai, Ting Gan, Bican Xia +1
A barrier certificate can separate the state space of a con- sidered hybrid system (HS) into safe and unsafe parts ac- cording to the safety property to be verified. Therefore this…