@inproceedings{52,
  author = {Yinan Li and Jun Liu},
  title = {Switching control of differential-algebraic equations with temporal logic specifications},
  year = {2015},
  journal = {Switching control of differential-algebraic equations with temporal logic specifications},
  doi = {http://dx.doi.org/10.1109/ACC.2015.7171017},
}