@proceedings {13934,
	title = {Switching control of differential-algebraic equations with temporal logic specifications},
	journal = {The 2015 American Control Conference (ACC2015)},
	year = {2015},
	pages = {1941-1946},
	publisher = {IEEE},
	address = {Chicago, IL, USA, 1-3 July, 2015},
	url = {https://doi.org/10.1109/ACC.2015.7171017},
	author = {Li, Yinan and Liu, Jun}
}
