Publications

Export 8 results:
Author Keyword [ Type(Desc)] Year
Filters: Author is M. Maghenem  [Clear All Filters]
E. Conference Papers
[215] H. Han, M. Maghenem, and R.G. Sanfelice "Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems", To appear at the Hybrid Systems: Computation and Control, 04/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", To appear at the Hybrid Systems: Computation and Control, 04/2020.
[207] M. Maghenem, A. Melis, and R.G. Sanfelice "Monotonicity of Functions Along Flows of Hybrid Inclusions", Proceedings of the 2019 IEEE Conference on Decision and Control, 12/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, 12/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 Hybrid Systems: Computation and Control, 07/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, 07/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, 07/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, 12/2018. PDF icon 183.pdf (263.55 KB)