Visible to the public Biblio

Filters: Author is Ozay, Necmiye  [Clear All Filters]
2018-05-27
Nilsson, Petter, Ozay, Necmiye.  2014.  Incremental synthesis of switching protocols via abstraction refinement. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6246–6253.
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.
Xu, Xiangru, Ozay, Necmiye, Gupta, Vijay.  2015.  Passivity degradation in discrete control implementations: An approximate bisimulation approach. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :6817–6822.
Smith, Stanley W, Nilsson, Petter, Ozay, Necmiye.  2016.  Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. Decision and Control (CDC), 2016 IEEE 55th Conference on. :5700–5707.
Nilsson, Petter, Ozay, Necmiye.  2016.  Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. :205–214.
Nilsson, Petter, Ozay, Necmiye.  2016.  Synthesis of separable controlled invariant sets for modular local control design. American Control Conference (ACC), 2016. :5656–5663.
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.