@conference {298, title = {Interval Observers for Hybrid Dynamical Systems with Known Jump Times}, booktitle = {Proceedings of the 62nd IEEE Conference on Decision and Control}, year = {2023}, month = {December}, pages = {7507-7513}, author = {T. Pati and M. Khajenejad and S. P. Daddala and R. G. Sanfelice and S. Z. Yong} } @conference {238, title = {Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times}, booktitle = {Proceedings of the American Control Conference}, year = {2021}, month = {May}, pages = {2278-2283}, author = {D. Kooi and M. Maghenem and R. G. Sanfelice} } @conference {79, title = {Juggling On A Bouncing Ball Apparatus Via Hybrid Control}, booktitle = {Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems}, series = {NULL}, year = {2013}, pages = {1848{\textendash}1853}, keywords = {hybrid systems}, url = {https://hybrid.soe.ucsc.edu/files/preprints/79.pdf}, author = {X. Tian and J. H. Koessler and R. G. Sanfelice} } @conference {78, title = {Suboptimality Bounds for Linear Quadratic Problems in Hybrid Linear Systems}, booktitle = {Proceedings of the European Control Conference}, series = {NULL}, year = {2013}, pages = {2663{\textendash}2668}, keywords = {hybrid systems}, url = {https://hybrid.soe.ucsc.edu/files/preprints/78.pdf}, author = {Y. Kouhi and N. Bajcinca and R. G. Sanfelice} } @conference {31, title = {Optimal Control of Mixed Logical Dynamical Systems with Linear Temporal Logic Specifications}, booktitle = {Proc. 47th IEEE Conference on Decision and Control}, series = {NULL}, year = {2008}, pages = {2117{\textendash}2122}, abstract = {Recently, Linear Temporal Logic (LTL) has been employed as a tool for formal speci?cation in dynamical control systems. With this formal approach, control systems can be designed to provably accomplish a large class of complex tasks speci?ed via LTL. For this purpose, language generating Buchi automata with ?nite abstractions of dynamical systems have been used in the literature. In this paper, we take a mathematical programming-based approach to control of a broad class of discrete-time dynamical systems, called Mixed Logic Dynamical (MLD) systems, with LTL speci?cations. MLDs include discontinuous and hybrid piecewise discrete-time linear systems. We apply these tools for model checking and optimal control of MLD systems with LTL speci?cations. Our algorithms exploit Mixed Integer Linear Programming (MILP) as well as, in the appropriate setting, Mixed Integer Quadratic Programming (MIQP) techniques. Our solution approach introduces a general technique useful in representing LTL constraints as mixed-integer linear constraints}, keywords = {hybrid systems}, doi = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=4739370\&isnumber=4738560}, url = {https://hybrid.soe.ucsc.edu/files/preprints/31.pdf}, author = {S. Karaman and R. G. Sanfelice and E. Frazzoli} }