@article {3654,
	title = {Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions},
	journal = {Journal of Discrete Event Dynamic Systems: Theory and Applications},
	volume = {13},
	year = {2003},
	pages = {203--243},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Koutsoukos_X_0_0_2003_Safety_and.pdf},
	author = {Koutsoukos, Xenofon and Antsaklis, Panos}
}
