Follow
Paulo Tabuada
Paulo Tabuada
Vijay K. Dhir Professor of Engineering, UCLA
Verified email at ee.ucla.edu - Homepage
Title
Cited by
Year
3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems 2012
F Bullo, J Cortes, JP Hespanha, P Tabuada
2012
A behavioral algorithm for state of charge estimation
A Balkan, M Gao, P Tabuada, L He
World Electric Vehicle Journal 5 (2), 412-417, 2012
42012
A coding approach to localization using landmarks
JC Rebanal, YH Ezzeldin, C Fragouli, P Tabuada
GLOBECOM 2020-2020 IEEE Global Communications Conference, 1-6, 2020
2020
A Coding Theoretic View of Secure State Reconstruction
S Diggavi, P Tabuada
Modeling and Design of Secure Internet of Things, 357-369, 2020
2020
A COMPOSITIONAL APPROACH TO TRANSIENT STABILITY OF MULTI-MACHINE POWER SYSTEMS
SY CALISKAN, P TABUADA
A framework for the event-triggered stabilization of nonlinear systems
R Postoyan, P Tabuada, D Nešić, A Anta
IEEE Transactions on Automatic Control 60 (4), 982-996, 2014
6942014
A Framework for Time-Varying Optimization via Derivative Estimation
M Marchi, J Bunton, JP Silvestre, P Tabuada
arXiv preprint arXiv:2403.19088, 2024
12024
A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation
P Tabuada, L Fraile
arXiv preprint arXiv:1909.01959, 2019
2019
A notion of robustness for cyber-physical systems
M Rungger, P Tabuada
IEEE Transactions on Automatic Control 61 (8), 2108-2123, 2015
762015
A predictive algorithm for attitude stabilization and spin control of small satellites
P Tabuada, P Alves, P Tavares, P Lima
1999 European Control Conference (ECC), 1830-1835, 1999
81999
A satisfiability modulo theory approach to secure state reconstruction in differentially flat systems under sensor attacks
Y Shoukry, P Nuzzo, N Bezzo, AL Sangiovanni-Vincentelli, SA Seshia, ...
arXiv preprint arXiv:1509.03262, 2015
32015
A simple hierarchy for computing controlled invariant sets
T Anevlavis, P Tabuada
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
102020
A symbolic approach to the design of robust cyber-physical systems
M Rungger, P Tabuada
52nd IEEE Conference on Decision and Control, 3932-3937, 2013
102013
A symbolic model approach to the digital control of nonlinear time-delay systems
G Pola, P Pepe, MD Di Benedetto, P Tabuada
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held …, 2009
42009
A theory of robust omega-regular software synthesis
R Majumdar, E Render, P Tabuada
ACM Transactions on Embedded Computing Systems (TECS) 13 (3), 1-27, 2013
182013
A theory of robust software synthesis
R Majumdar, E Render, P Tabuada
arXiv preprint arXiv:1108.3540, 2011
62011
A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems
R Postoyan, A Anta, D Nešić, P Tabuada
2011 50th IEEE conference on decision and control and European control …, 2011
1012011
Abstracting and refining robustness for cyber-physical systems
M Rungger, P Tabuada
Proceedings of the 17th international conference on Hybrid systems …, 2014
162014
Abstracting partially feedback linearizable systems compositionally
O Hussien, A Ames, P Tabuada
IEEE Control Systems Letters 1 (2), 227-232, 2017
302017
Abstractions of Hamiltonian control systems
P Tabuada, GJ Pappas
Automatica 39 (12), 2025-2033, 2003
342003
The system can't perform the operation now. Try again later.
Articles 1–20