A predictive algorithm for attitude stabilization and spin control of small satellites. - Paulo Tabuada; P. Alves; P. Tavares; Pedro U. Lima (ECC, 1999)

Feasible formations of multi-agent systems. - Paulo Tabuada; George J. Pappas; Pedro U. Lima (ACC, 2001)

Abstractions of Hamiltonian control systems. - Paulo Tabuada; George J. Pappas (CDC, 2001)

Compositional abstractions of hybrid control systems. - Paulo Tabuada; George J. Pappas; Pedro U. Lima (CDC, 2001)

Cyclic directed formations of multi-agent systems. - Paulo Tabuada; George J. Pappas; Pedro U. Lima (ECC, 2001)

Hybrid abstractions: A search and rescue case study. - Paulo Tabuada; George J. Pappas; Pedro U. Lima (ECC, 2001)

Hybrid Abstractions that Preserve Timed Languages. - Paulo Tabuada; George J. Pappas (HSCC, 2001)

Discrete synchronization of hybrid systems. - Paulo Tabuada; George J. Pappas (CDC, 2002)

From nonlinear to Hamiltonian via feedback. - Paulo Tabuada; George J. Pappas (CDC, 2002)

Bisimilar control affine systems. - Paulo Tabuada; George J. Pappas (CDC, 2002)

Composing Abstractions of Hybrid Systems. - Paulo Tabuada; George J. Pappas; Pedro U. Lima (HSCC, 2002)

Bisimulation Relations for Dynamical and Control Systems. - Esfandiar Haghverdi; Paulo Tabuada; George J. Pappas (CTCS, 2002)

Finite bisimulations of controllable linear systems. - Paulo Tabuada; George J. Pappas (CDC, 2003)

From discrete specifications to hybrid control. - Paulo Tabuada; George J. Pappas (CDC, 2003)

Hierarchical trajectory generation for a class of nonlinear systems. - Paulo Tabuada; George J. Pappas (CDC, 2003)

Model Checking LTL over Controllable Linear Systems Is Decidable. - Paulo Tabuada; George J. Pappas (HSCC, 2003)

Open Maps, Alternating Simulations and Control Synthesis. - Paulo Tabuada (CONCUR, 2004)

Symbolic sub-systems and symbolic control of linear systems. - Paulo Tabuada (CDC/ECC, 2005)

On the factorization of trajectory lifting maps. - Paulo Tabuada (CDC/ECC, 2005)

Sensor/Actuator Abstractions for Symbolic Embedded Control Design. - Paulo Tabuada (HSCC, 2005)

Hierarchical trajectory refinement for a class of nonlinear systems. - Paulo Tabuada; George J. Pappas (Autom., 2005)

Quotients of Fully Nonlinear Control Systems. - Paulo Tabuada; George J. Pappas (SIAM J. Control. Optim., 2005)

Bisimulation relations for dynamical, control, and hybrid systems. - Esfandiar Haghverdi; Paulo Tabuada; George J. Pappas (Theor. Comput. Sci., 2005)

Motion feasibility of multi-agent formations. - Paulo Tabuada; George J. Pappas; Pedro U. Lima (IEEE Trans. Robotics, 2005)

Approximate Reduction of Dynamical Systems. - Paulo Tabuada; Aaron D. Ames; Agung Julius; George J. Pappas (CDC, 2006)

Preliminary results on state-trigered scheduling of stabilizing control tasks. - Paulo Tabuada; Xiaofeng Wang (CDC, 2006)

On the Stability of Zeno Equilibria. - Aaron D. Ames; Paulo Tabuada; Shankar Sastry 001 (HSCC, 2006)

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

Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. - Paulo Tabuada; George J. Pappas (Autom., 2006)

Local factorization of trajectory lifting morphisms for single-input affine control systems. - Paulo Tabuada (Syst. Control. Lett., 2006)

Symbolic control of linear systems based on symbolic subsystems. - Paulo Tabuada (IEEE Trans. Autom. Control., 2006)

Linear Time Logic Control of Discrete-Time Linear Systems. - Paulo Tabuada; George J. Pappas (IEEE Trans. Autom. Control., 2006)

Symbolic models for nonlinear control systems using approximate bisimulation. - Giordano Pola; Antoine Girard; Paulo Tabuada (CDC, 2007)

Symbolic models for linear control systems with disturbances. - Giordano Pola; Paulo Tabuada (CDC, 2007)

On Simulations and Bisimulations of General Flow Systems. - Jennifer M. Davoren; Paulo Tabuada (HSCC, 2007)

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. - Paulo Tabuada (HSCC, 2007)

Symbolic models for control systems. - Paulo Tabuada (Acta Informatica, 2007)

Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks. - Paulo Tabuada (IEEE Trans. Autom. Control., 2007)

Self-triggered stabilization of homogeneous control systems. - Adolfo Anta; Paulo Tabuada (ACC, 2008)

Space-time scaling laws for self-triggered control. - Adolfo Anta Martinez; Paulo Tabuada (CDC, 2008)

On event-triggered and self-triggered control over sensor/actuator networks. - Manuel Mazo Jr. 002; Paulo Tabuada (CDC, 2008)

Symbolic models for nonlinear control systems affected by disturbances. - Giordano Pola; Paulo Tabuada (CDC, 2008)

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. - Antoine Girard; Giordano Pola; Paulo Tabuada (HSCC, 2008)

Approximately bisimilar symbolic models for nonlinear control systems. - Giordano Pola; Antoine Girard; Paulo Tabuada (Autom., 2008)

Controller synthesis for bisimulation equivalence. - Paulo Tabuada (Syst. Control. Lett., 2008)

Approximate reduction of dynamic systems. - Paulo Tabuada; Aaron D. Ames; A. Agung Julius; George J. Pappas (Syst. Control. Lett., 2008)

An Approximate Simulation Approach to Symbolic Control. - Paulo Tabuada (IEEE Trans. Autom. Control., 2008)

Verification and Control of Hybrid Systems - A Symbolic Approach. - Paulo Tabuada (Springer, 2009)

Isochronous manifolds in self-triggered control. - Adolfo Anta Martinez; Paulo Tabuada (CDC, 2009)

Input-to-state stability of self-triggered control systems. - Manuel Mazo Jr. 002; Paulo Tabuada (CDC, 2009)

A symbolic model approach to the digital control of nonlinear time-delay systems. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto; Paulo Tabuada (CDC, 2009)

On self-triggered control for linear systems: Guarantees and complexity. - Manuel Mazo Jr. 002; Adolfo Anta; Paulo Tabuada (ECC, 2009)

On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN. - Adolfo Anta Martinez; Paulo Tabuada (RTSS, 2009)

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations. - Giordano Pola; Paulo Tabuada (SIAM J. Control. Optim., 2009)

Approximate time-optimal control via approximate alternating simulations. - Manuel Mazo Jr. 002; Paulo Tabuada (ACC, 2010)

Symbolic models for unstable nonlinear control systems. - Majid Zamani 001; Giordano Pola; Paulo Tabuada (ACC, 2010)

PESSOA: A Tool for Embedded Controller Synthesis. - Manuel Mazo Jr. 002; Anna Davitian; Paulo Tabuada (CAV, 2010)

On the minimum attention and anytime attention problems for nonlinear systems. - Adolfo Anta Martinez; Paulo Tabuada (CDC, 2010)

Towards backstepping design for incremental stability. - Majid Zamani 001; Paulo Tabuada (CDC, 2010)

Automatic verification of control system implementations. - Adolfo Anta Martinez; Rupak Majumdar; Indranil Saha 001; Paulo Tabuada (EMSOFT, 2010)

Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. - Soheil Samii; Petru Eles; Zebo Peng; Paulo Tabuada; Anton Cervin (RTSS, 2010)

An ISS self-triggered implementation of linear controllers. - Manuel Mazo Jr. 002; Adolfo Anta Martinez; Paulo Tabuada (Autom., 2010)

Safety-Guarantee Controller Synthesis for Cyber-Physical Systems - Pritam Roy; Paulo Tabuada; Rupak Majumdar (CoRR, 2010)

Symbolic models for nonlinear time-delay systems using approximate bisimulations. - Giordano Pola; Pierdomenico Pepe; Maria Domenica Di Benedetto; Paulo Tabuada (Syst. Control. Lett., 2010)

To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems. - Adolfo Anta Martinez; Paulo Tabuada (IEEE Trans. Autom. Control., 2010)

Secure state-estimation for dynamical systems under active adversaries. - Hamza Fawzi; Paulo Tabuada; Suhas N. Diggavi (Allerton, 2011)

On the minimum attention control problem for linear systems: A linear programming approach. - M. C. F. Donkers; Paulo Tabuada; W. P. M. H. Heemels (CDC/ECC, 2011)

A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems. - Romain Postoyan; Adolfo Anta Martinez; Dragan Nesic; Paulo Tabuada (CDC/ECC, 2011)

Event-triggered and self-triggered stabilization of distributed networked control systems. - Romain Postoyan; Paulo Tabuada; Dragan Nesic; Adolfo Anta Martinez (CDC/ECC, 2011)

Self-triggered control over wireless sensor and actuator networks. - José Araujo; Adolfo Anta Martinez; Manuel Mazo Jr. 002; João Faria; Aitor Hernandez; Paulo Tabuada; Karl Henrik Johansson (DCOSS, 2011)

Robust discrete synthesis against unspecified disturbances. - Rupak Majumdar; Elaine Render; Paulo Tabuada (HSCC, 2011)

Pessoa 2.0: a controller synthesis tool for cyber-physical systems. - Pritam Roy; Paulo Tabuada; Rupak Majumdar (HSCC, 2011)

On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach - M. C. F. Donkers; Paulo Tabuada; W. P. M. H. Heemels (CoRR, 2011)

A theory of robust software synthesis - Rupak Majumdar; Elaine Render; Paulo Tabuada (CoRR, 2011)

Symbolic approximate time-optimal control. - Manuel Mazo Jr. 002; Paulo Tabuada (Syst. Control. Lett., 2011)

Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks. - Manuel Mazo Jr. 002; Paulo Tabuada (IEEE Trans. Autom. Control., 2011)

Backstepping Design for Incremental Stability. - Majid Zamani 001; Paulo Tabuada (IEEE Trans. Autom. Control., 2011)

Dynamic programming formulation of periodic event-triggered control: Performance Guarantees and co-design. - Duarte Antunes; W. P. M. H. Heemels; Paulo Tabuada (CDC, 2012)

Kron reduction of power networks with lossy and dynamic transmission lines. - Sina Y. Caliskan; Paulo Tabuada (CDC, 2012)

Security for control systems under sensor and actuator attacks. - Hamza Fawzi; Paulo Tabuada; Suhas N. Diggavi (CDC, 2012)

An introduction to event-triggered and self-triggered control. - W. P. M. H. Heemels; Karl Henrik Johansson; Paulo Tabuada (CDC, 2012)

Scaling up controller synthesis for linear systems and safety specifications. - Matthias Rungger; Manuel Mazo Jr. 002; Paulo Tabuada (CDC, 2012)

Input-output robustness for discrete systems. - Paulo Tabuada; Ayca Balkan; Sina Y. Caliskan; Yasser Shoukry; Rupak Majumdar (EMSOFT, 2012)

Kron Reduction of Generalized Electrical Networks - Sina Y. Caliskan; Paulo Tabuada (CoRR, 2012)

Exploiting Isochrony in Self-Triggered Control. - Adolfo Anta Martinez; Paulo Tabuada (IEEE Trans. Autom. Control., 2012)

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. - Majid Zamani 001; Giordano Pola; Manuel Mazo Jr. 002; Paulo Tabuada (IEEE Trans. Autom. Control., 2012)

Towards a compositional analysis of multi-machine power systems transient stability. - Sina Y. Caliskan; Paulo Tabuada (CDC, 2013)

Periodic event-triggered control for nonlinear systems. - Romain Postoyan; Adolfo Anta Martinez; W. P. M. H. Heemels; Paulo Tabuada; Dragan Nesic (CDC, 2013)

A symbolic approach to the design of robust cyber-physical systems. - Matthias Rungger; Paulo Tabuada (CDC, 2013)

Non-invasive Spoofing Attacks for Anti-lock Braking Systems. - Yasser Shoukry; Paul D. Martin 001; Paulo Tabuada; Mani B. Srivastava (CHES, 2013)

Towards synthesis of platform-aware attack-resilient control systems: extended abstract. - Miroslav Pajic; Nicola Bezzo; James Weimer; Rajeev Alur; Rahul Mangharam; Nathan Michael; George J. Pappas; Oleg Sokolsky; Paulo Tabuada; Stephanie Weirich; Insup Lee 001 (HiCoNS, 2013)

Minimax control for cyber-physical systems under network packet scheduling attacks. - Yasser Shoukry; José Araujo; Paulo Tabuada; Mani B. Srivastava; Karl Henrik Johansson (HiCoNS, 2013)

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. - Matthias Rungger; Manuel Mazo Jr. 002; Paulo Tabuada (HSCC, 2013)

Synthesis of platform-aware attack-resilient vehicular systems. - Miroslav Pajic; Nathan Michael; Nicola Bezzo; James Weimer; Oleg Sokolsky; George J. Pappas; Paulo Tabuada; Insup Lee 001 (ICCPS, 2013)

Compositional Transient Stability Analysis of Multi-Machine Power Networks. - Sina Y. Caliskan; Paulo Tabuada (CoRR, 2013)

A theory of robust omega-regular software synthesis. - Rupak Majumdar; Elaine Render; Paulo Tabuada (ACM Trans. Embed. Comput. Syst., 2013)

Control barrier function based quadratic programs with application to adaptive cruise control. - Aaron D. Ames; Jessy W. Grizzle; Paulo Tabuada (CDC, 2014)

Secure state estimation and control using multiple (insecure) observers. - Shaunak Mishra; Nikhil Karamchandani; Paulo Tabuada; Suhas N. Diggavi (CDC, 2014)

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. - Petter Nilsson; Omar Hussien; Yuxiao Chen 001; Ayca Balkan; Matthias Rungger; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (CDC, 2014)

Discounting the past in robust finite-state systems. - Matthias Rungger; Paulo Tabuada (CDC, 2014)

Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks. - Yasser Shoukry; Paulo Tabuada (CDC, 2014)

Abstracting and refining robustness for cyber-physical systems. - Matthias Rungger; Paulo Tabuada (HSCC, 2014)

Robustness of attack-resilient state estimators. - Miroslav Pajic; James Weimer; Nicola Bezzo; Paulo Tabuada; Oleg Sokolsky; Insup Lee 001; George J. Pappas (ICCPS, 2014)

Towards Kron reduction of generalized electrical networks. - Sina Yamac Caliskan; Paulo Tabuada (Autom., 2014)

Self-triggered linear quadratic control. - Tom Gommans; Duarte Antunes; Tijs Donkers; Paulo Tabuada; Maurice Heemels (Autom., 2014)

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. - Jonathan A. DeCastro; Rüdiger Ehlers; Matthias Rungger; Ayca Balkan; Paulo Tabuada; Hadas Kress-Gazit (CoRR, 2014)

Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto Puggelli; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CoRR, 2014)

Minimum attention control for linear systems - A linear programming approach. - M. C. F. Donkers; Paulo Tabuada; W. P. M. H. Heemels (Discret. Event Dyn. Syst., 2014)

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks. - Hamza Fawzi; Paulo Tabuada; Suhas N. Diggavi (IEEE Trans. Autom. Control., 2014)

Guest Editorial Special Issue on Control of Cyber-Physical Systems. - Karl Henrik Johansson; George J. Pappas; Paulo Tabuada; Claire J. Tomlin (IEEE Trans. Autom. Control., 2014)

Towards Robustness for Cyber-Physical Systems. - Paulo Tabuada; Sina Yamac Caliskan; Matthias Rungger; Rupak Majumdar (IEEE Trans. Autom. Control., 2014)

Compositional Transient Stability Analysis of Multimachine Power Networks. - Sina Yamac Caliskan; Paulo Tabuada (IEEE Trans. Control. Netw. Syst., 2014)

System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems. - José Araujo; Manuel Mazo Jr. 002; Adolfo Anta Martinez; Paulo Tabuada; Karl Henrik Johansson (IEEE Trans. Ind. Informatics, 2014)

Controller Synthesis for Mode-Target Games. - Ayca Balkan; Moshe Y. Vardi; Paulo Tabuada (ADHS, 2015)

Robustness of Control Barrier Functions for Safety Critical Control. - Xiangru Xu; Paulo Tabuada; Jessy W. Grizzle; Aaron D. Ames (ADHS, 2015)

Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars. - Aakar Mehra; Wen-Loong Ma; Forrest Berg; Paulo Tabuada; Jessy W. Grizzle; Aaron D. Ames (ACC, 2015)

Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. - Yasser Shoukry; Alberto Puggelli; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (ACC, 2015)

Uses and abuses of the swing equation model. - Sina Y. Caliskan; Paulo Tabuada (CDC, 2015)

On compositional symbolic controller synthesis inspired by small-gain theorems. - Eric Dallal; Paulo Tabuada (CDC, 2015)

Attack-resilient state estimation in the presence of noise. - Miroslav Pajic; Paulo Tabuada; Insup Lee 001; George J. Pappas (CDC, 2015)

Comparing asynchronous l-complete approximations and quotient based abstractions. - Anne-Kathrin Schmuck; Paulo Tabuada; Jörg Raisch (CDC, 2015)

Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. - Yasser Shoukry; Pierluigi Nuzzo 002; Nicola Bezzo; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CDC, 2015)

First steps toward formal controller synthesis for bipedal robots. - Aaron D. Ames; Paulo Tabuada; Bastian Schürmann; Wen-Loong Ma; Shishir Kolathaya; Matthias Rungger; Jessy W. Grizzle (HSCC, 2015)

Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. - Shaunak Mishra; Yasser Shoukry; Nikhil Karamchandani; Suhas N. Diggavi; Paulo Tabuada (ISIT, 2015)

A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. - Yasser Shoukry; Pierluigi Nuzzo 002; Nicola Bezzo; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CoRR, 2015)

A Framework for the Event-Triggered Stabilization of Nonlinear Systems. - Romain Postoyan; Paulo Tabuada; Dragan Nesic; Adolfo Anta Martinez (IEEE Trans. Autom. Control., 2015)

Event-Triggered and Self-Triggered Control. - W. P. M. H. Heemels; Karl Henrik Johansson; Paulo Tabuada (Encyclopedia of Systems and Control, 2015)

Secure system identification. - Mehrdad Showkatbakhsh; Paulo Tabuada; Suhas N. Diggavi (Allerton, 2016)

Synthesis of safety controllers robust to unmodeled intermittent disturbances. - Eric Dallal; Daniel Neider; Paulo Tabuada (CDC, 2016)

Decomposing controller synthesis for safety specifications. - Eric Dallal; Paulo Tabuada (CDC, 2016)

Privacy-aware quadratic optimization using partially homomorphic encryption. - Yasser Shoukry; Konstantinos Gatsis; Amr Al-Anwar 001; George J. Pappas; Sanjit A. Seshia; Mani B. Srivastava; Paulo Tabuada (CDC, 2016)

Scalable lazy SMT-based motion planning. - Yasser Shoukry; Pierluigi Nuzzo 002; Indranil Saha 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2016)

System identification in the presence of adversarial outputs. - Mehrdad Showkatbakhsh; Paulo Tabuada; Suhas N. Diggavi (CDC, 2016)

Robust Linear Temporal Logic. - Paulo Tabuada; Daniel Neider (CSL, 2016)

Self-triggered controllers and hard real-time guarantees. - Amir Aminifar; Paulo Tabuada; Petru Eles; Zebo Peng (DATE, 2016)

Underminer: a framework for automatically identifying non-converging behaviors in black box system models. - Ayca Balkan; Paulo Tabuada; Jyotirmoy V. Deshmukh; Xiaoqing Jin; James Kapinski (EMSOFT, 2016)

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. - Yasser Shoukry; Michelle Chong; Masashi Wakaiki; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; João Pedro Hespanha; Paulo Tabuada (ICCPS, 2016)

Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems. - Aaron D. Ames; Xiangru Xu; Jessy W. Grizzle; Paulo Tabuada (CoRR, 2016)

A Notion of Robustness for Cyber-Physical Systems. - Matthias Rungger; Paulo Tabuada (IEEE Trans. Autom. Control., 2016)

Event-Triggered State Observers for Sparse Sensor Noise/Attacks. - Yasser Shoukry; Paulo Tabuada (IEEE Trans. Autom. Control., 2016)

Correct-by-Construction Adaptive Cruise Control: Two Approaches. - Petter Nilsson; Omar Hussien; Ayca Balkan; Yuxiao Chen 001; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (IEEE Trans. Control. Syst. Technol., 2016)

Closed-form controlled invariant sets for pedestrian avoidance. - Yasser Shoukry; Paulo Tabuada; Stephanie Tsuei; Mark B. Milam; Jessy W. Grizzle; Aaron D. Ames (ACC, 2017)

Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds. - Xiangru Xu; Thomas Waters; Daniel Pickem; Paul Glotfelter; Magnus Egerstedt; Paulo Tabuada; Jessy W. Grizzle; Aaron D. Ames (CCTA, 2017)

Improving sparsity in time and space via self-triggered sparse optimal controllers. - MirSaleh Bahavarnia; Paulo Tabuada; Christoforos Somarakis; Nader Motee (CDC, 2017)

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. - Yasser Shoukry; Pierluigi Nuzzo 002; Ayca Balkan; Indranil Saha 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2017)

An SMT-based approach to secure state estimation under sensor and actuator attacks. - Mehrdad Showkatbakhsh; Yasser Shoukry; Robert H. Chen; Suhas N. Diggavi; Paulo Tabuada (CDC, 2017)

Data-driven control for feedback linearizable single-input systems. - Paulo Tabuada; Wen-Loong Ma; Jessy W. Grizzle; Aaron D. Ames (CDC, 2017)

SMC: Satisfiability Modulo Convex Optimization. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (HSCC, 2017)

PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. - Amr Al-Anwar 001; Yasser Shoukry; Supriyo Chakraborty; Bharathan Balaji; Paul Martin 008; Paulo Tabuada; Mani B. Srivastava (IPSN, 2017)

PrOLoc: resilient localization with private observers using partial homomorphic encryption. - Amr Al-Anwar 001; Yasser Shoukry; Supriyo Chakraborty; Paul Martin 008; Paulo Tabuada; Mani B. Srivastava (IPSN, 2017)

Abstracting Partially Feedback Linearizable Systems Compositionally. - Omar Hussien; Aaron D. Ames; Paulo Tabuada (IEEE Control. Syst. Lett., 2017)

Guest editorial: special issue on formal methods in control. - Necmiye Ozay; Paulo Tabuada (Discret. Event Dyn. Syst., 2017)

Control Barrier Function Based Quadratic Programs for Safety Critical Systems. - Aaron D. Ames; Xiangru Xu; Jessy W. Grizzle; Paulo Tabuada (IEEE Trans. Autom. Control., 2017)

Computing Robust Controlled Invariant Sets of Linear Systems. - Matthias Rungger; Paulo Tabuada (IEEE Trans. Autom. Control., 2017)

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto Puggelli; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (IEEE Trans. Autom. Control., 2017)

Correction to "Compositional Transient Stability Analysis of Multimachine Power Networks". - Sina Yamac Caliskan; Paulo Tabuada (IEEE Trans. Control. Netw. Syst., 2017)

Secure State Estimation Against Sensor Attacks in the Presence of Noise. - Shaunak Mishra; Yasser Shoukry; Nikhil Karamchandani; Suhas N. Diggavi; Paulo Tabuada (IEEE Trans. Control. Netw. Syst., 2017)

Computing controlled invariant sets for hybrid systems with applications to model-predictive control. - Benoît Legat; Paulo Tabuada; Raphaël M. Jungers (ADHS, 2018)

Distorting an Adversary's View in Cyber-Physical Systems. - Gaurav Kumar Agarwal; Mohammed Karmoose; Suhas N. Diggavi; Christina Fragouli; Paulo Tabuada (CDC, 2018)

Verifying rLTL formulas: now faster than ever before! - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (CDC, 2018)

Deciding Stability of a Switched System Without Identifying It. - Ayca Balkan; Raphaël M. Jungers; Joris Kenanian; Paulo Tabuada (CDC, 2018)

Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. - Omar Hussien; Paulo Tabuada (CDC, 2018)

Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud. - Alimzhan Sultangazin; Paulo Tabuada (CDC, 2018)

Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud. - Alimzhan Sultangazin; Suhas N. Diggavi; Paulo Tabuada (ICCCN, 2018)

Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. - Tarek F. Abdelzaher; Nora Ayanian; Tamer Basar; Suhas N. Diggavi; Jana Diesner; Deepak Ganesan; Ramesh Govindan; Susmit Jha; Tancrède Lepoint; Benjamin M. Marlin; Klara Nahrstedt; David M. Nicol; et al. (ICDCS, 2018)

Periodic event-triggered control of nonlinear systems using overapproximation techniques. - Dominicus P. Borgers; Romain Postoyan; Adolfo Anta Martinez; Paulo Tabuada; Dragan Nesic; W. P. M. H. Heemels (Autom., 2018)

Toward an Internet of Battlefield Things: A Resilience Perspective. - Tarek F. Abdelzaher; Nora Ayanian; Tamer Basar; Suhas N. Diggavi; Jana Diesner; Deepak Ganesan; Ramesh Govindan; Susmit Jha; Tancrède Lepoint; Benjamin M. Marlin; Klara Nahrstedt; David M. Nicol; et al. (Computer, 2018)

SMC: Satisfiability Modulo Convex Programming. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (Proc. IEEE, 2018)

Mode-Target Games: Reactive Synthesis for Control Applications. - Ayca Balkan; Moshe Y. Vardi; Paulo Tabuada (IEEE Trans. Autom. Control., 2018)

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. - Xiangru Xu; Jessy W. Grizzle; Paulo Tabuada; Aaron D. Ames (IEEE Trans Autom. Sci. Eng., 2018)

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models. - Ayca Balkan; Paulo Tabuada; Jyotirmoy V. Deshmukh; Xiaoqing Jin; James Kapinski (ACM Trans. Embed. Comput. Syst., 2018)

Non-local Linearization of Nonlinear Differential Equations via Polyflows. - Raphaël M. Jungers; Paulo Tabuada (ACC, 2019)

Computing controlled invariant sets in two moves. - Tzanis Anevlavis; Paulo Tabuada (CDC, 2019)

When is the Secure State-Reconstruction Problem Hard? - Yanwen Mao; Aritra Mitra; Shreyas Sundaram; Paulo Tabuada (CDC, 2019)

Plausible deniability as a notion of privacy. - Nima Monshizadeh; Paulo Tabuada (CDC, 2019)

Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge. - Alimzhan Sultangazin; Paulo Tabuada (CDC, 2019)

Data-driven control for SISO feedback linearizable systems with unknown control gain. - Paulo Tabuada; Lucas Fraile (CDC, 2019)

Control Barrier Functions: Theory and Applications. - Aaron D. Ames; Samuel Coogan 001; Magnus Egerstedt; Gennaro Notomista; Koushil Sreenath; Paulo Tabuada (ECC, 2019)

Evrostos: the rLTL verifier. - Tzanis Anevlavis; Daniel Neider; Matthew Philippe; Paulo Tabuada (HSCC, 2019)

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. - Stephen A. Rees; Tamás Kecskés; Patrik Meijer; Taylor T. Johnson; Katie Dey; Paulo Tabuada; Marcus Lucas (ICCPS, 2019)

Data driven stability analysis of black-box switched linear systems. - Joris Kenanian; Ayca Balkan; Raphaël M. Jungers; Paulo Tabuada (Autom., 2019)

Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design. - Mehrdad Showkatbakhsh; Yasser Shoukry; Suhas N. Diggavi; Paulo Tabuada (CoRR, 2019)

A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation. - Paulo Tabuada; Lucas Fraile (CoRR, 2019)

Supervisory Control of Discrete-Event Systems Under Attacks. - Masashi Wakaiki; Paulo Tabuada; João P. Hespanha 001 (Dyn. Games Appl., 2019)

To beam or not to beam? Beamforming with submodularity-inspired group sparsity. - Tzanis Anevlavis; Jonathan Bunton; Anjaly Parayil; Jemin George; Paulo Tabuada (CDC, 2020)

Why not both? Exact continuous and discrete optimization with submodularity. - Jonathan Bunton; Paulo Tabuada (CDC, 2020)

Privacy Against Adversarial Classification in Cyber-Physical Systems. - Carlos Murguia; Paulo Tabuada (CDC, 2020)

A coding approach to localization using landmarks. - Juan Carlo Rebanal; Yahya H. Ezzeldin; Christina Fragouli; Paulo Tabuada (GLOBECOM, 2020)

A simple hierarchy for computing controlled invariant sets. - Tzanis Anevlavis; Paulo Tabuada (HSCC, 2020)

From LTL to rLTL monitoring: improved monitorability through robust semantics. - Corto Mascle; Daniel Neider; Maximilian Schwenger; Paulo Tabuada; Alexander Weinert; Martin Zimmermann 002 (HSCC, 2020)

Rapid Top-Down Synthesis of Large-Scale IoT Networks. - Pradipta Ghosh; Jonathan Bunton; Dimitrios Pylorof; Marcos Augusto M. Vieira; Kevin Chan 001; Ramesh Govindan; Gaurav S. Sukhatme; Paulo Tabuada; Gunjan Verma (ICCCN, 2020)

Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles. - Pradipta Ghosh; Paulo Tabuada; Ramesh Govindan; Gaurav S. Sukhatme (IROS, 2020)

Preface for the SYNT. - Roderick Bloem; Paulo Tabuada (Acta Informatica, 2020)

Securing state reconstruction under sensor and actuator attacks: Theory and design. - Mehrdad Showkatbakhsh; Yasser Shoukry; Suhas N. Diggavi; Paulo Tabuada (Autom., 2020)

Data-driven Stabilization of SISO Feedback Linearizable Systems. - Paulo Tabuada; Lucas Fraile (CoRR, 2020)

Distortion based Light-weight Security for Cyber-Physical Systems. - Gaurav Kumar Agarwal; Mohammed Karmoose; Suhas N. Diggavi; Christina Fragouli; Paulo Tabuada (CoRR, 2020)

Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory. - Paulo Tabuada; Bahman Gharesifard (CoRR, 2020)

An enhanced hierarchy for (robust) controlled invariance. - Tzanis Anevlavis; Zexiang Liu; Necmiye Ozay; Paulo Tabuada (ACC, 2021)

Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. - Zexiang Liu; Tzanis Anevlavis; Necmiye Ozay; Paulo Tabuada (CDC, 2021)

Decentralized Resilient State-Tracking. - Yanwen Mao; Paulo Tabuada (CDC, 2021)

Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations *. - Alimzhan Sultangazin; Lucas Fraile; Paulo Tabuada (CDC, 2021)

Universal approximation power of deep residual neural networks via nonlinear control theory. - Paulo Tabuada; Bahman Gharesifard (ICLR, 2021)

Learned Uncertainty Calibration for Visual Inertial Localization. - Stephanie Tsuei; Stefano Soatto; Paulo Tabuada; Mark B. Milam (ICRA, 2021)

Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. - Luigi Pannocchi; Tzanis Anevlavis; Paulo Tabuada (IROS, 2021)

Training deep residual networks for uniform approximation guarantees. - Matteo Marchi; Bahman Gharesifard; Paulo Tabuada (L4DC, 2021)

Split to win: near-optimal sensor network synthesis via path-greedy subproblems. - Jonathan Bunton; Tzanis Anevlavis; Gunjan Verma; Christina Fragouli; Paulo Tabuada (MILCOM, 2021)

Decentralized Secure State-Tracking in Multi-Agent Systems. - Yanwen Mao; Paulo Tabuada (CoRR, 2021)

Secure State-Reconstruction Over Networks Subject to Attacks. - Yanwen Mao; Suhas N. Diggavi; Christina Fragouli; Paulo Tabuada (IEEE Control. Syst. Lett., 2021)

Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria. - Matheus F. Reis; A. Pedro Aguiar; Paulo Tabuada (IEEE Control. Syst. Lett., 2021)

Distortion-Based Lightweight Security for Cyber-Physical Systems. - Gaurav Kumar Agarwal; Mohammed Karmoose; Suhas N. Diggavi; Christina Fragouli; Paulo Tabuada (IEEE Trans. Autom. Control., 2021)

Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. - Andreea B. Alexandru; Konstantinos Gatsis; Yasser Shoukry; Sanjit A. Seshia; Paulo Tabuada; George J. Pappas (IEEE Trans. Autom. Control., 2021)

Symmetries and Isomorphisms for Privacy in Control Over the Cloud. - Alimzhan Sultangazin; Paulo Tabuada (IEEE Trans. Autom. Control., 2021)

Give the problem a lift: solving quadratic programs with combinatorial costs. - Jonathan Bunton; Paulo Tabuada (CDC, 2022)

Decentralized Learning Robust to Data Poisoning Attacks. - Yanwen Mao; Deepesh Data; Suhas N. Diggavi; Paulo Tabuada (CDC, 2022)

LiDAR Point Cloud Registration with Formal Guarantees. - Matteo Marchi; Jonathan Bunton; Bahman Gharesifard; Paulo Tabuada (CDC, 2022)

Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations. - Alimzhan Sultangazin; Luigi Pannocchi; Lucas Fraile; Paulo Tabuada (ICRA, 2022)

On the computational complexity of the secure state-reconstruction problem. - Yanwen Mao; Aritra Mitra; Shreyas Sundaram; Paulo Tabuada (Autom., 2022)

Dirty derivatives for output feedback stabilization. - Matteo Marchi; Lucas Fraile; Paulo Tabuada (CoRR, 2022)

Learning to control from expert demonstrations. - Alimzhan Sultangazin; Luigi Pannocchi; Lucas Fraile; Paulo Tabuada (CoRR, 2022)

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. - Matthew Chan; Nathaniel Snyder; Marcus Lucas; Luis Garcia 001; Oleg Sokolsky; James Weimer; Insup Lee 001; Paulo Tabuada; Saman A. Zonouz; Mani B. Srivastava (CoRR, 2022)

Safety and Stability Guarantees for Control Loops With Deep Learning Perception. - Matteo Marchi; Jonathan Bunton; Bahman Gharesifard; Paulo Tabuada (IEEE Control. Syst. Lett., 2022)

Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs. - Andrew J. Taylor; Victor D. Dorobantu; Yisong Yue; Paulo Tabuada; Aaron D. Ames (IEEE Control. Syst. Lett., 2022)

Joint Continuous and Discrete Model Selection via Submodularity. - Jonathan Bunton; Paulo Tabuada (J. Mach. Learn. Res., 2022)

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (ACM Trans. Comput. Log., 2022)

Taming AI Bots: Controllability of Neural States in Large Language Models. - Stefano Soatto; Paulo Tabuada; Pratik Chaudhari; Tian Yu Liu (CoRR, 2023)

Sharp Performance Bounds for PASTA. - Matteo Marchi; Jonathan Bunton; Yskandar Gas; Bahman Gharesifard; Paulo Tabuada (IEEE Control. Syst. Lett., 2023)

Synthesis of Large-Scale Instant IoT Networks. - Pradipta Ghosh; Jonathan Bunton; Dimitrios Pylorof; Marcos A. M. Vieira; Kevin Chan 001; Ramesh Govindan; Gaurav S. Sukhatme; Paulo Tabuada; Gunjan Verma (IEEE Trans. Mob. Comput., 2023)

Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control. - Paulo Tabuada; Bahman Gharesifard (IEEE Trans. Autom. Control., 2023)

Decentralized Secure State-Tracking in Multiagent Systems. - Yanwen Mao; Paulo Tabuada (IEEE Trans. Autom. Control., 2023)

Confidently Incorrect: Nonlinear Observers with Online Error Bounds. - Jonathan Bunton; Paulo Tabuada (ACC, 2024)

Heat Death of Generative Models in Closed-Loop Learning. - Matteo Marchi; Stefano Soatto; Pratik Chaudhari; Paulo Tabuada (CDC, 2024)

Nonlinear Observers with Tighter Online Error Bounds. - João Pedro Silvestre; Rahal Nanayakkara; Paulo Tabuada (CDC, 2024)

Safety of Linear Systems under Severe Sensor Attacks. - Xiao Tan; Pio Ong; Paulo Tabuada; Aaron D. Ames (CDC, 2024)

A Framework for Time-Varying Optimization via Derivative Estimation. - Matteo Marchi; Jonathan Bunton; João Pedro Silvestre; Paulo Tabuada (ECC, 2024)

Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI. - Tian Yu Liu; Stefano Soatto; Matteo Marchi; Pratik Chaudhari; Paulo Tabuada (CoRR, 2024)

The Asymptotic Behavior of Attention in Transformers. - Álvaro Rodríguez Abella; João Pedro Silvestre; Paulo Tabuada (CoRR, 2024)

Learning to Control Known Feedback Linearizable Systems From Demonstrations. - Alimzhan Sultangazin; Luigi Pannocchi; Lucas Fraile; Paulo Tabuada (IEEE Trans. Autom. Control., 2024)

Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. - Tzanis Anevlavis; Zexiang Liu; Necmiye Ozay; Paulo Tabuada (IEEE Trans. Autom. Control., 2024)

Correction to "Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control". - Paulo Tabuada; Bahman Gharesifard (IEEE Trans. Autom. Control., 2024)

Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks. - Xiao Tan; Pio Ong; Paulo Tabuada; Aaron D. Ames (ACC, 2025)

Consensus Is All You Get: The Role of Attention in Transformers. - Álvaro Rodríguez Abella; João Pedro Silvestre; Paulo Tabuada (ICML, 2025)

Observability of Latent States in Generative AI Models. - Tian Yu Liu; Stefano Soatto; Matteo Marchi; Pratik Chaudhari; Paulo Tabuada (NeuS, 2025)

Towards a Performance-Driven Device-Edge-Cloud Relationship. - Pragya Sharma; Brian Wang; Xiaomin Ouyang; Rahal Nanayakkara; Bharathan Balaji; Paulo Tabuada; Mani B. Srivastava (HotMobile, 2025)

Decentralized Optimization Resilient Against Local Data Poisoning Attacks. - Yanwen Mao; Deepesh Data; Suhas N. Diggavi; Paulo Tabuada (IEEE Trans. Autom. Control., 2025)

Event-Triggered Newton-Based Extremum Seeking Control. - Victor Hugo Pereira Rodrigues; Tiago Roux Oliveira; Miroslav Krstic; Paulo Tabuada (CoRR, 2025)

Categorical Lyapunov Theory I: Stability of Flows. - Aaron D. Ames; Joe Moeller; Paulo Tabuada (CoRR, 2025)

Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks. - Xiao Tan; Pio Ong; Paulo Tabuada; Aaron D. Ames (CoRR, 2025)

Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks. - Xiao Tan; Junior Sundar; Renzo Bruzzone; Pio Ong; Willian T. Lunardi; Martin Andreoni; Paulo Tabuada; Aaron D. Ames (CoRR, 2025)

Safety Under State Uncertainty: Robustifying Control Barrier Functions. - Rahal Nanayakkara; Aaron D. Ames; Paulo Tabuada (CoRR, 2025)

Safe Navigation under State Uncertainty: Online Adaptation for Robust Control Barrier Functions. - Ersin Das; Rahal Nanayakkara; Xiao Tan; Ryan M. Bena; Joel W. Burdick; Paulo Tabuada; Aaron D. Ames (CoRR, 2025)