@article {138,
	title = {Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems},
	journal = {IEEE Transactions on Automation Science and Engineering},
	volume = {13},
	year = {2016},
	pages = {479-490},
	doi = {http://dx.doi.org/10.1109/TASE.2016.2523341},
	author = {K. Zhang and J. Sprinkle and R. G. Sanfelice}
}
@article {125,
	title = {Computationally Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach},
	journal = {Autonomous Robots},
	volume = {39},
	year = {2015},
	month = {December},
	pages = {503-517},
	author = {K. Zhang and J. Sprinkle 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 {201,
	title = {Set-Based Predictive Control for Collision Detection and Evasion},
	booktitle = {Proceedings of the IEEE 15th International Conference on Automation Science and Engineering (CASE)},
	year = {2019},
	month = {August},
	pages = {541-546},
	author = {J. Crowley and Y. Zeleke and B. Altin and R. G. Sanfelice}
}
@conference {200,
	title = {Analyzing Action Games: A Hybrid Systems Approach},
	booktitle = {Proceedings of the Foundation of Digital Games Conference},
	number = {8},
	year = {2019},
	month = {August},
	pages = {1-11},
	author = {Y. Zeleke and J. Osborn and R. G. Sanfelice}
}
@conference {174,
	title = {Robust Hybrid Supervisory Control for a 3-DOF Spacecraft in Close-Proximity Operations},
	booktitle = {Networked \& Autonomous Air \& Space Systems},
	year = {2018},
	month = {06/2018},
	pages = {88-93},
	author = {G. Zucchini and B. P. Malladi and R. G. Sanfelice and E. Butcher}
}
@conference {173,
	title = {Hybrid Control for Autonomous Spacecraft Rendezvous Proximity Operations and Docking},
	booktitle = {IFAC Workshop on Networked \& Autonomous Air \& Space Systems (NAASS)},
	year = {2018},
	month = {June},
	pages = {94-99},
	author = {J. R. Crane and C. W. T. Roscoe and B. P. Malladi and G. Zucchini and E. Butcher and R. G. Sanfelice and I. Hussein}
}
@conference {157,
	title = {A Hybrid Predictive Control Algorithm for Tracking in a Single-Phase DC/AC Inverter},
	booktitle = {Proceedings of the IEEE Conference on Control Technology and Applications},
	series = {NULL},
	year = {2017},
	month = {August},
	pages = {904-909},
	author = {L. Torquati and R. G. Sanfelice and L. Zaccarian}
}
@conference {106,
	title = {A Hybrid Model Predictive Controller for Path Planning and Path Following},
	booktitle = {ACM/IEEE 6th International Conference on Cyber-Physical Systems (ICCPS)},
	year = {2015},
	pages = {139-148 },
	author = {K. Zhang and J. Sprinkle and R. G. Sanfelice}
}
