Publications

Export 11 results:
Author Keyword [ Type(Desc)] Year
Filters: First Letter Of Keyword is S  [Clear All Filters]
D. Journal Articles
[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)
[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)
[40] R. G. Sanfelice, and A. R. Teel "Dynamical Properties of Hybrid Systems Simulators", Automatica, vol. 46, no. 2, pp. 239–248, 2010. PDF icon 40.pdf (357.94 KB)
E. Conference Papers
[269] S. Jimenez, and R. G. Sanfelice "Optimality and Stability in Two-Player Zero-Sum Hybrid Games", Proceedings of the Conference on Hybrid Systems: Computation and Control, no. 30, pp. 1-2, May, 2022. PDF icon 269.pdf (931.99 KB)
[267] A. Isaly, M. Ghanbarpour, W. Dixon, and R. G. Sanfelice "On the Feasibility and Continuity of Feedback Controllers Defined by Multiple Control Barrier Functions for Constrained Differential Inclusions", Proceedings of the American Control Conference, pp. 5160-5165, June, 2022. PDF icon 267.pdf (305.21 KB)
[98] P. Nanez, N. Risso, and R. G. Sanfelice "A Symbolic Simulator for Hybrid Equations", Proceedings of SummerSim, 2014. PDF icon 98.pdf (1.55 MB)
[87] G. Gil, R. G. Sanfelice, and P. E. Nikravesh "Local linearization method in the integration of multibody equations", Proceedings of the ECCOMAS Thematic Conference Multibody Dynamics, 2013. PDF icon 87.pdf (570.48 KB)
[86] G. Gil, R. G. Sanfelice, and P. E. Nikravesh "Numerical integration scheme using singular perturbation method", Proceedings of the ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, 2013. PDF icon 86.pdf (524.78 KB)
[74] R. G. Sanfelice, D. A. Copp, and P. Nanez "A Toolbox for Simulation of Hybrid Systems in Matlab/Simulink: Hybrid Equations (HyEQ) Toolbox", Proceedings of Hybrid Systems: Computation and Control Conference, pp. 101–106, 2013. PDF icon 74.pdf (248.13 KB)
[60] D. A. Copp, and R. G. Sanfelice "On the Effect and Robustness of Zero-crossing Detection Algorithms in Simulation of Hybrid Systems Jumping on Surfaces", Proceedings of the American Control Conference, pp. 2449–2454, 2012. PDF icon 60.pdf (221.42 KB)
[8] R. G. Sanfelice, and A. R. Teel "On the continuity of asymptotically stable compact sets for simulations of hybrid systems", Proc. 45th IEEE Conference on Decision and Control, pp. 270–275, 2006. PDF icon 8.pdf (235.41 KB)