Publications

Export 13 results:
[ Author(Desc)] Keyword Type Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
[292] H. Han, and R. G. Sanfelice "Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems", IEEE Control Systems Letters, vol. 7, pp. 2809-2814, June, 2023. PDF icon 292.pdf (304.87 KB)
[176] H. Han, and R. G. Sanfelice "Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems", Proceedings of the 6th Analysis and Design of Hybrid Systems, vol. 51, pp. 97-102, July, 2018. PDF icon 176.pdf (297.32 KB)
[215] H. Han, M. Maghenem, and R. G. Sanfelice "Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems", Proceedings of the Conference on Hybrid Systems: Computation and Control, no. 8, pp. 1-10, April, 2020. PDF icon 215.pdf (720.78 KB)
[186] H. Han, and R. G. Sanfelice "A Hybrid Control Algorithm for Object Grasping Using Multiple Agents", Proceedings of the Conference on Control Technology and Applications, pp. 652-657, August, 2018. PDF icon 186.pdf (470.08 KB)
[273] H. Han, M. Maghenem, and R. G. Sanfelice "Certifying the LTL Formula p Until q in Hybrid Systems", IEEE Transactions on Automatic Control, vol. 68, no. 7, pp. 4451-4458, September, 2022. PDF icon 273.pdf (290.84 KB)
[218] H. Han, and R. G. Sanfelice "Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions", Nonlinear Analysis: Hybrid Systems, vol. 36, May, 2020. PDF icon 218.pdf (218.45 KB)
[251] W. P. M. H. Heemels, P. Bernard, R. Postoyan, K. Scheres, and R. G. Sanfelice "Hybrid Systems with Continuous-Time Inputs: Subtleties in Solution Concepts and Existence Results", Proceedings of the 60th IEEE Conference on Decision and Control, pp. 5368-5373, December, 2021. PDF icon 251.pdf (218.29 KB)
[252] K. Hendrickson, D. Hustig-Schultz, M. Hale, and R. G. Sanfelice "Exponentially Converging Distributed Gradient Descent with Intermittent Communication via Hybrid Methods", Proceedings of the 60th IEEE Conference on Decision and Control, pp. 1186-1191, December, 2021. PDF icon 252.pdf (966.48 KB)
[235] D. Hustig-Schultz, and R. G. Sanfelice "A Hybrid Algorithm for Practical Nonconvex Optimization", Proceedings of the 2021 International Symposium on Mathematical Theory of Networks and Systems, vol. 54, no. 9, pp. 630-635, August, 2021. PDF icon 235.pdf (323.15 KB)
[304] D. Hustig-Schultz, and R. G. Sanfelice "Uniting Nesterov and Heavy Ball Methods for Uniform Global Asymptotic Stability of the Set of Minimizers", Automatica, vol. 160, no. 111389, February, 2024.
[191] D. Hustig-Schultz, and R. G. Sanfelice "A Robust Hybrid Heavy Ball Algorithm, for Optimization with High Performance", Proceedings of the American Control Conference, pp. 151-156, July, 2019. PDF icon 191.pdf (701.96 KB)
[241] D. Hustig-Schultz, and R. G. Sanfelice "Uniting Nesterov’s Accelerated Gradient Descent and the Heavy Ball Method for Strongly Convex Functions with Exponential Convergence Rate", Proceedings of the American Control Conference, pp. 959-964, May, 2021. PDF icon 241.pdf (423.37 KB)
[287] D. Hustig-Schultz, K. Hendrickson, M. Hale, and R. G. Sanfelice "A Totally Asynchronous Block-Based Heavy Ball Algorithm for Convex Optimization", Proceedings of the American Control Conference, pp. 873-878, July, 2023. PDF icon 287.pdf (405.96 KB)