Paulo Tabuada

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 149

Top Venues

CoRR

CDC

IEEE Trans. Autom. Control.

HSCC

Publications

Matteo Marchi, Jonathan Bunton, João Pedro Silvestre, Paulo Tabuada
A Framework for Time-Varying Optimization via Derivative Estimation. ECC (2024)
Matteo Marchi, Stefano Soatto, Pratik Chaudhari, Paulo Tabuada
Heat Death of Generative Models in Closed-Loop Learning. CoRR (2024)
Paulo Tabuada, Bahman Gharesifard
Correction to "Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control". IEEE Trans. Autom. Control. 69 (7) (2024)
Matteo Marchi, Jonathan Bunton, João Pedro Silvestre, Paulo Tabuada
A Framework for Time-Varying Optimization via Derivative Estimation. CoRR (2024)
Tian Yu Liu, Stefano Soatto, Matteo Marchi, Pratik Chaudhari, Paulo Tabuada
Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI. CoRR (2024)
Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada
Learning to Control Known Feedback Linearizable Systems From Demonstrations. IEEE Trans. Autom. Control. 69 (1) (2024)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. IEEE Trans. Autom. Control. 69 (7) (2024)
Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos A. M. Vieira, Kevin Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma
Synthesis of Large-Scale Instant IoT Networks. IEEE Trans. Mob. Comput. 22 (3) (2023)
Yanwen Mao, Paulo Tabuada
Decentralized Secure State-Tracking in Multiagent Systems. IEEE Trans. Autom. Control. 68 (7) (2023)
Stefano Soatto, Paulo Tabuada, Pratik Chaudhari, Tian Yu Liu
Taming AI Bots: Controllability of Neural States in Large Language Models. CoRR (2023)
Paulo Tabuada, Bahman Gharesifard
Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control. IEEE Trans. Autom. Control. 68 (5) (2023)
Matteo Marchi, Jonathan Bunton, Yskandar Gas, Bahman Gharesifard, Paulo Tabuada
Sharp Performance Bounds for PASTA. IEEE Control. Syst. Lett. 7 (2023)
Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada
Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations. ICRA (2022)
Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, Paulo Tabuada
LiDAR Point Cloud Registration with Formal Guarantees. CDC (2022)
Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue, Paulo Tabuada, Aaron D. Ames
Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs. IEEE Control. Syst. Lett. 6 (2022)
Yanwen Mao, Deepesh Data, Suhas N. Diggavi, Paulo Tabuada
Decentralized Learning Robust to Data Poisoning Attacks. CDC (2022)
Matteo Marchi, Lucas Fraile, Paulo Tabuada
Dirty derivatives for output feedback stabilization. CoRR (2022)
Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada
Learning to control from expert demonstrations. CoRR (2022)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Trans. Comput. Log. 23 (2) (2022)
Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada
On the computational complexity of the secure state-reconstruction problem. Autom. 136 (2022)
Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, Paulo Tabuada
Safety and Stability Guarantees for Control Loops With Deep Learning Perception. IEEE Control. Syst. Lett. 6 (2022)
Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR (2022)
Jonathan Bunton, Paulo Tabuada
Give the problem a lift: solving quadratic programs with combinatorial costs. CDC (2022)
Jonathan Bunton, Paulo Tabuada
Joint Continuous and Discrete Model Selection via Submodularity. J. Mach. Learn. Res. 23 (2022)
Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada
On the Computational Complexity of the Secure State-Reconstruction Problem. CoRR (2021)
Paulo Tabuada, Bahman Gharesifard
Universal approximation power of deep residual neural networks via nonlinear control theory. ICLR (2021)
Alimzhan Sultangazin, Lucas Fraile, Paulo Tabuada
. CDC (2021)
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. 66 (5) (2021)
Alimzhan Sultangazin, Paulo Tabuada
Symmetries and Isomorphisms for Privacy in Control Over the Cloud. IEEE Trans. Autom. Control. 66 (2) (2021)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
Controlled invariant sets: implicit closed-form representations and applications. CoRR (2021)
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
An enhanced hierarchy for (robust) controlled invariance. ACC (2021)
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CoRR (2021)
Matteo Marchi, Bahman Gharesifard, Paulo Tabuada
Training deep residual networks for uniform approximation guarantees. L4DC (2021)
Yanwen Mao, Paulo Tabuada
Decentralized Secure State-Tracking in Multi-Agent Systems. CoRR (2021)
Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam
Learned Uncertainty Calibration for Visual Inertial Localization. CoRR (2021)
Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue, Paulo Tabuada, Aaron D. Ames
Sampled-Data Stabilization with Control Lyapunov Functions via Quadratically Constrained Quadratic Programs. CoRR (2021)
Jonathan Bunton, Paulo Tabuada
Joint Continuous and Discrete Model Selection via Submodularity. CoRR (2021)
Matheus F. Reis, A. Pedro Aguiar, Paulo Tabuada
Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria. IEEE Control. Syst. Lett. 5 (2) (2021)
Yanwen Mao, Paulo Tabuada
Decentralized Resilient State-Tracking. CDC (2021)
Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC (2021)
Luigi Pannocchi, Tzanis Anevlavis, Paulo Tabuada
Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. IROS (2021)
Yanwen Mao, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
Secure State-Reconstruction Over Networks Subject to Attacks. IEEE Control. Syst. Lett. 5 (1) (2021)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. 59 (1) (2021)
Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam
Learned Uncertainty Calibration for Visual Inertial Localization. ICRA (2021)
Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
Distortion-Based Lightweight Security for Cyber-Physical Systems. IEEE Trans. Autom. Control. 66 (4) (2021)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being correct is not enough: efficient verification using robust linear temporal logic. CoRR (2021)
Jonathan Bunton, Tzanis Anevlavis, Gunjan Verma, Christina Fragouli, Paulo Tabuada
Split to win: near-optimal sensor network synthesis via path-greedy subproblems. MILCOM (2021)
Pradipta Ghosh, Paulo Tabuada, Ramesh Govindan, Gaurav S. Sukhatme
Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles. IROS (2020)
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
Securing state reconstruction under sensor and actuator attacks: Theory and design. Autom. 116 (2020)
Paulo Tabuada, Bahman Gharesifard
Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory. CoRR (2020)
Tzanis Anevlavis, Jonathan Bunton, Anjaly Parayil, Jemin George, Paulo Tabuada
To beam or not to beam? Beamforming with submodularity-inspired group sparsity. CDC (2020)
Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Augusto M. Vieira, Kevin S. Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma
Rapid Top-Down Synthesis of Large-Scale IoT Networks. CoRR (2020)
Roderick Bloem, Paulo Tabuada
Preface for the SYNT. Acta Informatica 57 (1-2) (2020)
Paulo Tabuada, Lucas Fraile
Data-driven Stabilization of SISO Feedback Linearizable Systems. CoRR (2020)
Carlos Murguia, Paulo Tabuada
Privacy Against Adversarial Classification in Cyber-Physical Systems. CDC (2020)
Carlos Murguia, Paulo Tabuada
Privacy Against Adversarial Classification in Cyber-Physical Systems. CoRR (2020)
Tzanis Anevlavis, Paulo Tabuada
A simple hierarchy for computing controlled invariant sets. HSCC (2020)
Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Augusto M. Vieira, Kevin Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma
Rapid Top-Down Synthesis of Large-Scale IoT Networks. ICCCN (2020)
Juan Carlo Rebanal, Yahya H. Ezzeldin, Christina Fragouli, Paulo Tabuada
A coding approach to localization using landmarks. GLOBECOM (2020)
Matheus F. Reis, A. Pedro Aguiar, Paulo Tabuada
Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria. CoRR (2020)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC (2020)
Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
Distortion based Light-weight Security for Cyber-Physical Systems. CoRR (2020)
Jonathan Bunton, Paulo Tabuada
Why not both? Exact continuous and discrete optimization with submodularity. CDC (2020)
Paulo Tabuada, Lucas Fraile
Data-driven control for SISO feedback linearizable systems with unknown control gain. CDC (2019)
Joris Kenanian, Ayca Balkan, Raphaël M. Jungers, Paulo Tabuada
Data driven stability analysis of black-box switched linear systems. Autom. 109 (2019)
Nima Monshizadeh, Paulo Tabuada
Plausible deniability as a notion of privacy. CDC (2019)
Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada
Control Barrier Functions: Theory and Applications. CoRR (2019)
Alimzhan Sultangazin, Paulo Tabuada
Symmetries and isomorphisms for privacy in control over the cloud. CoRR (2019)
Alimzhan Sultangazin, Paulo Tabuada
Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge. CDC (2019)
Tzanis Anevlavis, Paulo Tabuada
Computing controlled invariant sets in two moves. CDC (2019)
Paulo Tabuada, Lucas Fraile
A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation. CoRR (2019)
Raphaël M. Jungers, Paulo Tabuada
Non-local Linearization of Nonlinear Differential Equations via Polyflows. ACC (2019)
Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada
Evrostos: the rLTL verifier. HSCC (2019)
Masashi Wakaiki, Paulo Tabuada, João P. Hespanha
Supervisory Control of Discrete-Event Systems Under Attacks. Dyn. Games Appl. 9 (4) (2019)
Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada
When is the Secure State-Reconstruction Problem Hard? CDC (2019)
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design. CoRR (2019)
Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. ICCPS (2019)
Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada
Control Barrier Functions: Theory and Applications. ECC (2019)
Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106 (9) (2018)
Dominicus P. Borgers, Romain Postoyan, Adolfo Anta Martinez, Paulo Tabuada, Dragan Nesic, W. P. M. H. Heemels
Periodic event-triggered control of nonlinear systems using overapproximation techniques. Autom. 94 (2018)
Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
Computing controlled invariant sets for hybrid systems with applications to model-predictive control. ADHS (2018)
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS (2018)
Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, Aaron D. Ames
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. IEEE Trans Autom. Sci. Eng. 15 (3) (2018)
Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
Mode-Target Games: Reactive Synthesis for Control Applications. IEEE Trans. Autom. Control. 63 (1) (2018)
Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
Distorting an Adversary's View in Cyber-Physical Systems. CoRR (2018)
Alimzhan Sultangazin, Paulo Tabuada
Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud. CDC (2018)
Alimzhan Sultangazin, Suhas N. Diggavi, Paulo Tabuada
Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud. ICCCN (2018)
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. 2 (1) (2018)
Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada
Deciding Stability of a Switched System Without Identifying It. CDC (2018)
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR (2018)
Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
Distorting an Adversary's View in Cyber-Physical Systems. CDC (2018)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Verifying rLTL formulas: now faster than ever before! CDC (2018)
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 51 (11) (2018)
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR (2018)
Omar Hussien, Paulo Tabuada
Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. CDC (2018)
Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Bharathan Balaji, Paul Martin, Paulo Tabuada, Mani B. Srivastava
PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. IPSN (2017)
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. 62 (10) (2017)
MirSaleh Bahavarnia, Paulo Tabuada, Christoforos Somarakis, Nader Motee
Improving sparsity in time and space via self-triggered sparse optimal controllers. CDC (2017)
Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada
Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Trans. Autom. Control. 62 (8) (2017)

Paulo Tabuada.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paulo Tabuada