@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}
}
@conference {271,
	title = {Sampling-Based Computation of Viability Domain to Prevent Safety Violations by Attackers},
	booktitle = {Proceedings of the 6th IEEE Conference on Control Technology and Applications},
	year = {2022},
	month = {August},
	pages = {720-725},
	keywords = {computational methods, cyberphysical systems, cybersecurity},
	author = {K. Garg and A. Cardenas and R. G. Sanfelice}
}
@conference {266,
	title = {Reference Governor for Hybrid Dynamical Systems},
	booktitle = {Proceedings of the American Control Conference},
	year = {2022},
	month = {June},
	pages = {4921-4926},
	keywords = {Constrained Control},
	author = {R. G. Sanfelice and S. Di Cairano}
}
