@inproceedings{55, author = {Fei Sun and Necmiye Ozay and Eric Wolff and Richard Murray}, title = {Efficient control synthesis for augmented finite transition systems with an application to switching protocols}, year = {2014}, journal = {Efficient control synthesis for augmented finite transition systems with an application to switching protocols}, doi = {http://dx.doi.org/10.1109/ACC.2014.6859428}, }