Publications

Export 19 results:
Author Keyword [ Type(Asc)] Year
Filters: First Letter Of Last Name is M and Author is M. Maghenem  [Clear All Filters]
E. Conference Papers
[283] J.H. Castellanos, M. Maghenem, A. Cardenas, R.G. Sanfelice, and J. Zhou "Provable Adversarial Safety in Cyber-Physical Systems", Proceedings of the 8th IEEE European Symposium on Security and Privacy (EuroS&P), pp. 979-1012, July, 2023. PDF icon 283.pdf (1.46 MB)
[242] A. Saoud, M. Maghenem, and R. G. Sanfelice "A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals", Proceedings of the American Control Conference, pp. 4997-5002, May, 2021. PDF icon 242.pdf (249.14 KB)
[240] M. Maghenem, A. Taylor, A. D. Ames, and R. G. Sanfelice "Adaptive Safety Using Control Barrier Functions and Hybrid Adaptation", Proceedings of the American Control Conference, pp. 2418-2423, May, 2021. PDF icon 240.pdf (220.39 KB)
[238] D. Kooi, M. Maghenem, and R. G. Sanfelice "Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times", Proceedings of the American Control Conference, pp. 2278-2283, May, 2021. PDF icon 238.pdf (325.92 KB)
[227] H. Gao, M. Maghenem, and R. G. Sanfelice "Hybrid Predictive Control for Tracking in a Single-Phase DC/AC Inverter with an Unknown Load", Proceedings of the American Control Conference, pp. 1037-1042, July, 2020. PDF icon 227.pdf (1.81 MB)
[226] M. Maghenem, B. Altin, and R. G. Sanfelice "Regularity Properties of Reachability Maps for Hybrid Dynamical Systems with Applications to Safety", Proceedings of the American Control Conference, pp. 1031-1036, July, 2020. PDF icon 226.pdf (248.61 KB)
[224] M. Maghenem, and R. G. Sanfelice "Lipschitzness of Minimal-Time Functions in Constrained Continuous-Time Systems with Applications to Reachability Analysis", Proceedings of the American Control Conference, pp. 937-942, July, 2020. PDF icon 224.pdf (237.81 KB)
[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)
[214] M. Maghenem, and R. G. Sanfelice "Local Lipschitzness of Reachability Maps for Hybrid Systems with Applications to Safety", Proceedings of the Conference on Hybrid Systems: Computation and Control, no. 21, pp. 1-11, April, 2020. PDF icon 214.pdf (776.05 KB)
[207] M. Maghenem, A. Melis, and R. G. Sanfelice "Monotonicity Along Solutions to Constrained Differential Inclusions", Proceedings of the 2019 IEEE Conference on Decision and Control, pp. 7228 - 7233, December, 2019. PDF icon 207.pdf (273.88 KB)
[206] M. Maghenem, and R. G. Sanfelice "Multiple Barrier Function Certificates for Weak Forward Invariance in Hybrid Inclusions", Proceedings of the 2019 IEEE Conference on Decision and Control, pp. 6319-6324, December, 2019. PDF icon 206.pdf (298.76 KB)
[199] M. Maghenem, and R. G. Sanfelice "Characterizations of Safety in Hybrid Inclusions via Barrier Functions", Proceedings of the Conference on Hybrid Systems: Computation and Control, pp. 109–118, July, 2019. PDF icon 199.pdf (4.47 MB)
[198] M. Maghenem, and R. G. Sanfelice "Characterizations of safety and conditional invariance in dynamical systems", Proceedings of the American Control Conference, pp. 5039-5044, July, 2019. PDF icon 198.pdf (268.48 KB)
[197] M. Maghenem, and R. G. Sanfelice "Multiple barrier function certificates for forward invariance in hybrid inclusions", Proceedings of the American Control Conference, pp. 2346-2351, July, 2019. PDF icon 197.pdf (251.88 KB)
[183] M. Maghenem, and R. G. Sanfelice "Barrier function certificates for invariance in hybrid inclusions", Proceedings of the 2018 IEEE Conference on Decision and Control, pp. 759-764, December, 2018. PDF icon 183.pdf (263.55 KB)
D. Journal Articles
[262] M. Maghenem, and R. G. Sanfelice "On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions", IEEE Transactions on Automatic Control, vol. 68, no. 1, pp. 172-187, January, 2023. PDF icon 262.pdf (873.04 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)
[260] M. Maghenem, A. Melis, and R. G. Sanfelice "Necessary and Sufficient Conditions for the Nonincrease of Functions of Solutions to Constrained Differential Inclusions", ESAIM: Control, Optimisation and Calculus of Variations, vol. 28, no. 13, February, 2022. PDF icon 260.pdf (686.76 KB)
[236] M. Maghenem, and R. G. Sanfelice "Sufficient Conditions for Forward Invariance and Contractivity in Hybrid Inclusions using Barrier Functions", Automatica, vol. 124, February, 2021. PDF icon 236.pdf (1011.21 KB)