1. Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach /: A Deductive Approach. (2017) Authors: Zhan, Naijun; Wang, Shuling; Zhao, Hengjun Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /: theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. (2016) Editors: Fränzle, Martin; Kapur, Deepak; Zhan, Naijun Other Names: SETTA (Symposium), 2nd Record Type: Book Extent: 1 online resource (xviii, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /: essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. (2018) Editors: Jones, Cliff; (Professor of computer science), Wang, Ji; Zhan, Naijun Other Names: Zhou, Chaochen 1937- honouree. Record Type: Book Extent: 1 online resource (xii, 263 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Robust Regions of Attraction Generation for State-Constrained Perturbed Discrete-Time Polynomial Systems. Issue 2 (2020) Authors: Xue, Bai; Zhan, Naijun; Li, Yangjia Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 6327 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A Characterization of Robust Regions of Attraction for Discrete-Time Systems Based on Bellman Equations. Issue 2 (2020) Authors: Xue, Bai; Zhan, Naijun; Li, Yangjia Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 2(2020) Page Start: 6390 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Barrier certificates revisited. (May 2017) Authors: Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun Journal: Journal of symbolic computation Issue: Volume 80:Part 1(2017) Page Start: 62 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗