Paulo Tabuada
Active 1999–2026
- 261
- Papers
- 23,556
- Citations
- 57
- h-index
- 149
- i10-index
Citations
Citation sources
Countries
Institutions
Fields
- Engineering52.6%
- Computer Science43.6%
- Physics and Astronomy0.9%
- Biochemistry, Genetics and Molecular Biology0.8%
- Decision Sciences0.5%
- Mathematics0.3%
- Other1.3%
Topics
- Stability and Control of Uncertain Systems9.5%
- Distributed Control Multi-Agent Systems6.8%
- Advanced Control Systems Optimization5.8%
- Formal Methods in Verification5.4%
- Neural Networks Stability and Synchronization5%
- Smart Grid Security and Resilience4.9%
- Other62.6%
Coauthors
- George J. Pappas35
- Aaron D. Ames25
- Yasser Shoukry25
- Suhas N. Diggavi20
- Adolfo Anta Martinez14
- Sanjit A. Seshia14
- Manuel Mazo Jr.13
- Jonathan Bunton12
- Ayca Balkan11
- Jessy W. Grizzle11
- Matteo Marchi11
- Matthias Rungger11
- Tzanis Anevlavis11
- Alberto L. Sangiovanni-Vincentelli10
- Giordano Pola10
- Pierluigi Nuzzo10
- Mani B. Srivastava9
- W. P. M. H. Heemels9
- Alimzhan Sultangazin8
- Bahman Gharesifard8
- Lucas Fraile8
- Rupak Majumdar8
- Dragan Nesic7
- João Pedro Silvestre7
All papers
- Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
Authors: Paulo Tabuada - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2007 cited by 4,586
- Control barrier function based quadratic programs with application to adaptive cruise control
Authors: Aaron D. Ames, Jessy W. Grizzle, Paulo Tabuada - IEEE Conference on Decision and Control, CDC 2014 cited by 932
- An introduction to event-triggered and self-triggered control
Authors: W. P. M. H. Heemels, Karl Henrik Johansson, Paulo Tabuada - IEEE 51st IEEE Conference on Decision and Control (CDC) 2012 cited by 1,897
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
Authors: Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2014 cited by 1,276
- A Framework for the Event-Triggered Stabilization of Nonlinear Systems
Authors: Romain Postoyan, Paulo Tabuada, Dragan Nesic, Adolfo Anta Martinez - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2014 cited by 765
- To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems
Authors: Adolfo Anta Martinez, Paulo Tabuada - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2010 cited by 868
- Control Barrier Functions: Theory and Applications
Authors: Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada - 18th European Control Conference (ECC) 2019 cited by 117
- Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems
Authors: Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2016 cited by 2,119
- Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
Authors: Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, Aaron D. Ames - IEEE Transactions on Automation Science and Engineering, IEEE Trans Autom. Sci. Eng. 2017 cited by 200
- Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks
Authors: Manuel Mazo Jr., Paulo Tabuada - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2011 cited by 687
- Verification and Control of Hybrid Systems - A Symbolic Approach
Authors: Paulo Tabuada - DAGLIB 2009 cited by 635
- Non-invasive Spoofing Attacks for Anti-lock Braking Systems
Authors: Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava - Lecture notes in computer science, CHES 2013 cited by 246
- Supervisory Control of Discrete-Event Systems Under Attacks
Authors: Masashi Wakaiki, Paulo Tabuada, João P. Hespanha - Dynamic Games and Applications, Dyn. Games Appl. 2018 cited by 110
- An ISS self-triggered implementation of linear controllers
Authors: Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada - Automatica, Autom. 2010 cited by 424
- Taming AI Bots: Controllability of Neural States in Large Language Models
Authors: Stefano Soatto, Paulo Tabuada, Pratik Chaudhari, Tian Yu Liu - arXiv (Cornell University), CoRR 2023 cited by 21
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
Authors: Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2011 cited by 298
- Approximately bisimilar symbolic models for nonlinear control systems
Authors: Giordano Pola, Antoine Girard, Paulo Tabuada - Automatica, Autom. 2008 cited by 310
- Correct-by-Construction Adaptive Cruise Control: Two Approaches
Authors: Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada - IEEE Transactions on Control Systems Technology, IEEE Trans. Control. Syst. Technol. 2015 cited by 159
- Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control
Authors: Paulo Tabuada, Bahman Gharesifard - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2022 cited by 29
- Heat Death of Generative Models in Closed-Loop Learning
Authors: Matteo Marchi, Stefano Soatto, Pratik Chaudhari, Paulo Tabuada - IEEE 63rd Conference on Decision and Control (CDC) 2024 cited by 16
- Computing Robust Controlled Invariant Sets of Linear Systems
Authors: Matthias Rungger, Paulo Tabuada - IEEE Transactions on Automatic Control, IEEE Trans. Autom. Control. 2017 cited by 90
- Secure State Estimation Against Sensor Attacks in the Presence of Noise
Authors: Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada - IEEE Transactions on Control of Network Systems, IEEE Trans. Control. Netw. Syst. 2016 cited by 147
- Privacy-aware quadratic optimization using partially homomorphic encryption
Authors: Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada - IEEE 55th Conference on Decision and Control (CDC) 2016 cited by 105
- Periodic event-triggered control of nonlinear systems using overapproximation techniques
Authors: D.P. Borgers, Romain Postoyan, Adolfo Anta, Paulo Tabuada, Dragan Nešić, W.P.M.H. Heemels - Automatica, Autom. 2018 cited by 96
