Visible to the public Biblio

Filters: Author is Tabuada, Paulo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Alanwar, Amr, Shoukry, Yasser, Chakraborty, Supriyo, Balaji, Bharathan, Martin, Paul, Tabuada, Paulo, Srivastava, Mani.  2017.  PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks. :257–258.
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.
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.
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.
Dallal, Eric, Tabuada, Paulo.  2016.  Decomposing controller synthesis for safety specifications. Decision and Control (CDC), 2016 IEEE 55th Conference on. :5720–5725.
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.
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.
Rungger, Matthias, Tabuada, Paulo.  2016.  A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.