Publications
Export 2 results:
Author Keyword [ Type] Year Filters: Keyword is safety and Author is R. G. Sanfelice [Clear All Filters]
[273] "Certifying the LTL Formula p Until q in Hybrid Systems",
IEEE Transactions on Automatic Control, vol. 68, no. 7, pp. 4451-4458, September, 2022.
273.pdf (290.84 KB)
[267] "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.
267.pdf (305.21 KB)