Publications

Export 6 results:
Author Keyword [ Type(Desc)] Year
Filters: First Letter Of Keyword is C  [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)
E. Conference Papers
[271] K. Garg, A. Cardenas, and R. G. Sanfelice "Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers", Proceedings of the 6th IEEE Conference on Control Technology and Applications, pp. 720-725, August, 2022. PDF icon 271.pdf (3.05 MB)
[271] K. Garg, A. Cardenas, and R. G. Sanfelice "Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers", Proceedings of the 6th IEEE Conference on Control Technology and Applications, pp. 720-725, August, 2022. PDF icon 271.pdf (3.05 MB)
[271] K. Garg, A. Cardenas, and R. G. Sanfelice "Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers", Proceedings of the 6th IEEE Conference on Control Technology and Applications, pp. 720-725, August, 2022. PDF icon 271.pdf (3.05 MB)
[266] R. G. Sanfelice, and S. Di Cairano "Reference Governor for Hybrid Dynamical Systems", Proceedings of the American Control Conference, pp. 4921-4926, June, 2022. PDF icon 266.pdf (688.66 KB)