author-photo

Paulo Tabuada

University of California, Los Angeles
University of Notre Dame

320

Papers

13740

Citations

Citation Trend

Filter By

Papers (320) Sort By

Journal Conference Others

Safety and Stability Guarantees for Control Loops With Deep Learning Perception

2022 CSL | IEEE Control Systems Letters
Show All
- Source
- Cite
- Save
Citations (0)
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic

2022 ACM Transactions on Computational Logic
Show All
- Source
- Cite
- Save
Citations (0)
Learning to control from expert demonstrations.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
On the computational complexity of the secure state-reconstruction problem.

2022 Autom.
Show All
- Source
- Cite
- Save
Citations (0)
Dirty derivatives for output feedback stabilization.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs

2022 CSL | IEEE Control Systems Letters
Show All
- Source
- Cite
- Save
Citations (0)
Learned Uncertainty Calibration for Visual Inertial Localization.

2021 arXiv: Robotics
Show All
- Source
- Cite
- Save
Citations (0)
An enhanced hierarchy for (robust) controlled invariance

2021 ACC | Advances in Computing and Communications
Show All
- Source
- Cite
- Save
Citations (4)
Sampled-Data Stabilization with Control Lyapunov Functions via Quadratically Constrained Quadratic Programs.

2021
Show All
- Source
- Cite
- Save
Citations (0)
Universal approximation power of deep residual neural networks via nonlinear control theory

2021 ICLR | International Conference on Learning Representations
- Paulo Tabuada
- Bahman Gharesifard
Show All
- Source
- Cite
- Save
Citations (1)