@conference {330,
	title = {Sharc: Simulator for Hardware Architecture and Real-time Control},
	booktitle = {Proceedings of the Conference on Hybrid Systems: Computation and Control},
	year = {2025},
	month = {May},
	author = {P. K. Wintz and Y. Sonmez and P. Griffioen and M. Xu and S. Oh and H. Litz and R. G. Sanfelice and M. Arcak}
}
@conference {313,
	title = {Conical Transition Graphs: A New Tool to Analyze Asymptotic Stability for Hybrid Systems},
	booktitle = {Proceedings of the 8th Analysis and Design of Hybrid Systems},
	year = {2024},
	month = {July},
	author = {P. K. Wintz and R. G. Sanfelice}
}
@conference {293,
	title = {Forward Invariance-Based Hybrid Control Using Uncertified Controllers (I)},
	booktitle = {Proceedings of the 62nd IEEE Conference on Decision and Control},
	year = {2023},
	month = {December},
	author = {P. K. Wintz and R.G. Sanfelice}
}
@conference {264,
	title = {Global Asymptotic Stability of Nonlinear Systems While Exploiting Properties of Uncertified Feedback Controllers Via Opportunistic Switching},
	booktitle = {Proceedings of the American Control Conference},
	year = {2022},
	month = {June},
	pages = {2663-2668},
	keywords = {hybrid systems},
	author = {P. K. Wintz and R. G. Sanfelice and J.P. Hespanha}
}
