Jing Sun Books
Robust adaptive control
" Presented in a tutorial style, this text reduces the confusion and difficulty in grasping the design, analysis, and robustness of a wide class of adaptive controls for continuous-time plants. The...
Read More
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revi...
Read More