Export 9 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.
 "Hybrid Systems with Continuous-Time Inputs: Subtleties in Solution Concepts and Existence Results", To appear in Proceedings of the 60th IEEE Conference on Decision and Control, December, 2021.
 "Exponentially Converging Distributed Gradient Descent with Intermittent Communication via Hybrid Methods", To appear in Proceedings of the 60th IEEE Conference on Decision and Control, December, 2021.
 "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 Strongly Convex Functions with Exponential Convergence Rate", To appear in Proceedings of the American Control Conference, May, 2021.