pith. sign in

Paulo Tabuada

Identifiers

  • name variant Paulo Tabuada 0.60 · backfill

Papers (41)

  1. Symmetries and isomorphisms for privacy in control over the cloud math.OC · 2019 · author #2
  2. Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design math.OC · 2019 · author #4
  3. Control Barrier Functions: Theory and Applications cs.SY · 2019 · author #6
  4. Distorting an Adversary's View in Cyber-Physical Systems cs.IT · 2018 · author #5
  5. Data Driven Stability Analysis of Black-box Switched Linear Systems math.OC · 2018 · author #4
  6. Computing controlled invariant sets for hybrid systems with applications to model-predictive control math.OC · 2018 · author #2
  7. Supervisory Control of Discrete-event Systems under Attacks cs.SY · 2017 · author #2
  8. Robustness of Control Barrier Functions for Safety Critical Control math.OC · 2016 · author #2
  9. Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control math.OC · 2016 · author #3
  10. Control Barrier Function Based Quadratic Programs for Safety Critical Systems math.OC · 2016 · author #4
  11. Computing Robust Controlled Invariant Sets of Linear Systems math.OC · 2016 · author #2
  12. Robust Linear Temporal Logic cs.LO · 2015 · author #1
  13. Secure State Estimation against Sensor Attacks in the Presence of Noise math.OC · 2015 · author #5
  14. A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks math.OC · 2015 · author #6
  15. Mode-Target Games: Reactive Synthesis for Control Applications math.OC · 2015 · author #3
  16. Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise math.OC · 2015 · author #5
  17. Comparing Asynchronous $l$-Complete Approximations and Quotient Based Abstractions cs.SY · 2015 · author #2
  18. Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach math.OC · 2014 · author #6
  19. Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control cs.RO · 2014 · author #5
  20. A Notion of Robustness for Cyber-Physical Systems cs.SY · 2013 · author #2
  21. Compositional Transient Stability Analysis of Multi-Machine Power Networks cs.SY · 2013 · author #2
  22. Event-Triggered State Observers for Sparse Sensor Noise/Attacks math.OC · 2013 · author #2
  23. Kron Reduction of Generalized Electrical Networks cs.SY · 2012 · author #2
  24. Secure estimation and control for cyber-physical systems under adversarial attacks math.OC · 2012 · author #2
  25. Event-triggered and self-triggered stabilization of distributed networked control systems math.OC · 2011 · author #2
  26. A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems math.OC · 2011 · author #4
  27. A theory of robust software synthesis cs.SY · 2011 · author #3
  28. Safety-Guarantee Controller Synthesis for Cyber-Physical Systems cs.LO · 2010 · author #2
  29. Exploiting isochrony in self-triggered control math.OC · 2010 · author #2
  30. Backstepping design for incremental stability math.OC · 2010 · author #2
  31. Symbolic Approximate Time-Optimal Control math.OC · 2010 · author #2
  32. Decentralized event-triggered control over wireless sensor/actuator networks math.OC · 2010 · author #2
  33. Symbolic models for nonlinear control systems without stability assumptions math.OC · 2010 · author #4
  34. An ISS self-triggered implementation of linear controller math.OC · 2009 · author #3
  35. Symbolic models for nonlinear time-delay systems using approximate bisimulations math.DS · 2009 · author #4
  36. Approximately bisimilar symbolic models for incrementally stable switched systems math.OC · 2008 · author #3
  37. To sample or not to sample: Self-triggered control for nonlinear systems math.OC · 2008 · author #2
  38. Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations math.OC · 2007 · author #2
  39. Approximate reduction of dynamical systems math.OC · 2007 · author #1
  40. Controller synthesis for bisimulation equivalence math.OC · 2007 · author #1
  41. Approximately bisimilar symbolic models for nonlinear control systems math.OC · 2007 · author #3

Mentions

  • 1504.07702 #3 · backfill · confidence 0.70 Paulo Tabuada
  • 1504.05566 #5 · backfill · confidence 0.70 Paulo Tabuada
  • 1503.07139 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1412.4324 #6 · backfill · confidence 0.70 Paulo Tabuada
  • 1410.6375 #5 · backfill · confidence 0.70 Paulo Tabuada
  • 1310.5199 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1309.5422 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1309.3511 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1207.0563 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1205.5073 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1108.5505 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1108.5504 #4 · backfill · confidence 0.70 Paulo Tabuada
  • 1108.3540 #3 · backfill · confidence 0.70 Paulo Tabuada
  • 1010.5665 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1009.5208 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1005.4957 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1004.0763 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1004.0477 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 1002.0822 #4 · backfill · confidence 0.70 Paulo Tabuada
  • 0906.3588 #3 · backfill · confidence 0.70 Paulo Tabuada
  • 0903.0361 #4 · backfill · confidence 0.70 Paulo Tabuada
  • 0807.5022 #3 · backfill · confidence 0.70 Paulo Tabuada
  • 0806.0709 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 0707.4205 #2 · backfill · confidence 0.70 Paulo Tabuada
  • 0707.3804 #1 · backfill · confidence 0.70 Paulo Tabuada
  • 0706.0929 #1 · backfill · confidence 0.70 Paulo Tabuada
  • 0706.0246 #3 · backfill · confidence 0.70 Paulo Tabuada

Frequent Coauthors