@article {262,
	title = {On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions},
	journal = {IEEE Transactions on Automatic Control},
	volume = {68},
	number = {1},
	year = {2023},
	month = {January},
	pages = {172-187},
	author = {M. Maghenem and R. G. Sanfelice}
}
@article {273,
	title = {Certifying the LTL Formula p Until q in Hybrid Systems},
	journal = {IEEE Transactions on Automatic Control},
	volume = {68},
	number = {7},
	year = {2022},
	month = {September},
	pages = {4451-4458},
	keywords = {Automata, Control systems, Convergence, Dynamical systems, safety, Stability analysis, Time-domain analysis},
	author = {H. Han and M. Maghenem and R. G. Sanfelice}
}
@article {260,
	title = {Necessary and Sufficient Conditions for the Nonincrease of Functions of Solutions to Constrained Differential Inclusions},
	journal = {ESAIM: Control, Optimisation and Calculus of Variations},
	volume = {28},
	number = {13},
	year = {2022},
	month = {February},
	author = {M. Maghenem and A. Melis and R. G. Sanfelice}
}
@article {236,
	title = {Sufficient Conditions for Forward Invariance and Contractivity in Hybrid Inclusions using Barrier Functions},
	journal = {Automatica},
	volume = {124},
	year = {2021},
	month = {February},
	author = {M. Maghenem and R. G. Sanfelice}
}
@conference {283,
	title = {Provable Adversarial Safety in Cyber-Physical Systems},
	booktitle = {Proceedings of the 8th IEEE European Symposium on Security and Privacy (EuroS\&P)},
	year = {2023},
	month = {July},
	pages = {979-1012},
	author = {J.H. Castellanos and M. Maghenem and A. Cardenas and R.G. Sanfelice and J. Zhou}
}
@conference {242,
	title = {A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals},
	booktitle = {Proceedings of the American Control Conference},
	year = {2021},
	month = {May},
	pages = {4997-5002},
	author = {A. Saoud and M. Maghenem and R. G. Sanfelice}
}
@conference {240,
	title = {Adaptive Safety Using Control Barrier Functions and Hybrid Adaptation},
	booktitle = {Proceedings of the American Control Conference},
	year = {2021},
	month = {May},
	pages = {2418-2423},
	author = {M. Maghenem and A. Taylor and A. D. Ames and R. G. Sanfelice}
}
@conference {238,
	title = {Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times},
	booktitle = {Proceedings of the American Control Conference},
	year = {2021},
	month = {May},
	pages = {2278-2283},
	author = {D. Kooi and M. Maghenem and R. G. Sanfelice}
}
@conference {227,
	title = {Hybrid Predictive Control for Tracking in a Single-Phase DC/AC Inverter with an Unknown Load},
	booktitle = {Proceedings of the American Control Conference},
	year = {2020},
	month = {July},
	pages = {1037-1042},
	author = {H. Gao and M. Maghenem and R. G. Sanfelice}
}
@conference {226,
	title = {Regularity Properties of Reachability Maps for Hybrid Dynamical Systems with Applications to Safety},
	booktitle = {Proceedings of the American Control Conference},
	year = {2020},
	month = {July},
	pages = {1031-1036},
	author = {M. Maghenem and B. Altin and R. G. Sanfelice}
}
@conference {224,
	title = {Lipschitzness of Minimal-Time Functions in Constrained Continuous-Time Systems with Applications to Reachability Analysis},
	booktitle = {Proceedings of the American Control Conference},
	year = {2020},
	month = {July},
	pages = {937-942},
	author = {M. Maghenem and R. G. Sanfelice}
}
@conference {215,
	title = {Sufficient Conditions for Satisfaction of Formulas with Until Operators in Hybrid Systems},
	booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control},
	number = {8},
	year = {2020},
	month = {April},
	pages = {1-10},
	author = {H. Han and M. Maghenem and R. G. Sanfelice}
}
@conference {214,
	title = {Local Lipschitzness of Reachability Maps for Hybrid Systems with Applications to Safety},
	booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control},
	number = {21},
	year = {2020},
	month = {April},
	pages = {1-11},
	author = {M. Maghenem and R. G. Sanfelice}
}
@conference {207,
	title = {Monotonicity Along Solutions to Constrained Differential Inclusions},
	booktitle = {Proceedings of the 2019 IEEE Conference on Decision and Control},
	year = {2019},
	month = {December},
	pages = {7228 - 7233},
	author = {M. Maghenem and A. Melis and R. G. Sanfelice}
}
@conference {206,
	title = {Multiple Barrier Function Certificates for Weak Forward Invariance in Hybrid Inclusions},
	booktitle = {Proceedings of the 2019 IEEE Conference on Decision and Control},
	year = {2019},
	month = {December},
	pages = {6319-6324},
	author = {M. Maghenem and R. G. Sanfelice}
}
@conference {199,
	title = {Characterizations of Safety in Hybrid Inclusions via Barrier Functions},
	booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control},
	year = {2019},
	month = {July},
	pages = {109{\textendash}118},
	author = {M. Maghenem and R. G. Sanfelice}
}
@conference {198,
	title = {Characterizations of safety and conditional invariance in dynamical systems},
	booktitle = {Proceedings of the American Control Conference},
	year = {2019},
	month = {July},
	pages = {5039-5044},
	author = {M. Maghenem and R. G. Sanfelice}
}
@conference {197,
	title = {Multiple barrier function certificates for forward invariance in hybrid inclusions},
	booktitle = {Proceedings of the American Control Conference},
	year = {2019},
	month = {July},
	pages = {2346-2351},
	author = {M. Maghenem and R. G. Sanfelice}
}
@conference {183,
	title = {Barrier function certificates for invariance in hybrid inclusions},
	booktitle = {Proceedings of the 2018 IEEE Conference on Decision and Control},
	year = {2018},
	month = {December},
	pages = {759-764},
	author = {M. Maghenem and R. G. Sanfelice}
}
