Visible to the public Biblio

Filters: Author is Balkan, Ayca  [Clear All Filters]
2018-05-27
Nilsson, Petter, Hussien, Omar, Chen, Yuxiao, Balkan, Ayca, Rungger, Matthias, Ames, Aaron D, Grizzle, Jessy, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo.  2014.  Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :816–823.
Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo.  2015.  Controller synthesis for mode-target games. IFAC-PapersOnLine. 48:343–350.
Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo.  2015.  MODE-TARGET GAMES: REACTIVE SYNTHESIS FOR CONTROL APPLICATIONS. arXiv preprint arXiv:1504.07702.
Nilsson, Petter, Hussien, Omar, Balkan, Ayca, Chen, Yuxiao, Ames, Aaron D, Grizzle, Jessy W, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo.  2016.  Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.