Export 7 results:[ Author] Keyword Type Year
Filters: First Letter Of Last Name is H [Clear All Filters]
 "Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems", Proceedings of the 6th Analysis and Design of Hybrid Systems, vol. Volume 51, pp. 97-102, 07/2018.
 "Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems", Proceedings of the Conference on Hybrid Systems: Computation and Control, April, 2020.
 "A Hybrid Control Algorithm for Object Grasping Using Multiple Agents", Proceedings of the Conference on Control Technology and Applications, pp. 652-657, August, 2018.
 "Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions", Nonlinear Analysis: Hybrid Systems, vol. 36, 05/2020.
 "A Hybrid Algorithm for Practical Nonconvex Optimization", To appear in Proceedings of the 2021 International Symposium on Mathematical Theory of Networks and Systems, August, 2021.
 "A Robust Hybrid Heavy Ball Algorithm, for Optimization with High Performance", Proceedings of the American Control Conference, pp. 151-156, July, 2019.
 "Uniting Nesterov's Accelerated Gradient Descent and the Heavy Ball Method for Uniform Global Asymptotic Stability", To appear in Proceedings of the American Control Conference, May, 2021.