PT
Paulo Tabuada
cs.SYeess.SYmath.OCcs.CRcs.LGcs.ITmath.ITmath.DScs.LOcs.AI
On Valency
published · living versionsW_3uc5cwen·v1 · currentpublished
Safety of layered control systems via control barrier morphisms
with Aaron D. Ames, Joe Moeller, Massimiliano de Sa
1 version
Preprints & journals
83 papers in the corpus · 2007–2026Deep learning from a control vantage point2610.14385v1 · 'Alvaro Rodr'iguez Abella, Joao Pedro Silvestre, Bahman Gharesifard et al.2026 · 0 citationsIEEE Control Systems, vol. 46, no. 5, pp. 40-60, Oct. 2026
The Attention Within: Consensus Dynamics in Selective State Space Models2609.17997v1 · Joao Pedro Silvestre, 'Alvaro Rodr'iguez Abella, Paulo Tabuada2026 · 0 citationsarXiv
PESTO: Formally Correct Registration of LiDAR Point Clouds with Limited Overlap2609.18082v1 · Valen Yamamoto, Matteo Marchi, Paulo Tabuada2026 · 0 citationsarXiv
A Recursive CBF Framework for Safety under State Uncertainty2609.18268v1 · Rahal Nanayakkara, Aaron D. Ames, Paulo Tabuada2026 · 0 citationsarXiv
Preventing Model Collapse: A Fisher-Rao Perspective on the Dynamics of Training with Synthetic Data2609.18878v1 · Matteo Marchi, Joao Pedro Silvestre, Bahman Gharesifard et al.2026 · 0 citationsarXiv
Predicting Viral Evolution from a Single Early Measurement Using the Target Cell Limited Model2609.17862v1 · Rahal Nanayakkara, Paulo Tabuada2026 · 0 citationsarXiv
A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties2603.26999v2 · Xiao Tan, Rahal Nanayakkara, Paulo Tabuada et al.2026 · 0 citationsIEEE Control Systems Letters. 2026 Jun 24
Event-Triggered Newton Extremum Seeking for Multivariable Optimization2601.14416v1 · Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic et al.2026 · 0 citationsarXiv
Safe Navigation under State Uncertainty: Online Adaptation for Robust Control Barrier Functions2508.19159v2 · Ersin Das, Rahal Nanayakkara, Xiao Tan et al.2025 · 3 citationsarXiv
Safety Under State Uncertainty: Robustifying Control Barrier Functions2508.17226v2 · Rahal Nanayakkara, Aaron D. Ames, Paulo Tabuada2025 · 0 citationsarXiv
Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks2505.06842v1 · Xiao Tan, Pio Ong, Paulo Tabuada et al.2025 · 1 citationarXiv
Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks2505.06845v1 · Xiao Tan, Junior Sundar, Renzo Bruzzone et al.2025 · 3 citationsarXiv
Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks2502.20718v1 · Xiao Tan, Pio Ong, Paulo Tabuada et al.2025 · 3 citationsarXiv
Categorical Lyapunov Theory I: Stability of Flows2502.15276v2 · Aaron D. Ames, Joe Moeller, Paulo Tabuada2025 · 0 citationsarXiv
Event-Triggered Newton-Based Extremum Seeking Control2502.00930v1 · Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic et al.2025 · 0 citationsarXiv
The Asymptotic Behavior of Attention in Transformers2412.02682v2 · 'Alvaro Rodr'iguez Abella, Joao Pedro Silvestre, Paulo Tabuada2024 · 1 citationarXiv
Safety of Linear Systems under Severe Sensor Attacks2409.08413v1 · Xiao Tan, Pio Ong, Paulo Tabuada et al.2024 · 7 citationsarXiv
Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI2405.14061v1 · Tian Yu Liu, Stefano Soatto, Matteo Marchi et al.2024 · 0 citationsarXiv
Heat Death of Generative Models in Closed-Loop Learning2404.02325v2 · Matteo Marchi, Stefano Soatto, Pratik Chaudhari et al.2024 · 6 citationsarXiv
A Framework for Time-Varying Optimization via Derivative Estimation2403.19088v1 · Matteo Marchi, Jonathan Bunton, Joao Pedro Silvestre et al.2024 · 4 citationsarXiv
Taming AI Bots: Controllability of Neural States in Large Language Models2305.18449v1 · Stefano Soatto, Paulo Tabuada, Pratik Chaudhari et al.2023 · 1 citationarXiv
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices2210.07531v1 · Matthew Chan, Nathaniel Snyder, Marcus Lucas et al.2022 · 1 citationarXiv
Learning to control from expert demonstrations2203.05012v2 · Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile et al.2022 · 0 citationsarXiv
Dirty derivatives for output feedback stabilization2202.01941v1 · Matteo Marchi, Lucas Fraile, Paulo Tabuada2022 · 1 citationarXiv
Learned Uncertainty Calibration for Visual Inertial Localization2110.02136v1 · Stephanie Tsuei, Stefano Soatto, Paulo Tabuada et al.2021 · 1 citationarXiv
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems2109.12378v2 · Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay et al.2021 · 1 citationarXiv
Decentralized Secure State-Tracking in Multi-Agent Systems2109.08264v1 · Yanwen Mao, Paulo Tabuada2021 · 16 citationsarXiv
Controlled invariant sets: implicit closed-form representations and applications2107.08566v2 · Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay et al.2021 · 20 citationsarXiv
Sampled-Data Stabilization with Control Lyapunov Functions via Quadratically Constrained Quadratic Programs2103.03937v1 · Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue et al.2021 · 6 citationsarXiv
Being correct is not enough: efficient verification using robust linear temporal logic2102.11991v2 · Tzanis Anevlavis, Matthew Philippe, Daniel Neider et al.2021 · 22 citationsACM Transactions on Computational Logic, Volume 23, Issue 2, April 2022, Article No.: 8, pp 1-39
Joint Continuous and Discrete Model Selection via Submodularity2102.09029v3 · Jonathan Bunton, Paulo Tabuada2021 · 1 citationarXiv
On the Computational Complexity of the Secure State-Reconstruction Problem2101.01827v2 · Yanwen Mao, Aritra Mitra, Shreyas Sundaram et al.2021 · 30 citationsarXiv
From LTL to rLTL monitoring: improved monitorability through robust semantics.36590854 · Mascle, Corto, Neider, Daniel, Schwenger, Maximilian et al.2024 · 3 citationsFormal methods in system design. 2021;59(1-3):170-204
Universal Approximation Power of Deep Residual Neural Networks via Nonlinear Control Theory2007.06007v4 · Paulo Tabuada, Bahman Gharesifard2020 · 19 citationsICLR 2021, TAC 2023
Distortion based Light-weight Security for Cyber-Physical Systems2006.15998v1 · Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas Diggavi et al.2020 · 7 citationsTransactions in Automatic Control 2020
Privacy Against Adversarial Classification in Cyber-Physical Systems2006.07063v1 · Carlos Murguia, Paulo Tabuada2020 · 0 citationsarXiv
Data-driven Stabilization of SISO Feedback Linearizable Systems2003.14240v3 · Lucas Fraile, Matteo Marchi, Paulo Tabuada2020 · 23 citationsarXiv
Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria2003.07819v4 · Matheus F. Reis, A. Pedro Aguiar, Paulo Tabuada2020 · 111 citationsarXiv
Rapid Top-Down Synthesis of Large-Scale IoT Networks2002.04244v2 · Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof et al.2020 · 2 citationsarXiv
A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation1909.01959v1 · Paulo Tabuada, Lucas Fraile2019 · 0 citationsarXiv
Symmetries and isomorphisms for privacy in control over the cloud1906.07460v1 · Alimzhan Sultangazin, Paulo Tabuada2019 · 45 citationsarXiv
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design1904.01869v1 · Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas Diggavi et al.2019 · 0 citationsarXiv
Control Barrier Functions: Theory and Applications1903.11199v1 · Aaron D. Ames, Samuel Coogan, Magnus Egerstedt et al.2019 · 2,025 citationsarXiv
Non-local Linearization of Nonlinear Differential Equations via Polyflows1902.04507v1 · R. M. Jungers, P. Tabuada2019 · 19 citationsarXiv
Distorting an Adversary's View in Cyber-Physical Systems1809.04580v1 · Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas Diggavi et al.2018 · 6 citationsarXiv
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption1809.02267v2 · Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry et al.2018 · 21 citationsarXiv
Data Driven Stability Analysis of Black-box Switched Linear Systems1803.03687v2 · Joris Kenanian, Ayca Balkan, Raphael M. Jungers et al.2018 · 60 citationsarXiv
Computing controlled invariant sets for hybrid systems with applications to model-predictive control1802.04522v2 · Benoit Legat, Paulo Tabuada, Raphael M. Jungers2018 · 20 citationsarXiv
Supervisory Control of Discrete-event Systems under Attacks1701.00881v2 · Masashi Wakaiki, Paulo Tabuada, Joao P. Hespanha2017 · 125 citationsarXiv
Robustness of Control Barrier Functions for Safety Critical Control1612.01554v1 · Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle et al.2016 · 590 citationsIFAC Conference on Analysis and Design of Hybrid Systems, Atlanta, GA, USA, page 54-61, 2015
Career total: 376 works. 83 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.