Paulo Tabuada

University of California, Los Angeles — United States

Computer Science · Physical Sciences

55h-index21.9kcitations350works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(114), Petri Nets in System Modeling(80), Advanced Control Systems Optimization(60), Smart Grid Security and Resilience(50), Stability and Control of Uncertain Systems(37)

Publications350 total

Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks
2025
Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks
2025· 1 cited
Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks
arXiv (Cornell University)·2025Open Access
Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks
arXiv (Cornell University)·2025Open Access
Towards a Performance-Driven Device-Edge-Cloud Relationship
2025· 1 cited
Event-Triggered Newton-Based Extremum Seeking Control
arXiv (Cornell University)·2025Open Access
Leaking Through the Physics: Covert Cyber-Physical Data Exfiltration Through Unobserved Physics
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering·2025
Nonlinear Observers with Tighter Online Error Bounds
2024
Safety of Linear Systems under Severe Sensor Attacks
2024· 3 cited
Heat Death of Generative Models in Closed-Loop Learning
2024· 2 cited
The Asymptotic Behavior of Attention in Transformers
arXiv (Cornell University)·2024· 1 citedOpen Access
Confidently Incorrect: Nonlinear Observers with Online Error Bounds
2024· 1 cited
Decentralized Optimization Resilient Against Local Data Poisoning Attacks
IEEE Transactions on Automatic Control·2024· 1 cited
A Framework for Time-Varying Optimization via Derivative Estimation
2024· 1 cited
Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI
arXiv (Cornell University)·2024Open Access
Correction to “Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control”
IEEE Transactions on Automatic Control·2024· 2 cited
Heat Death of Generative Models in Closed-Loop Learning
arXiv (Cornell University)·2024· 2 citedOpen Access
A Framework for Time-Varying Optimization via Derivative Estimation
arXiv (Cornell University)·2024Open Access
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications
IEEE Transactions on Automatic Control·2023· 12 cited
Taming AI Bots: Controllability of Neural States in Large Language Models
arXiv (Cornell University)·2023· 1 citedOpen Access
page 1 of 18Next →

Frequent Co-authors

Adolfo Anta(11), George J. Pappas(9), Manuel Mazo(7), Aaron D. Ames(6), Jessy W. Grizzle(5), Romain Postoyan(5), Dragan Nešić(5), Giordano Pola(5), Yasser Shoukry(5), W.P.M.H. Heemels(4), Suhas Diggavi(3), Xiangru Xu(3), Sanjit A. Seshia(3), Karl Henrik Johansson(2), Hamza Fawzi(2), Antoine Girard(2), Mani Srivastava(2), Miroslav Pajić(2), Insup Lee(2), Pedro U. Lima(2)