Paulo Tabuada

According to our database1, Paulo Tabuada
  • authored at least 150 papers between 2001 and 2017.
  • has a "Dijkstra number"2 of four.

Awards

IEEE Fellow

IEEE Fellow 2017, "For contributions to cyber-physical systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Secure State Estimation Against Sensor Attacks in the Presence of Noise.
IEEE Trans. Control of Network Systems, 2017

Correction to "Compositional Transient Stability Analysis of Multimachine Power Networks".
IEEE Trans. Control of Network Systems, 2017

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
IEEE Trans. Automat. Contr., 2017

Computing Robust Controlled Invariant Sets of Linear Systems.
IEEE Trans. Automat. Contr., 2017

Control Barrier Function Based Quadratic Programs for Safety Critical Systems.
IEEE Trans. Automat. Contr., 2017

Guest editorial: special issue on formal methods in control.
Discrete Event Dynamic Systems, 2017

Abstracting Partially Feedback Linearizable Systems Compositionally.
IEEE Control Systems Letters, 2017

Supervisory Control of Discrete-event Systems under Attacks.
CoRR, 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

SMC: Satisfiability Modulo Convex Optimization.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Closed-form controlled invariant sets for pedestrian avoidance.
Proceedings of the 2017 American Control Conference, 2017

2016
Correct-by-Construction Adaptive Cruise Control: Two Approaches.
IEEE Trans. Contr. Sys. Techn., 2016

Event-Triggered State Observers for Sparse Sensor Noise/Attacks.
IEEE Trans. Automat. Contr., 2016

A Notion of Robustness for Cyber-Physical Systems.
IEEE Trans. Automat. Contr., 2016

Robustness of Control Barrier Functions for Safety Critical Control.
CoRR, 2016

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control.
CoRR, 2016

Computing Robust Controlled Invariant Sets of Linear Systems.
CoRR, 2016

Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems.
CoRR, 2016

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 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

Self-triggered controllers and hard real-time guarantees.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Robust Linear Temporal Logic.
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

System identification in the presence of adversarial outputs.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Scalable lazy SMT-based motion planning.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Privacy-aware quadratic optimization using partially homomorphic encryption.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Decomposing controller synthesis for safety specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Synthesis of safety controllers robust to unmodeled intermittent disturbances.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Secure system identification.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015
Event-Triggered and Self-Triggered Control.
Proceedings of the Encyclopedia of Systems and Control, 2015

A Framework for the Event-Triggered Stabilization of Nonlinear Systems.
IEEE Trans. Automat. Contr., 2015

Non-invasive Spoofing Attacks for Anti-lock Braking Systems.
IACR Cryptology ePrint Archive, 2015

Robust Linear Temporal Logic.
CoRR, 2015

A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks.
CoRR, 2015

Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions.
CoRR, 2015

Secure State Estimation against Sensor Attacks in the Presence of Noise.
CoRR, 2015

Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise.
CoRR, 2015

Controller Synthesis for Mode-Target Games.
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

First steps toward formal controller synthesis for bipedal robots.
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

Comparing asynchronous l-complete approximations and quotient based abstractions.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Attack-resilient state estimation in the presence of noise.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On compositional symbolic controller synthesis inspired by small-gain theorems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Uses and abuses of the swing equation model.
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

2014
System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems.
IEEE Trans. Industrial Informatics, 2014

Compositional Transient Stability Analysis of Multimachine Power Networks.
IEEE Trans. Control of Network Systems, 2014

Towards Robustness for Cyber-Physical Systems.
IEEE Trans. Automat. Contr., 2014

Guest Editorial Special Issue on Control of Cyber-Physical Systems.
IEEE Trans. Automat. Contr., 2014

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks.
IEEE Trans. Automat. Contr., 2014

Minimum attention control for linear systems - A linear programming approach.
Discrete Event Dynamic Systems, 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

Self-triggered linear quadratic control.
Automatica, 2014

Towards Kron reduction of generalized electrical networks.
Automatica, 2014

Robustness of attack-resilient state estimators.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Abstracting and refining robustness for cyber-physical systems.
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

Discounting the past in robust finite-state systems.
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

Secure state estimation and control using multiple (insecure) observers.
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
A theory of robust omega-regular software synthesis.
ACM Trans. Embedded Comput. Syst., 2013

Event-Triggered State Observers for Sparse Sensor Noise/Attacks.
CoRR, 2013

Abstracting and refining robustness for cyber-physical systems.
CoRR, 2013

Compositional Transient Stability Analysis of Multi-Machine Power Networks.
CoRR, 2013

Synthesis of platform-aware attack-resilient vehicular systems.
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

Minimax control for cyber-physical systems under network packet scheduling attacks.
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

Non-invasive Spoofing Attacks for Anti-lock Braking Systems.
Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2013, 2013

A symbolic approach to the design of robust cyber-physical systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Periodic event-triggered control for nonlinear systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Towards a compositional analysis of multi-machine power systems transient stability.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.
IEEE Trans. Automat. Contr., 2012

Exploiting Isochrony in Self-Triggered Control.
IEEE Trans. Automat. Contr., 2012

Kron Reduction of Generalized Electrical Networks
CoRR, 2012

Secure estimation and control for cyber-physical systems under adversarial attacks
CoRR, 2012

Input-output robustness for discrete systems.
Proceedings of the 12th International Conference on Embedded Software, 2012

Scaling up controller synthesis for linear systems and safety specifications.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An introduction to event-triggered and self-triggered control.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Security for control systems under sensor and actuator attacks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Kron reduction of power networks with lossy and dynamic transmission lines.
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
Backstepping Design for Incremental Stability.
IEEE Trans. Automat. Contr., 2011

Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks.
IEEE Trans. Automat. Contr., 2011

Symbolic approximate time-optimal control.
Systems & Control Letters, 2011

A theory of robust software synthesis
CoRR, 2011

On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach
CoRR, 2011

Pessoa 2.0: a controller synthesis tool for cyber-physical systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Robust discrete synthesis against unspecified disturbances.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Self-triggered control over wireless sensor and actuator networks.
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

Secure state-estimation for dynamical systems under active adversaries.
Proceedings of the 49th Annual Allerton Conference on Communication, 2011

2010
To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems.
IEEE Trans. Automat. Contr., 2010

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
IEEE Trans. Automat. Contr., 2010

Symbolic models for nonlinear time-delay systems using approximate bisimulations.
Systems & Control Letters, 2010

Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
CoRR, 2010

Symbolic Approximate Time-Optimal Control.
CoRR, 2010

Decentralized event-triggered control over wireless sensor/actuator networks.
CoRR, 2010

An ISS self-triggered implementation of linear controllers.
Automatica, 2010

Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Automatic verification of control system implementations.
Proceedings of the 10th International conference on Embedded software, 2010

Towards backstepping design for incremental stability.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On the minimum attention and anytime attention problems for nonlinear systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

PESSOA: A Tool for Embedded Controller Synthesis.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.
SIAM J. Control and Optimization, 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

A symbolic model approach to the digital control of nonlinear time-delay systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Input-to-state stability of self-triggered control systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Isochronous manifolds in self-triggered control.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Verification and Control of Hybrid Systems - A Symbolic Approach.
Springer, ISBN: 978-1-4419-0223-8, 2009

2008
An Approximate Simulation Approach to Symbolic Control.
IEEE Trans. Automat. Contr., 2008

Approximate reduction of dynamic systems.
Systems & Control Letters, 2008

Controller synthesis for bisimulation equivalence.
Systems & Control Letters, 2008

Approximately bisimilar symbolic models for nonlinear control systems.
Automatica, 2008

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Symbolic models for nonlinear control systems affected by disturbances.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

On event-triggered and self-triggered control over sensor/actuator networks.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Space-time scaling laws for self-triggered control.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks.
IEEE Trans. Automat. Contr., 2007

Symbolic models for control systems.
Acta Inf., 2007

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

On Simulations and Bisimulations of General Flow Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Symbolic models for linear control systems with disturbances.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Symbolic models for nonlinear control systems using approximate bisimulation.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Linear Time Logic Control of Discrete-Time Linear Systems.
IEEE Trans. Automat. Contr., 2006

Symbolic control of linear systems based on symbolic subsystems.
IEEE Trans. Automat. Contr., 2006

Local factorization of trajectory lifting morphisms for single-input affine control systems.
Systems & Control Letters, 2006

Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708].
Automatica, 2006

Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9].
Automatica, 2006

On the Stability of Zeno Equilibria.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005
Motion feasibility of multi-agent formations.
IEEE Trans. Robotics, 2005

Bisimulation relations for dynamical, control, and hybrid systems.
Theor. Comput. Sci., 2005

Quotients of Fully Nonlinear Control Systems.
SIAM J. Control and Optimization, 2005

Hierarchical trajectory refinement for a class of nonlinear systems.
Automatica, 2005

Sensor/Actuator Abstractions for Symbolic Embedded Control Design.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004
Bisimilar control affine systems.
Systems & Control Letters, 2004

Compositional Abstractions of Hybrid Control Systems.
Discrete Event Dynamic Systems, 2004

Open Maps, Alternating Simulations and Control Synthesis.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
From nonlinear to Hamiltonian via feedback.
IEEE Trans. Automat. Contr., 2003

Abstractions of Hamiltonian control systems.
Automatica, 2003

Model Checking LTL over Controllable Linear Systems Is Decidable.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2002
Bisimulation Relations for Dynamical and Control Systems.
Electr. Notes Theor. Comput. Sci., 2002

Composing Abstractions of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001
Hybrid Abstractions that Preserve Timed Languages.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001


  Loading...