Paulo Tabuada
Orcid: 0000-0002-3417-0951Affiliations:
- University of California Los Angeles, CA, USA
According to our database1,
Paulo Tabuada
authored at least 241 papers
between 1999 and 2025.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2017, "For contributions to cyber-physical systems".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2025
IEEE Trans. Autom. Control., January, 2025
Proceedings of the 26th International Workshop on Mobile Computing Systems and Applications, 2025
2024
Correction to "Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control".
IEEE Trans. Autom. Control., July, 2024
IEEE Trans. Autom. Control., July, 2024
IEEE Trans. Autom. Control., January, 2024
Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI.
CoRR, 2024
Proceedings of the European Control Conference, 2024
Proceedings of the 63rd IEEE Conference on Decision and Control, 2024
Proceedings of the 63rd IEEE Conference on Decision and Control, 2024
Proceedings of the 63rd IEEE Conference on Decision and Control, 2024
Proceedings of the American Control Conference, 2024
2023
IEEE Trans. Autom. Control., July, 2023
Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control.
IEEE Trans. Autom. Control., May, 2023
CoRR, 2023
2022
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic.
ACM Trans. Comput. Log., 2022
J. Mach. Learn. Res., 2022
Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs.
IEEE Control. Syst. Lett., 2022
IEEE Control. Syst. Lett., 2022
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices.
CoRR, 2022
Autom., 2022
Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
2021
IEEE Trans. Autom. Control., 2021
IEEE Trans. Autom. Control., 2021
IEEE Trans. Autom. Control., 2021
Formal Methods Syst. Des., 2021
Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria.
IEEE Control. Syst. Lett., 2021
IEEE Control. Syst. Lett., 2021
Proceedings of the 2021 IEEE Military Communications Conference, 2021
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Universal approximation power of deep residual neural networks via nonlinear control theory.
Proceedings of the 9th International Conference on Learning Representations, 2021
Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations <sup>*</sup>.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 2021 American Control Conference, 2021
2020
CoRR, 2020
Autom., 2020
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Proceedings of the 29th International Conference on Computer Communications and Networks, 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the IEEE Global Communications Conference, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation.
CoRR, 2019
CoRR, 2019
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the 17th European Control Conference, 2019
Data-driven control for SISO feedback linearizable systems with unknown control gain.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.
ACM Trans. Embed. Comput. Syst., 2018
ACM Trans. Cyber Phys. Syst., 2018
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control.
IEEE Trans Autom. Sci. Eng., 2018
IEEE Trans. Autom. Control., 2018
Periodic event-triggered control of nonlinear systems using overapproximation techniques.
Autom., 2018
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018
Proceedings of the 27th International Conference on Computer Communication and Networks, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Computing controlled invariant sets for hybrid systems with applications to model-predictive control.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
IEEE Trans. Control. Netw. Syst., 2017
Correction to "Compositional Transient Stability Analysis of Multimachine Power Networks".
IEEE Trans. Control. Netw. Syst., 2017
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
IEEE Trans. Autom. Control., 2017
IEEE Trans. Autom. Control., 2017
IEEE Trans. Autom. Control., 2017
Discret. Event Dyn. Syst., 2017
IEEE Control. Syst. Lett., 2017
PrOLoc: resilient localization with private observers using partial homomorphic encryption.
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017
PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract.
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017
Proceedings of the 2017 American Control Conference, 2017
2016
IEEE Trans. Control. Syst. Technol., 2016
IEEE Trans. Autom. Control., 2016
Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems.
CoRR, 2016
Underminer: a framework for automatically identifying non-converging behaviors in black box system models.
Proceedings of the 2016 International Conference on Embedded Software, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 54th Annual Allerton Conference on Communication, 2016
2015
Proceedings of the Encyclopedia of Systems and Control, 2015
IEEE Trans. Autom. Control., 2015
IACR Cryptol. ePrint Arch., 2015
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks.
CoRR, 2015
Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise.
Proceedings of the IEEE International Symposium on Information Theory, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving.
Proceedings of the American Control Conference, 2015
Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars.
Proceedings of the American Control Conference, 2015
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems.
IEEE Trans. Ind. Informatics, 2014
IEEE Trans. Control. Netw. Syst., 2014
IEEE Trans. Autom. Control., 2014
IEEE Trans. Autom. Control., 2014
Discret. Event Dyn. Syst., 2014
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
CoRR, 2014
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.
CoRR, 2014
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Control barrier function based quadratic programs with application to adaptive cruise control.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
2013
ACM Trans. Embed. Comput. Syst., 2013
CoRR, 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Towards synthesis of platform-aware attack-resilient control systems: extended abstract.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
IEEE Trans. Autom. Control., 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Dynamic programming formulation of periodic event-triggered control: Performance Guarantees and co-design.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
IEEE Trans. Autom. Control., 2011
On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach
CoRR, 2011
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Proceedings of the Distributed Computing in Sensor Systems, 2011
Event-triggered and self-triggered stabilization of distributed networked control systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
On the minimum attention control problem for linear systems: A linear programming approach.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the 49th Annual Allerton Conference on Communication, 2011
2010
IEEE Trans. Autom. Control., 2010
IEEE Trans. Autom. Control., 2010
Syst. Control. Lett., 2010
Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
Proceedings of the 10th International conference on Embedded software, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the American Control Conference, 2010
Proceedings of the American Control Conference, 2010
2009
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.
SIAM J. Control. Optim., 2009
On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the 10th European Control Conference, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Springer, ISBN: 978-1-4419-0223-8, 2009
2008
IEEE Trans. Autom. Control., 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the American Control Conference, 2008
2007
IEEE Trans. Autom. Control., 2007
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
2006
IEEE Trans. Autom. Control., 2006
IEEE Trans. Autom. Control., 2006
Local factorization of trajectory lifting morphisms for single-input affine control systems.
Syst. Control. Lett., 2006
Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708].
Autom., 2006
Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9].
Autom., 2006
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
2005
Theor. Comput. Sci., 2005
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
Discret. Event Dyn. Syst., 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2002
Proceedings of the Category Theory and Computer Science, 2002
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the 6th European Control Conference, 2001
Proceedings of the 6th European Control Conference, 2001
Proceedings of the American Control Conference, 2001
1999
A predictive algorithm for attitude stabilization and spin control of small satellites.
Proceedings of the 5th European Control Conference, 1999