Professional Service and Activities

  • Reviewer
    Automatica, IEEE Transactions on Automatic Control, IEEE Transactions on Control of Network Systems, IEEE Transactions on Control Systems Technology, IEEE Transactions on Robotics, International Journal of Robust and Nonlinear Control, Nonlinear Analysis: Hybrid Systems, SIAM Journal on Control and Optimization, American Control Conference, IEEE Conference on Decision and Control, International Conference on Computer Aided Verification, International Conference on Hybrid Systems: Computation and Control, and other journals, conferences, book publishers, and funding agencies.