Visible to the public Biblio

Filters: Author is Tabuada, Paulo  [Clear All Filters]
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, Grizzle, Jessy W, Tabuada, Paulo.  2014.  Control barrier function based quadratic programs with application to adaptive cruise control. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6271–6278.
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.
Dallal, Eric, Tabuada, Paulo.  2015.  On compositional symbolic controller synthesis inspired by small-gain theorems. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :6133–6138.
Dallal, Eric, Tabuada, Paulo.  2016.  Decomposing controller synthesis for safety specifications. Decision and Control (CDC), 2016 IEEE 55th Conference on. :5720–5725.
Dallal, Eric, Neider, Daniel, Tabuada, Paulo.  2016.  Synthesis of safety controllers robust to unmodeled intermittent disturbances. Decision and Control (CDC), 2016 IEEE 55th Conference on. :7425–7430.
Rungger, Matthias, Tabuada, Paulo.  2016.  A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.