Visible to the public Biblio

Filters: Author is Tabuada, Paulo  [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, 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.
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.
Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo.  2015.  Controller synthesis for mode-target games. IFAC-PapersOnLine. 48:343–350.
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.
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.
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.
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.
Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo.  2015.  MODE-TARGET GAMES: REACTIVE SYNTHESIS FOR CONTROL APPLICATIONS. arXiv preprint arXiv:1504.07702.
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.
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, 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.
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.
2018-05-25
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.
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.
2018-05-15
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.
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.