Publications

Export 2 results:
Author Keyword [ Type(Desc)] Year
Search results for han
Filters: Author is M. Maghenem  [Reset Search]
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)
E. Conference Papers
[215] H. Han, M. Maghenem, and R. G. Sanfelice "Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems", Proceedings of the Conference on Hybrid Systems: Computation and Control, no. 8, pp. 1-10, April, 2020. PDF icon 215.pdf (720.78 KB)