Zhang, Lijun; Xia, Yuanqing; Cui, Bing; Zhang, Jinhui; Shen, Ganghui Finite-time cooperative attitude control for leader-follower spacecraft with fixed-time observer. (English) Zbl 1525.93404 Int. J. Robust Nonlinear Control 30, No. 17, 7013-7030 (2020). MSC: 93D40 93A13 93B53 93C40 PDFBibTeX XMLCite \textit{L. Zhang} et al., Int. J. Robust Nonlinear Control 30, No. 17, 7013--7030 (2020; Zbl 1525.93404) Full Text: DOI
Wang, Shuling; Zhan, Naijun; Zhang, Lijun A compositional modelling and verification framework for stochastic hybrid systems. (English) Zbl 1370.68220 Formal Asp. Comput. 29, No. 4, 751-775 (2017). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{S. Wang} et al., Formal Asp. Comput. 29, No. 4, 751--775 (2017; Zbl 1370.68220) Full Text: DOI
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1337.91015 Inf. Comput. 247, 106-129 (2016). MSC: 91A15 90C40 68Q87 93E20 PDFBibTeX XMLCite \textit{J. Fearnley} et al., Inf. Comput. 247, 106--129 (2016; Zbl 1337.91015) Full Text: DOI
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun Extending hybrid CSP with probability and stochasticity. (English) Zbl 1369.68264 Li, Xuandong (ed.) et al., Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). Lecture Notes in Computer Science 9409, 87-102 (2015). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{Y. Peng} et al., Lect. Notes Comput. Sci. 9409, 87--102 (2015; Zbl 1369.68264) Full Text: DOI arXiv
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz Safety verification for probabilistic hybrid systems. (English) Zbl 1291.93294 Eur. J. Control 18, No. 6, 572-587 (2012). MSC: 93E03 93C30 PDFBibTeX XMLCite \textit{L. Zhang} et al., Eur. J. Control 18, No. 6, 572--587 (2012; Zbl 1291.93294) Full Text: DOI