Publications

Export 2 results:
Author Keyword Type [ Year(Asc)]
Filters: Keyword is safety  [Clear All Filters]
2022
[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)
[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)