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 
A
Alanwar, Amr, Shoukry, Yasser, Chakraborty, Supriyo, Martin, Paul, Tabuada, Paulo, Srivastava, Mani B.  2017.  PrOLoc: resilient localization with private observers using partial homomorphic encryption.. IPSN. :41–52.
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, 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.
Ames, Aaron D, Xu, Xiangru, Grizzle, Jessy W, Tabuada, Paulo.  2016.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Transactions on Automatic Control.
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.
Ames, Aaron D, Xu, Xiangru, Grizzle, Jessy W, Tabuada, Paulo.  2017.  Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control. 62:3861–3876.
B
Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo.  2015.  MODE-TARGET GAMES: REACTIVE SYNTHESIS FOR CONTROL APPLICATIONS. arXiv preprint arXiv:1504.07702.
Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo.  2015.  Controller synthesis for mode-target games. IFAC-PapersOnLine. 48:343–350.
D
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.
M
Mehra, Aakar, Ma, Wen-Loong, Berg, Forrest, Tabuada, Paulo, Grizzle, Jessy W, Ames, Aaron D.  2015.  Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars. American Control Conference (ACC), 2015. :1411–1418.
N
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.
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.
P
Postoyan, Romain, Tabuada, Paulo, Nesic, Dragan, Anta, Adolfo.  2015.  A framework for the event-triggered stabilization of nonlinear systems. IEEE Transactions on Automatic Control. 60:982–996.
R
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.
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.
S
Shoukry, Yasser, Tabuada, Paulo, Tsuei, Stephanie, Milam, Mark B, Grizzle, Jessy W, Ames, Aaron D.  2017.  Closed-form controlled invariant sets for pedestrian avoidance. American Control Conference (ACC), 2017. :1622–1628.
X
Xu, Xiangru, Tabuada, Paulo, Grizzle, Jessy W, Ames, Aaron D.  2015.  Robustness of Control Barrier Functions for Safety Critical Control. IFAC-PapersOnLine. 48:54–61.
Xu, Xiangru, Grizzle, Jessy W, Tabuada, Paulo, Ames, Aaron D.  2016.  Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. arXiv preprint arXiv:1609.06807.