Search results for: Zhikun She
International Journal of Robust and Nonlinear Control > 32 > 12 > 6721 - 6738
International Journal of Robust and Nonlinear Control > 30 > 5 > 1979 - 2000
International Journal of Robust and Nonlinear Control > 30 > 4 > 1719 - 1732
International Journal of Robust and Nonlinear Control > 29 > 8 > 2333 - 2350
International Journal of Robust and Nonlinear Control > 28 > 17 > 5191 - 5212
International Journal of Robust and Nonlinear Control > 28 > 6 > 2191 - 2208
Nonlinear Analysis: Hybrid Systems > 2018 > 27 > C > 44-61
IEEE Transactions on Automatic Control > 2017 > 62 > 10 > 5185 - 5197
IEEE Transactions on Circuits and Systems II: Express Briefs > 2017 > 64 > 10 > 1232 - 1236
Applied Mathematics Letters > 2017 > 71 > C > 59-66
Applied Mathematics Letters > 2017 > 67 > C > 60-66
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. Counter and Hybrid Systems Verification > 196-211
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 3 > 151-166
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 573-589
2015 54th IEEE Conference on Decision and Control (CDC) > 4252 - 4259
Journal of Mathematical Analysis and Applications > 2015 > 422 > 2 > 886-905
Celestial Mechanics and Dynamical Astronomy > 2014 > 118 > 2 > 115-127