Publications

Export 2 results:
[ Author(Asc)] Keyword Type Year
Search results for maghenem
Filters: Author is H. Han  [Reset Search]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
[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)
[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)