Yang, Zhengfeng; Wu, Min; Lin, Wang An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. (English) Zbl 07198064 Nonlinear Anal., Hybrid Syst. 36, Article ID 100837, 17 p. (2020). MSC: 65-XX 93-XX PDFBibTeX XMLCite \textit{Z. Yang} et al., Nonlinear Anal., Hybrid Syst. 36, Article ID 100837, 17 p. (2020; Zbl 07198064) Full Text: DOI
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun Barrier certificates revisited. (English) Zbl 1357.68110 J. Symb. Comput. 80, Part 1, 62-86 (2017). MSC: 68Q60 68W30 90C22 PDFBibTeX XMLCite \textit{L. Dai} et al., J. Symb. Comput. 80, Part 1, 62--86 (2017; Zbl 1357.68110) Full Text: DOI arXiv