Visible to the public Biblio

Filters: Author is Rungger, Matthias  [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.
Rungger, Matthias, Tabuada, Paulo.  2014.  Abstracting and refining robustness for cyber-physical systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. :223–232.
Ames, Aaron D, Tabuada, Paulo, Schürmann, Bastian, Ma, Wen-Loong, Kolathaya, Shishir, Rungger, Matthias, Grizzle, Jessy W.  2015.  First steps toward formal controller synthesis for bipedal robots. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. :209–218.
Rungger, Matthias, Tabuada, Paulo.  2016.  A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.
Rungger, Matthias, Tabuada, Paulo.  2017.  Computing robust controlled invariant sets of linear systems. IEEE Transactions on Automatic Control.
Ames, Aaron D, Tabuada, Paulo, Jones, Austin, Ma, Wen-Loong, Rungger, Matthias, Schürmann, Bastian, Kolathaya, Shishir, Grizzle, Jessy W.  2017.  First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis: Hybrid Systems.