@article {304, title = {Uniting Nesterov and Heavy Ball Methods for Uniform Global Asymptotic Stability of the Set of Minimizers}, journal = {Automatica}, volume = {160}, number = {111389}, year = {2024}, month = {February}, author = {D. Hustig-Schultz and R.~G. Sanfelice} } @article {292, title = {Exploiting Invariance Properties to Certify Always and Eventually Signal Temporal Logic Operators for Hybrid Dynamical Systems}, journal = {IEEE Control Systems Letters}, volume = {7}, year = {2023}, month = {June}, pages = {2809-2814}, author = {H. Han and R. G. Sanfelice} } @article {259, title = {Explaining the {\textquotedblleft}Mystery{\textquotedblright} of Periodicity in Inter-Transmission Times in Two-Dimensional Event-Triggered Controlled Systems}, journal = {IEEE Transactions on Automatic Control}, volume = {68}, number = {2}, year = {2023}, month = {February}, pages = {912-927}, author = {R. Postoyan and R. G. Sanfelice and W. P. M. H. Heemels} } @article {273, title = {Certifying the LTL Formula p Until q in Hybrid Systems}, journal = {IEEE Transactions on Automatic Control}, volume = {68}, number = {7}, year = {2022}, month = {September}, pages = {4451-4458}, keywords = {Automata, Control systems, Convergence, Dynamical systems, safety, Stability analysis, Time-domain analysis}, author = {H. Han and M. Maghenem and R. G. Sanfelice} } @article {218, title = {Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions}, journal = {Nonlinear Analysis: Hybrid Systems}, volume = {36}, year = {2020}, month = {May}, author = {H. Han and R. G. Sanfelice} } @article {137, title = {Distance function design and Lyapunov techniques for the stability of hybrid trajectories}, journal = {Automatica}, volume = {73}, year = {2016}, month = {November}, pages = {38-46 }, chapter = {38}, author = {J. J. B. Biemond and W. P. M. H. Heemels and R. G. Sanfelice and N. van de Wouw} } @article {110, title = {Robust Global Stabilization of the {DC-DC} Boost Converter via Hybrid Control}, journal = {IEEE Transactions on Circuits and Systems I}, volume = {62}, year = {2015}, month = {April}, pages = {1052-1061}, keywords = {hybrid systems, power systems}, author = {T. A. F. Theunisse and J. Chai and R. G. Sanfelice and W. P. M. H. Heemels} } @article {67, title = {An Embedding Approach for the Design of State-Feedback Tracking Controllers for References with Jumps}, journal = {International Journal of Robust and Nonlinear Control}, volume = {24}, number = {11}, year = {2013}, pages = {1585{\textendash}1608}, abstract = {

We study the problem of designing state-feedback controllers to track time-varying state trajectories that may exhibit jumps. Both plants and controllers considered are modeled as hybrid dynamical systems, which are systems with both continuous and discrete dynamics, given in terms of a flow set, a flow map, a jump set, and a jump map. Using recently developed tools for the study of stability in hybrid systems, we recast the tracking problem as the task of asymptotically stabilizing a set, the tracking set, and derive conditions for the design of state-feedback tracking controllers with the property that the jump times of the plant coincide with those of the given reference trajectories. The resulting tracking controllers guarantee that solutions of the plant starting close to the reference trajectory stay close to it and that the difference between each solution of the controlled plant and the reference trajectory converges to zero asymptotically. Constructive conditions for tracking control design in terms of LMIs are proposed for a class of hybrid systems with linear maps and input-triggered jumps. The results are illustrated by various examples. Copyright {\textcopyright} 2013 John Wiley \& Sons, Ltd.

}, keywords = {hybrid systems}, issn = {1099-1239}, doi = {http://dx.doi.org/10.1002/rnc.2944}, url = {https://hybrid.soe.ucsc.edu/files/preprints/67.pdf}, author = {R. G. Sanfelice and J. J. B. Biemond and N. van de Wouw and W. P. M. H. Heemels} } @conference {287, title = {A Totally Asynchronous Block-Based Heavy Ball Algorithm for Convex Optimization}, booktitle = {Proceedings of the American Control Conference}, year = {2023}, month = {July}, pages = {873-878}, author = {D. Hustig-Schultz and K. Hendrickson and M. Hale and R. G. Sanfelice} } @conference {264, title = {Global Asymptotic Stability of Nonlinear Systems While Exploiting Properties of Uncertified Feedback Controllers Via Opportunistic Switching}, booktitle = {Proceedings of the American Control Conference}, year = {2022}, month = {June}, pages = {2663-2668}, keywords = {hybrid systems}, author = {P. K. Wintz and R. G. Sanfelice and J.P. Hespanha} } @conference {252, title = {Exponentially Converging Distributed Gradient Descent with Intermittent Communication via Hybrid Methods}, booktitle = {Proceedings of the 60th IEEE Conference on Decision and Control}, year = {2021}, month = {December}, pages = {1186-1191}, author = {K. Hendrickson and D. Hustig-Schultz and M. Hale and R. G. Sanfelice} } @conference {251, title = {Hybrid Systems with Continuous-Time Inputs: Subtleties in Solution Concepts and Existence Results}, booktitle = {Proceedings of the 60th IEEE Conference on Decision and Control}, year = {2021}, month = {December}, pages = {5368-5373}, author = {W. P. M. H. Heemels and P. Bernard and R. Postoyan and K. Scheres and R. G. Sanfelice} } @conference {247, title = {Towards Hybrid Model Predictive Control for Computationally Aware Satellite Applications}, booktitle = {Proceedings of Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, CPSWeek 2021}, year = {2021}, month = {May}, pages = {15-17}, author = {C. Peterson and S. Phillips and D. Hustig-Schultz and R. G. Sanfelice} } @conference {241, title = {Uniting Nesterov{\textquoteright}s Accelerated Gradient Descent and the Heavy Ball Method for Strongly Convex Functions with Exponential Convergence Rate}, booktitle = {Proceedings of the American Control Conference}, year = {2021}, month = {May}, pages = {959-964}, author = {D. Hustig-Schultz and R. G. Sanfelice} } @conference {235, title = {A Hybrid Algorithm for Practical Nonconvex Optimization}, booktitle = {Proceedings of the 2021 International Symposium on Mathematical Theory of Networks and Systems}, volume = {54}, number = {9}, year = {2021}, month = {August}, pages = {630-635}, author = {D. Hustig-Schultz and R. G. Sanfelice} } @conference {215, title = {Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems}, booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control}, number = {8}, year = {2020}, month = {April}, pages = {1-10}, author = {H. Han and M. Maghenem and R. G. Sanfelice} } @conference {203, title = {Inter-Event Times Analysis for Planar Linear Event-Triggered Controlled Systems (I)}, booktitle = {Proceedings of the 2019 IEEE Conference on Decision and Control}, year = {2019}, month = {December}, pages = {1662 - 1667}, author = {R. Postoyan and W. P. M. H. Heemels and R. G. Sanfelice} } @conference {191, title = {A Robust Hybrid Heavy Ball Algorithm, for Optimization with High Performance}, booktitle = {Proceedings of the American Control Conference}, year = {2019}, month = {July}, pages = {151-156}, author = {D. Hustig-Schultz and R. G. Sanfelice} } @conference {186, title = {A Hybrid Control Algorithm for Object Grasping Using Multiple Agents}, booktitle = {Proceedings of the Conference on Control Technology and Applications}, series = {NULL}, year = {2018}, month = {August}, pages = {652-657}, author = {H. Han and R. G. Sanfelice} } @conference {176, title = {Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems}, booktitle = {Proceedings of the 6th Analysis and Design of Hybrid Systems}, volume = {51}, year = {2018}, month = {July}, pages = {97-102}, author = {H. Han and R. G. Sanfelice} } @conference {173, title = {Hybrid Control for Autonomous Spacecraft Rendezvous Proximity Operations and Docking}, booktitle = {IFAC Workshop on Networked \& Autonomous Air \& Space Systems (NAASS)}, year = {2018}, month = {June}, pages = {94-99}, author = {J. R. Crane and C. W. T. Roscoe and B. P. Malladi and G. Zucchini and E. Butcher and R. G. Sanfelice and I. Hussein} } @conference {121, title = {Constructing distance functions and piecewise quadratic Lyapunov functions for stability of hybrid trajectories}, booktitle = {Proceedings of the IEEE Conference on Decision and Control}, series = {NULL}, year = {2015}, month = {December}, pages = {2252--2257}, author = {J. J. B. Biemond and W. P. M. H. Heemels and R. G. Sanfelice and N. V. D. Wouw} } @conference {82, title = {Hybrid Control of the Boost Converter: {R}obust Global Stabilization}, booktitle = {Proceedings of the IEEE Conference on Decision and Control}, series = {NULL}, year = {2013}, pages = {3635{\textendash}3640}, keywords = {hybrid systems}, author = {T. A. F. Theunisse and J. Chai and R. G. Sanfelice and W. P. M. H. Heemels} } @conference {64, title = {Tracking control of mechanical systems with a unilateral position constraint inducing dissipative impacts}, booktitle = {Proceedings of the IEEE Conference on Decision and Control}, series = {NULL}, year = {2012}, pages = {4223{\textendash}4228}, keywords = {hybrid systems}, doi = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6426527}, url = {https://hybrid.soe.ucsc.edu/files/preprints/64.pdf}, author = {J. J. B. Biemond and N. van de Wouw and W. P. M. H. Heemels and R. G. Sanfelice and H. Nijmeijer} } @conference {51, title = {Tracking Control for Hybrid Systems via Embedding of Known Reference Trajectories}, booktitle = {Proc. 30th American Control Conference}, series = {NULL}, year = {2011}, pages = {869{\textendash}874}, keywords = {hybrid systems}, doi = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5991500}, url = {https://hybrid.soe.ucsc.edu/files/preprints/51.pdf}, author = {R. G. Sanfelice and J. J. B. Biemond and N. van de Wouw and W. P. M. H. Heemels} } @conference {32, title = {Analysis of hybrid systems resulting from hysteresis and saturation: a {L}yapunov approach}, booktitle = {Proc. 47th IEEE Conference on Decision and Control}, series = {NULL}, year = {2008}, pages = {2764{\textendash}2769}, abstract = {This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a ?ow map and jump map, and state-triggered jumps. One motivation for considering this class of systems is that they can model control systems with a relay-type hysteresis element. Based on Lyapunov theorems for hybrid systems, a Lyapunov function is constructed that effectively incorporates the feature of the jumps. Global asymptotic stability analysis is presented for the case when the ?ow map is linear, and local asymptotic stability analysis is presented for the case when the ?ow map is linear plus saturated linear. The stability conditions are derived as matrix inequalities. A numerical example is presented to illustrate the hybrid modeling process for a system experiencing hysteresis. Simulations con?rm the effectiveness of the proposed analysis tools and demonstrate the potential of the Lyapunov function.}, keywords = {hybrid systems}, doi = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=4739453\&isnumber=4738560}, url = {https://hybrid.soe.ucsc.edu/files/preprints/32.pdf}, author = {D. Dai and R. G. Sanfelice and T. Hu and A. R. Teel} } @conference {6, title = {A feedback control motivation for generalized solutions to hybrid systems}, booktitle = {Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 3927}, series = {NULL}, year = {2006}, pages = {522{\textendash}536}, publisher = {Springer Berlin / Heidelberg}, organization = {Springer Berlin / Heidelberg}, abstract = {

Several recent results in the area of robust asymptotic stability of hybrid systems show that the concept of a generalized solution to a hybrid system is suitable for the analysis and design of hybrid control systems. In this paper, we show that such generalized solutions are exactly the solutions that arise when measurement noise is present in the system.

}, keywords = {hybrid systems}, doi = {http://www.springerlink.com/content/p1l0517700517248/fulltext.pdf}, url = {https://hybrid.soe.ucsc.edu/files/preprints/6.pdf}, author = {R. G. Sanfelice and R. Goebel and A.R. Teel}, editor = {J. P. Hespanha and A. Tiwari and J. P. Hespanha and A. Tiwari} } @conference {3, title = {Hybrid systems: generalized solutions and robust stability}, booktitle = {Proc. 6th IFAC Symposium in Nonlinear Control Systems}, series = {NULL}, year = {2004}, pages = {1{\textendash}12}, abstract = {

Robust asymptotic stability for hybrid systems is considered. For this purpose, a generalized solution concept is developed. The first step is to characterize a hybrid time domain that permits an efiient description of the convergence of a sequence of solutions. Graph convergence is used. Then a generalized solution definition is given that leads to continuity with respect to initial conditions and perturbations of the system data. This property enables new results on necessary conditions for asymptotic stability in hybrid systems.

}, keywords = {hybrid systems}, doi = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.61.8882\&rep=rep1\&type=pdf}, url = {https://hybrid.soe.ucsc.edu/files/preprints/3.pdf}, author = {R. Goebel and J.P. Hespanha and A.R. Teel and C. Cai and R. G. Sanfelice} }