@article {13927,
	title = {Invariance control synthesis for switched nonlinear systems: an interval analysis approach},
	journal = {IEEE Transactions on Automatic Control},
	volume = {63},
	year = {2018},
	pages = {2206-2211},
	url = {http://doi.org/10.1109/TAC.2017.2760106},
	author = {Li, Yinan and Liu, Jun}
}
@proceedings {13930,
	title = {Robustly complete reach-and-stay control synthesis for switched systems via interval analysis},
	journal = {The 2018 American Control Conference (ACC2018)},
	year = {2018},
	address = {Milwaukee, WI, USA, June 27-29, 2018},
	url = {http://arxiv.org/abs/1802.09082},
	author = {Li, Yinan and Liu, Jun}
}
@proceedings {13931,
	title = {ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems},
	journal = {The 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC {\textquoteright}18},
	year = {2018},
	pages = {130-135},
	address = {Porto, Portugal, 11-13 April, 2018},
	url = {http://doi.org/10.1145/3178126.3178153},
	author = {Li, Yinan and Liu, Jun}
}
@proceedings {13933,
	title = {Computing maximal invariant sets for switched nonlinear systems},
	journal = {2016 IEEE Conference on Computer Aided Control System Design (CACSD)},
	year = {2016},
	pages = {862-867},
	address = {Buenos Aires, Argentina, 19-22 September, 2016},
	url = {http://doi.org/10.1109/CACSD.2016.7602547},
	author = {Li, Yinan and Liu, Jun}
}
@proceedings {13932,
	title = {An interval analysis approach to invariance control synthesis for discrete-time switched systems},
	journal = {2016 IEEE 55th Conference on Decision and Control (CDC)},
	year = {2016},
	pages = {6388-6394},
	publisher = {IEEE},
	address = {Las Vegas, USA, 12-14 December, 2016},
	url = {http://doi.org/10.1109/CDC.2016.7799252},
	author = {Li, Yinan and Liu, Jun}
}
@article {13935,
	title = {Computing finite abstractions with robustness margins via local reachable set over-approximation},
	journal = {IFAC-PapersOnLine},
	volume = {48},
	year = {2015},
	pages = {1-6},
	url = {https://doi.org/10.1016/j.ifacol.2015.11.144},
	author = {Li, Yinan and Liu, Jun}
}
@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}
}
