Zhou, Xingyu; Wang, Haoping; Wu, Ke; Zheng, Gang Fixed-time neural network trajectory tracking control for the rigid-flexible coupled robotic mechanisms with large beam-deflections. (English) Zbl 1510.70025 Appl. Math. Modelling 118, 665-691 (2023). MSC: 70E60 68T07 74K10 93C85 PDFBibTeX XMLCite \textit{X. Zhou} et al., Appl. Math. Modelling 118, 665--691 (2023; Zbl 1510.70025) Full Text: DOI
Zheng, Gang; Girard, Antoine Bounded and unbounded safety verification using bisimulation metrics. (English) Zbl 1237.68128 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 426-440 (2009). MSC: 68Q60 68Q85 93C30 PDFBibTeX XMLCite \textit{G. Zheng} and \textit{A. Girard}, Lect. Notes Comput. Sci. 5469, 426--440 (2009; Zbl 1237.68128) Full Text: DOI