Paulo Tabuada - RankMe

303 papers A* 5A 8B 7C 11Misc 4Journal 143Unranked 120

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Duality-Based Optimization Formulation of Safe Control Design with State Uncertainties. CoRR Xiao Tan, Rahal Nanayakkara, Paulo Tabuada, Aaron D. Ames
2026	J	`jnl`	Event-Triggered Newton Extremum Seeking for Multivariable Optimization. CoRR Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic, Paulo Tabuada
2026	J	`jnl`	Safe Navigation Under State Uncertainty: Online Adaptation for Robust Control Barrier Functions. IEEE Robotics Autom. Lett. Ersin Das, Rahal Nanayakkara, Xiao Tan, Ryan M. Bena, Joel W. Burdick, Paulo Tabuada, Aaron D. Ames
2025	—	`conf`	Boiling Frogs: Generative Models, Synthetic Data, and the Opinions of their Users. CDC Matteo Marchi, João Pedro Silvestre, Stefano Soatto, Pratik Chaudhari, Paulo Tabuada
2025	J	`jnl`	Categorical Lyapunov Theory I: Stability of Flows. CoRR Aaron D. Ames, Joe Moeller, Paulo Tabuada
2025	C	`conf`	Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks. ACC Xiao Tan, Pio Ong, Paulo Tabuada, Aaron D. Ames
2025	J	`jnl`	Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks. CoRR Xiao Tan, Pio Ong, Paulo Tabuada, Aaron D. Ames
2025	A*	`conf`	Consensus Is All You Get: The Role of Attention in Transformers. ICML Álvaro Rodríguez Abella, João Pedro Silvestre, Paulo Tabuada
2025	J	`jnl`	Decentralized Optimization Resilient Against Local Data Poisoning Attacks. IEEE Trans. Autom. Control. Yanwen Mao, Deepesh Data, Suhas N. Diggavi, Paulo Tabuada
2025	J	`jnl`	Event-Triggered Newton-Based Extremum Seeking Control. CoRR Victor Hugo Pereira Rodrigues, Tiago Roux Oliveira, Miroslav Krstic, Paulo Tabuada
2025	—	`conf`	Observability of Latent States in Generative AI Models. NeuS Tian Yu Liu, Stefano Soatto, Matteo Marchi, Pratik Chaudhari, Paulo Tabuada
2025	—	`conf`	Preventing Model Collapse when Training LLMs with Synthetic Data. CDC Bahman Gharesifard, Paulo Tabuada
2025	J	`jnl`	Safe Navigation under State Uncertainty: Online Adaptation for Robust Control Barrier Functions. CoRR Ersin Das, Rahal Nanayakkara, Xiao Tan, Ryan M. Bena, Joel W. Burdick, Paulo Tabuada, Aaron D. Ames
2025	J	`jnl`	Safety Under State Uncertainty: Robustifying Control Barrier Functions. CoRR Rahal Nanayakkara, Aaron D. Ames, Paulo Tabuada
2025	—	`conf`	Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks. CDC Xiao Tan, Pio Ong, Paulo Tabuada, Aaron D. Ames
2025	J	`jnl`	Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks. CoRR Xiao Tan, Pio Ong, Paulo Tabuada, Aaron D. Ames
2025	A	`conf`	Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks. IROS Xiao Tan, Junior Sundar, Renzo Bruzzone, Pio Ong, Willian T. Lunardi, Martin Andreoni, Paulo Tabuada, Aaron D. Ames
2025	J	`jnl`	Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks. CoRR Xiao Tan, Junior Sundar, Renzo Bruzzone, Pio Ong, Willian T. Lunardi, Martin Andreoni, Paulo Tabuada, Aaron D. Ames
2025	—	`conf`	Stopping LLMs from Going Rogue: A Control Barrier Approach to Text Generation. CDC João Pedro Silvestre, Álvaro Rodríguez Abella, Paulo Tabuada
2025	—	`conf`	Time-varying Distributed Optimization with Derivative Estimation. CDC João Pedro Silvestre, Matteo Marchi, Paulo Tabuada
2025	Misc	`conf`	Towards a Performance-Driven Device-Edge-Cloud Relationship. HotMobile Pragya Sharma, Brian Wang, Xiaomin Ouyang, Rahal Nanayakkara, Bharathan Balaji, Paulo Tabuada, Mani B. Srivastava
2024	—	`conf`	A Framework for Time-Varying Optimization via Derivative Estimation. ECC Matteo Marchi, Jonathan Bunton, João Pedro Silvestre, Paulo Tabuada
2024	J	`jnl`	A Framework for Time-Varying Optimization via Derivative Estimation. CoRR Matteo Marchi, Jonathan Bunton, João Pedro Silvestre, Paulo Tabuada
2024	C	`conf`	Confidently Incorrect: Nonlinear Observers with Online Error Bounds. ACC Jonathan Bunton, Paulo Tabuada
2024	J	`jnl`	Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. IEEE Trans. Autom. Control. Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
2024	J	`jnl`	Correction to "Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control". IEEE Trans. Autom. Control. Paulo Tabuada, Bahman Gharesifard
2024	—	`conf`	Heat Death of Generative Models in Closed-Loop Learning. CDC Matteo Marchi, Stefano Soatto, Pratik Chaudhari, Paulo Tabuada
2024	J	`jnl`	Heat Death of Generative Models in Closed-Loop Learning. CoRR Matteo Marchi, Stefano Soatto, Pratik Chaudhari, Paulo Tabuada
2024	J	`jnl`	Learning to Control Known Feedback Linearizable Systems From Demonstrations. IEEE Trans. Autom. Control. Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada
2024	J	`jnl`	Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI. CoRR Tian Yu Liu, Stefano Soatto, Matteo Marchi, Pratik Chaudhari, Paulo Tabuada
2024	—	`conf`	Nonlinear Observers with Tighter Online Error Bounds. CDC João Pedro Silvestre, Rahal Nanayakkara, Paulo Tabuada
2024	—	`conf`	Safety of Linear Systems under Severe Sensor Attacks. CDC Xiao Tan, Pio Ong, Paulo Tabuada, Aaron D. Ames
2024	J	`jnl`	Safety of Linear Systems under Severe Sensor Attacks. CoRR Xiao Tan, Pio Ong, Paulo Tabuada, Aaron D. Ames
2024	J	`jnl`	The Asymptotic Behavior of Attention in Transformers. CoRR Álvaro Rodríguez Abella, João Pedro Silvestre, Paulo Tabuada
2023	J	`jnl`	Decentralized Secure State-Tracking in Multiagent Systems. IEEE Trans. Autom. Control. Yanwen Mao, Paulo Tabuada
2023	J	`jnl`	Sharp Performance Bounds for PASTA. IEEE Control. Syst. Lett. Matteo Marchi, Jonathan Bunton, Yskandar Gas, Bahman Gharesifard, Paulo Tabuada
2023	J	`jnl`	Synthesis of Large-Scale Instant IoT Networks. IEEE Trans. Mob. Comput. Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos A. M. Vieira, Kevin Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma
2023	J	`jnl`	Taming AI Bots: Controllability of Neural States in Large Language Models. CoRR Stefano Soatto, Paulo Tabuada, Pratik Chaudhari, Tian Yu Liu
2023	J	`jnl`	Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control. IEEE Trans. Autom. Control. Paulo Tabuada, Bahman Gharesifard
2022	J	`jnl`	Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Trans. Comput. Log. Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
2022	—	`conf`	Decentralized Learning Robust to Data Poisoning Attacks. CDC Yanwen Mao, Deepesh Data, Suhas N. Diggavi, Paulo Tabuada
2022	J	`jnl`	Dirty derivatives for output feedback stabilization. CoRR Matteo Marchi, Lucas Fraile, Paulo Tabuada
2022	—	`conf`	Give the problem a lift: solving quadratic programs with combinatorial costs. CDC Jonathan Bunton, Paulo Tabuada
2022	J	`jnl`	Joint Continuous and Discrete Model Selection via Submodularity. J. Mach. Learn. Res. Jonathan Bunton, Paulo Tabuada
2022	J	`jnl`	Learning to control from expert demonstrations. CoRR Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada
2022	J	`jnl`	Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava
2022	—	`conf`	LiDAR Point Cloud Registration with Formal Guarantees. CDC Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, Paulo Tabuada
2022	J	`jnl`	On the computational complexity of the secure state-reconstruction problem. Autom. Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada
2022	J	`jnl`	Safety and Stability Guarantees for Control Loops With Deep Learning Perception. IEEE Control. Syst. Lett. Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, Paulo Tabuada
2022	J	`jnl`	Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs. IEEE Control. Syst. Lett. Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue, Paulo Tabuada, Aaron D. Ames
2022	A*	`conf`	Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations. ICRA Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada
2021	C	`conf`	An enhanced hierarchy for (robust) controlled invariance. ACC Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
2021	—	`conf`	Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
2021	J	`jnl`	Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CoRR Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada
2021	J	`jnl`	Being correct is not enough: efficient verification using robust linear temporal logic. CoRR Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
2021	J	`jnl`	Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
2021	J	`jnl`	Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria. IEEE Control. Syst. Lett. Matheus F. Reis, A. Pedro Aguiar, Paulo Tabuada
2021	J	`jnl`	Controlled invariant sets: implicit closed-form representations and applications. CoRR Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada
2021	—	`conf`	Decentralized Resilient State-Tracking. CDC Yanwen Mao, Paulo Tabuada
2021	J	`jnl`	Decentralized Secure State-Tracking in Multi-Agent Systems. CoRR Yanwen Mao, Paulo Tabuada
2021	J	`jnl`	Distortion-Based Lightweight Security for Cyber-Physical Systems. IEEE Trans. Autom. Control. Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
2021	—	`conf`	Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations CDC Alimzhan Sultangazin, Lucas Fraile, Paulo Tabuada
2021	J	`jnl`	From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2021	J	`jnl`	Joint Continuous and Discrete Model Selection via Submodularity. CoRR Jonathan Bunton, Paulo Tabuada
2021	A*	`conf`	Learned Uncertainty Calibration for Visual Inertial Localization. ICRA Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam
2021	J	`jnl`	Learned Uncertainty Calibration for Visual Inertial Localization. CoRR Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam
2021	J	`jnl`	On the Computational Complexity of the Secure State-Reconstruction Problem. CoRR Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada
2021	J	`jnl`	Sampled-Data Stabilization with Control Lyapunov Functions via Quadratically Constrained Quadratic Programs. CoRR Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue, Paulo Tabuada, Aaron D. Ames
2021	J	`jnl`	Secure State-Reconstruction Over Networks Subject to Attacks. IEEE Control. Syst. Lett. Yanwen Mao, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
2021	—	`conf`	Split to win: near-optimal sensor network synthesis via path-greedy subproblems. MILCOM Jonathan Bunton, Tzanis Anevlavis, Gunjan Verma, Christina Fragouli, Paulo Tabuada
2021	J	`jnl`	Symmetries and Isomorphisms for Privacy in Control Over the Cloud. IEEE Trans. Autom. Control. Alimzhan Sultangazin, Paulo Tabuada
2021	—	`conf`	Training deep residual networks for uniform approximation guarantees. L4DC Matteo Marchi, Bahman Gharesifard, Paulo Tabuada
2021	A	`conf`	Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. IROS Luigi Pannocchi, Tzanis Anevlavis, Paulo Tabuada
2021	A*	`conf`	Universal approximation power of deep residual neural networks via nonlinear control theory. ICLR Paulo Tabuada, Bahman Gharesifard
2020	B	`conf`	A coding approach to localization using landmarks. GLOBECOM Juan Carlo Rebanal, Yahya H. Ezzeldin, Christina Fragouli, Paulo Tabuada
2020	—	`conf`	A simple hierarchy for computing controlled invariant sets. HSCC Tzanis Anevlavis, Paulo Tabuada
2020	J	`jnl`	Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria. CoRR Matheus F. Reis, A. Pedro Aguiar, Paulo Tabuada
2020	J	`jnl`	Data-driven Stabilization of SISO Feedback Linearizable Systems. CoRR Paulo Tabuada, Lucas Fraile
2020	J	`jnl`	Distortion based Light-weight Security for Cyber-Physical Systems. CoRR Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
2020	—	`conf`	From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2020	A	`conf`	Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles. IROS Pradipta Ghosh, Paulo Tabuada, Ramesh Govindan, Gaurav S. Sukhatme
2020	J	`jnl`	Preface for the SYNT. Acta Informatica Roderick Bloem, Paulo Tabuada
2020	—	`conf`	Privacy Against Adversarial Classification in Cyber-Physical Systems. CDC Carlos Murguia, Paulo Tabuada
2020	J	`jnl`	Privacy Against Adversarial Classification in Cyber-Physical Systems. CoRR Carlos Murguia, Paulo Tabuada
2020	B	`conf`	Rapid Top-Down Synthesis of Large-Scale IoT Networks. ICCCN Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Augusto M. Vieira, Kevin Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma
2020	J	`jnl`	Rapid Top-Down Synthesis of Large-Scale IoT Networks. CoRR Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Augusto M. Vieira, Kevin S. Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma
2020	J	`jnl`	Securing state reconstruction under sensor and actuator attacks: Theory and design. Autom. Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
2020	—	`conf`	To beam or not to beam? Beamforming with submodularity-inspired group sparsity. CDC Tzanis Anevlavis, Jonathan Bunton, Anjaly Parayil, Jemin George, Paulo Tabuada
2020	J	`jnl`	Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory. CoRR Paulo Tabuada, Bahman Gharesifard
2020	—	`conf`	Why not both? Exact continuous and discrete optimization with submodularity. CDC Jonathan Bunton, Paulo Tabuada
2019	J	`jnl`	A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation. CoRR Paulo Tabuada, Lucas Fraile
2019	—	`conf`	Computing controlled invariant sets in two moves. CDC Tzanis Anevlavis, Paulo Tabuada
2019	—	`conf`	Control Barrier Functions: Theory and Applications. ECC Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada
2019	J	`jnl`	Control Barrier Functions: Theory and Applications. CoRR Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada
2019	—	`conf`	Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. ICCPS Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas
2019	J	`jnl`	Data driven stability analysis of black-box switched linear systems. Autom. Joris Kenanian, Ayca Balkan, Raphaël M. Jungers, Paulo Tabuada
2019	—	`conf`	Data-driven control for SISO feedback linearizable systems with unknown control gain. CDC Paulo Tabuada, Lucas Fraile
2019	—	`conf`	Evrostos: the rLTL verifier. HSCC Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada
2019	C	`conf`	Non-local Linearization of Nonlinear Differential Equations via Polyflows. ACC Raphaël M. Jungers, Paulo Tabuada
2019	—	`conf`	Plausible deniability as a notion of privacy. CDC Nima Monshizadeh, Paulo Tabuada
2019	—	`ed.`	Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019 ICCPS Xue Liu, Paulo Tabuada, Miroslav Pajic, Linda Bushnell
2019	J	`jnl`	Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design. CoRR Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
2019	J	`jnl`	Supervisory Control of Discrete-Event Systems Under Attacks. Dyn. Games Appl. Masashi Wakaiki, Paulo Tabuada, João P. Hespanha
2019	J	`jnl`	Symmetries and isomorphisms for privacy in control over the cloud. CoRR Alimzhan Sultangazin, Paulo Tabuada
2019	—	`conf`	Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge. CDC Alimzhan Sultangazin, Paulo Tabuada
2019	—	`conf`	When is the Secure State-Reconstruction Problem Hard? CDC Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada
2018	J	`jnl`	Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
2018	—	`conf`	Computing controlled invariant sets for hybrid systems with applications to model-predictive control. ADHS Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
2018	J	`jnl`	Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. IEEE Trans Autom. Sci. Eng. Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, Aaron D. Ames
2018	—	`conf`	Deciding Stability of a Switched System Without Identifying It. CDC Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada
2018	—	`conf`	Distorting an Adversary's View in Cyber-Physical Systems. CDC Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
2018	J	`jnl`	Distorting an Adversary's View in Cyber-Physical Systems. CoRR Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada
2018	J	`jnl`	From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2018	—	`conf`	Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. CDC Omar Hussien, Paulo Tabuada
2018	J	`jnl`	Mode-Target Games: Reactive Synthesis for Control Applications. IEEE Trans. Autom. Control. Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
2018	J	`jnl`	Periodic event-triggered control of nonlinear systems using overapproximation techniques. Autom. Dominicus P. Borgers, Romain Postoyan, Adolfo Anta Martinez, Paulo Tabuada, Dragan Nesic, W. P. M. H. Heemels
2018	—	`ed.`	Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018 ICCPS Chris Gill, Bruno Sinopoli, Xue Liu, Paulo Tabuada
2018	B	`conf`	Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud. ICCCN Alimzhan Sultangazin, Suhas N. Diggavi, Paulo Tabuada
2018	J	`jnl`	SMC: Satisfiability Modulo Convex Programming. Proc. IEEE Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2018	J	`jnl`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2018	J	`jnl`	Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 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, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
2018	—	`conf`	Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud. CDC Alimzhan Sultangazin, Paulo Tabuada
2018	J	`jnl`	Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models. ACM Trans. Embed. Comput. Syst. Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
2018	—	`conf`	Verifying rLTL formulas: now faster than ever before! CDC Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
2018	A	`conf`	Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS 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, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli
2017	J	`jnl`	Abstracting Partially Feedback Linearizable Systems Compositionally. IEEE Control. Syst. Lett. Omar Hussien, Aaron D. Ames, Paulo Tabuada
2017	—	`conf`	An SMT-based approach to secure state estimation under sensor and actuator attacks. CDC Mehrdad Showkatbakhsh, Yasser Shoukry, Robert H. Chen, Suhas N. Diggavi, Paulo Tabuada
2017	C	`conf`	Closed-form controlled invariant sets for pedestrian avoidance. ACC Yasser Shoukry, Paulo Tabuada, Stephanie Tsuei, Mark B. Milam, Jessy W. Grizzle, Aaron D. Ames
2017	J	`jnl`	Computing Robust Controlled Invariant Sets of Linear Systems. IEEE Trans. Autom. Control. Matthias Rungger, Paulo Tabuada
2017	J	`jnl`	Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Trans. Autom. Control. Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada
2017	J	`jnl`	Correction to "Compositional Transient Stability Analysis of Multimachine Power Networks". IEEE Trans. Control. Netw. Syst. Sina Yamac Caliskan, Paulo Tabuada
2017	—	`conf`	Data-driven control for feedback linearizable single-input systems. CDC Paulo Tabuada, Wen-Loong Ma, Jessy W. Grizzle, Aaron D. Ames
2017	J	`jnl`	Guest editorial: special issue on formal methods in control. Discret. Event Dyn. Syst. Necmiye Ozay, Paulo Tabuada
2017	—	`conf`	Improving sparsity in time and space via self-triggered sparse optimal controllers. CDC MirSaleh Bahavarnia, Paulo Tabuada, Christoforos Somarakis, Nader Motee
2017	—	`conf`	Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	—	`conf`	PrOLoc: resilient localization with private observers using partial homomorphic encryption. IPSN Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, Mani B. Srivastava
2017	—	`conf`	PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. IPSN Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Bharathan Balaji, Paul Martin, Paulo Tabuada, Mani B. Srivastava
2017	—	`conf`	Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds. CCTA Xiangru Xu, Thomas Waters, Daniel Pickem, Paul Glotfelter, Magnus Egerstedt, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames
2017	—	`conf`	SMC: Satisfiability Modulo Convex Optimization. HSCC Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	J	`jnl`	Secure State Estimation Against Sensor Attacks in the Presence of Noise. IEEE Trans. Control. Netw. Syst. Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2017	J	`jnl`	Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2017	J	`jnl`	Supervisory Control of Discrete-event Systems under Attacks. CoRR Masashi Wakaiki, Paulo Tabuada, João Pedro Hespanha
2016	J	`jnl`	A Notion of Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. Matthias Rungger, Paulo Tabuada
2016	J	`jnl`	Computing Robust Controlled Invariant Sets of Linear Systems. CoRR Matthias Rungger, Paulo Tabuada
2016	J	`jnl`	Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems. CoRR Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada
2016	J	`jnl`	Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Trans. Control. Syst. Technol. Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2016	J	`jnl`	Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. CoRR Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, Aaron D. Ames
2016	—	`conf`	Decomposing controller synthesis for safety specifications. CDC Eric Dallal, Paulo Tabuada
2016	J	`jnl`	Event-Triggered State Observers for Sparse Sensor Noise/Attacks. IEEE Trans. Autom. Control. Yasser Shoukry, Paulo Tabuada
2016	—	`conf`	Privacy-aware quadratic optimization using partially homomorphic encryption. CDC Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada
2016	B	`conf`	Robust Linear Temporal Logic. CSL Paulo Tabuada, Daniel Neider
2016	J	`jnl`	Robustness of Control Barrier Functions for Safety Critical Control. CoRR Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames
2016	—	`conf`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2016	—	`conf`	Scalable lazy SMT-based motion planning. CDC Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2016	—	`conf`	Secure system identification. Allerton Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi
2016	A	`conf`	Self-triggered controllers and hard real-time guarantees. DATE Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng
2016	—	`conf`	Synthesis of safety controllers robust to unmodeled intermittent disturbances. CDC Eric Dallal, Daniel Neider, Paulo Tabuada
2016	—	`conf`	System identification in the presence of adversarial outputs. CDC Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi
2016	Misc	`conf`	Underminer: a framework for automatically identifying non-converging behaviors in black box system models. EMSOFT Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
2015	J	`jnl`	A Framework for the Event-Triggered Stabilization of Nonlinear Systems. IEEE Trans. Autom. Control. Romain Postoyan, Paulo Tabuada, Dragan Nesic, Adolfo Anta Martinez
2015	J	`jnl`	A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	C	`conf`	Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars. ACC Aakar Mehra, Wen-Loong Ma, Forrest Berg, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames
2015	—	`conf`	Attack-resilient state estimation in the presence of noise. CDC Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas
2015	J	`jnl`	Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. CoRR Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
2015	—	`conf`	Comparing asynchronous l-complete approximations and quotient based abstractions. CDC Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
2015	—	`conf`	Controller Synthesis for Mode-Target Games. ADHS Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
2015	J	`jnl`	Controller Synthesis for Mode-Target Games. CoRR Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada
2015	—	`ch.`	Event-Triggered and Self-Triggered Control. Encyclopedia of Systems and Control W. P. M. H. Heemels, Karl Henrik Johansson, Paulo Tabuada
2015	—	`conf`	First steps toward formal controller synthesis for bipedal robots. HSCC Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle
2015	J	`jnl`	Non-invasive Spoofing Attacks for Anti-lock Braking Systems. IACR Cryptol. ePrint Arch. Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava
2015	—	`conf`	On compositional symbolic controller synthesis inspired by small-gain theorems. CDC Eric Dallal, Paulo Tabuada
2015	J	`jnl`	Robust Linear Temporal Logic. CoRR Paulo Tabuada, Daniel Neider
2015	—	`conf`	Robustness of Control Barrier Functions for Safety Critical Control. ADHS Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames
2015	J	`jnl`	Secure State Estimation against Sensor Attacks in the Presence of Noise. CoRR Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2015	J	`jnl`	Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise. CoRR Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2015	B	`conf`	Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. ISIT Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2015	—	`conf`	Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	C	`conf`	Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	—	`conf`	Uses and abuses of the swing equation model. CDC Sina Y. Caliskan, Paulo Tabuada
2014	—	`conf`	Abstracting and refining robustness for cyber-physical systems. HSCC Matthias Rungger, Paulo Tabuada
2014	J	`jnl`	Compositional Transient Stability Analysis of Multimachine Power Networks. IEEE Trans. Control. Netw. Syst. Sina Yamac Caliskan, Paulo Tabuada
2014	—	`conf`	Control barrier function based quadratic programs with application to adaptive cruise control. CDC Aaron D. Ames, Jessy W. Grizzle, Paulo Tabuada
2014	—	`conf`	Discounting the past in robust finite-state systems. CDC Matthias Rungger, Paulo Tabuada
2014	J	`jnl`	Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
2014	—	`conf`	Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks. CDC Yasser Shoukry, Paulo Tabuada
2014	J	`jnl`	Guest Editorial Special Issue on Control of Cyber-Physical Systems. IEEE Trans. Autom. Control. Karl Henrik Johansson, George J. Pappas, Paulo Tabuada, Claire J. Tomlin
2014	J	`jnl`	Minimum attention control for linear systems - A linear programming approach. Discret. Event Dyn. Syst. M. C. F. Donkers, Paulo Tabuada, W. P. M. H. Heemels
2014	—	`conf`	Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. CDC Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2014	—	`conf`	Robustness of attack-resilient state estimators. ICCPS Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas
2014	J	`jnl`	Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks. IEEE Trans. Autom. Control. Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi
2014	J	`jnl`	Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2014	—	`conf`	Secure state estimation and control using multiple (insecure) observers. CDC Shaunak Mishra, Nikhil Karamchandani, Paulo Tabuada, Suhas N. Diggavi
2014	J	`jnl`	Self-triggered linear quadratic control. Autom. Tom Gommans, Duarte Antunes, Tijs Donkers, Paulo Tabuada, Maurice Heemels
2014	J	`jnl`	System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems. IEEE Trans. Ind. Informatics José Araujo, Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada, Karl Henrik Johansson
2014	J	`jnl`	Towards Kron reduction of generalized electrical networks. Autom. Sina Yamac Caliskan, Paulo Tabuada
2014	J	`jnl`	Towards Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. Paulo Tabuada, Sina Yamac Caliskan, Matthias Rungger, Rupak Majumdar
2013	—	`conf`	A symbolic approach to the design of robust cyber-physical systems. CDC Matthias Rungger, Paulo Tabuada
2013	J	`jnl`	A theory of robust omega-regular software synthesis. ACM Trans. Embed. Comput. Syst. Rupak Majumdar, Elaine Render, Paulo Tabuada
2013	J	`jnl`	Abstracting and refining robustness for cyber-physical systems. CoRR Matthias Rungger, Paulo Tabuada
2013	J	`jnl`	Compositional Transient Stability Analysis of Multi-Machine Power Networks. CoRR Sina Y. Caliskan, Paulo Tabuada
2013	J	`jnl`	Event-Triggered State Observers for Sparse Sensor Noise/Attacks. CoRR Yasser Shoukry, Paulo Tabuada
2013	—	`conf`	Minimax control for cyber-physical systems under network packet scheduling attacks. HiCoNS Yasser Shoukry, José Araujo, Paulo Tabuada, Mani B. Srivastava, Karl Henrik Johansson
2013	A	`conf`	Non-invasive Spoofing Attacks for Anti-lock Braking Systems. CHES Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava
2013	—	`conf`	Periodic event-triggered control for nonlinear systems. CDC Romain Postoyan, Adolfo Anta Martinez, W. P. M. H. Heemels, Paulo Tabuada, Dragan Nesic
2013	—	`conf`	Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
2013	—	`conf`	Synthesis of platform-aware attack-resilient vehicular systems. ICCPS Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee
2013	—	`conf`	Towards a compositional analysis of multi-machine power systems transient stability. CDC Sina Y. Caliskan, Paulo Tabuada
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2012	—	`conf`	An introduction to event-triggered and self-triggered control. CDC W. P. M. H. Heemels, Karl Henrik Johansson, Paulo Tabuada
2012	—	`conf`	Dynamic programming formulation of periodic event-triggered control: Performance Guarantees and co-design. CDC Duarte Antunes, W. P. M. H. Heemels, Paulo Tabuada
2012	J	`jnl`	Exploiting Isochrony in Self-Triggered Control. IEEE Trans. Autom. Control. Adolfo Anta Martinez, Paulo Tabuada
2012	Misc	`conf`	Input-output robustness for discrete systems. EMSOFT Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar
2012	J	`jnl`	Kron Reduction of Generalized Electrical Networks CoRR Sina Y. Caliskan, Paulo Tabuada
2012	—	`conf`	Kron reduction of power networks with lossy and dynamic transmission lines. CDC Sina Y. Caliskan, Paulo Tabuada
2012	—	`conf`	Scaling up controller synthesis for linear systems and safety specifications. CDC Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
2012	J	`jnl`	Secure estimation and control for cyber-physical systems under adversarial attacks CoRR Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi
2012	—	`conf`	Security for control systems under sensor and actuator attacks. CDC Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi
2012	J	`jnl`	Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. IEEE Trans. Autom. Control. Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada
2011	J	`jnl`	A theory of robust software synthesis CoRR Rupak Majumdar, Elaine Render, Paulo Tabuada
2011	—	`conf`	A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems. CDC/ECC Romain Postoyan, Adolfo Anta Martinez, Dragan Nesic, Paulo Tabuada
2011	J	`jnl`	Backstepping Design for Incremental Stability. IEEE Trans. Autom. Control. Majid Zamani, Paulo Tabuada
2011	J	`jnl`	Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks. IEEE Trans. Autom. Control. Manuel Mazo Jr., Paulo Tabuada
2011	—	`conf`	Event-triggered and self-triggered stabilization of distributed networked control systems. CDC/ECC Romain Postoyan, Paulo Tabuada, Dragan Nesic, Adolfo Anta Martinez
2011	J	`jnl`	On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach CoRR M. C. F. Donkers, Paulo Tabuada, W. P. M. H. Heemels
2011	—	`conf`	On the minimum attention control problem for linear systems: A linear programming approach. CDC/ECC M. C. F. Donkers, Paulo Tabuada, W. P. M. H. Heemels
2011	—	`conf`	Pessoa 2.0: a controller synthesis tool for cyber-physical systems. HSCC Pritam Roy, Paulo Tabuada, Rupak Majumdar
2011	—	`conf`	Robust discrete synthesis against unspecified disturbances. HSCC Rupak Majumdar, Elaine Render, Paulo Tabuada
2011	—	`conf`	Secure state-estimation for dynamical systems under active adversaries. Allerton Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi
2011	B	`conf`	Self-triggered control over wireless sensor and actuator networks. DCOSS José Araujo, Adolfo Anta Martinez, Manuel Mazo Jr., João Faria, Aitor Hernandez, Paulo Tabuada, Karl Henrik Johansson
2011	J	`jnl`	Symbolic approximate time-optimal control. Syst. Control. Lett. Manuel Mazo Jr., Paulo Tabuada
2010	J	`jnl`	An ISS self-triggered implementation of linear controllers. Autom. Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada
2010	C	`conf`	Approximate time-optimal control via approximate alternating simulations. ACC Manuel Mazo Jr., Paulo Tabuada
2010	J	`jnl`	Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. IEEE Trans. Autom. Control. Antoine Girard, Giordano Pola, Paulo Tabuada
2010	Misc	`conf`	Automatic verification of control system implementations. EMSOFT Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada
2010	J	`jnl`	Decentralized event-triggered control over wireless sensor/actuator networks. CoRR Manuel Mazo Jr., Paulo Tabuada
2010	A	`conf`	Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. RTSS Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin
2010	—	`conf`	On the minimum attention and anytime attention problems for nonlinear systems. CDC Adolfo Anta Martinez, Paulo Tabuada
2010	A*	`conf`	PESSOA: A Tool for Embedded Controller Synthesis. CAV Manuel Mazo Jr., Anna Davitian, Paulo Tabuada
2010	J	`jnl`	Safety-Guarantee Controller Synthesis for Cyber-Physical Systems CoRR Pritam Roy, Paulo Tabuada, Rupak Majumdar
2010	J	`jnl`	Symbolic Approximate Time-Optimal Control. CoRR Manuel Mazo Jr., Paulo Tabuada
2010	J	`jnl`	Symbolic models for nonlinear time-delay systems using approximate bisimulations. Syst. Control. Lett. Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada
2010	C	`conf`	Symbolic models for unstable nonlinear control systems. ACC Majid Zamani, Giordano Pola, Paulo Tabuada
2010	J	`jnl`	To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems. IEEE Trans. Autom. Control. Adolfo Anta Martinez, Paulo Tabuada
2010	—	`conf`	Towards backstepping design for incremental stability. CDC Majid Zamani, Paulo Tabuada
2009	—	`conf`	A symbolic model approach to the digital control of nonlinear time-delay systems. CDC Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada
2009	—	`ed.`	Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings HSCC Rupak Majumdar, Paulo Tabuada
2009	—	`conf`	Input-to-state stability of self-triggered control systems. CDC Manuel Mazo Jr., Paulo Tabuada
2009	—	`conf`	Isochronous manifolds in self-triggered control. CDC Adolfo Anta Martinez, Paulo Tabuada
2009	—	`conf`	On self-triggered control for linear systems: Guarantees and complexity. ECC Manuel Mazo Jr., Adolfo Anta, Paulo Tabuada
2009	A	`conf`	On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN. RTSS Adolfo Anta Martinez, Paulo Tabuada
2009	J	`jnl`	Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations. SIAM J. Control. Optim. Giordano Pola, Paulo Tabuada
2009	—	`book`	Verification and Control of Hybrid Systems - A Symbolic Approach. Paulo Tabuada
2008	J	`jnl`	An Approximate Simulation Approach to Symbolic Control. IEEE Trans. Autom. Control. Paulo Tabuada
2008	J	`jnl`	Approximate reduction of dynamic systems. Syst. Control. Lett. Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas
2008	—	`conf`	Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. HSCC Antoine Girard, Giordano Pola, Paulo Tabuada
2008	J	`jnl`	Approximately bisimilar symbolic models for nonlinear control systems. Autom. Giordano Pola, Antoine Girard, Paulo Tabuada
2008	J	`jnl`	Controller synthesis for bisimulation equivalence. Syst. Control. Lett. Paulo Tabuada
2008	—	`conf`	On event-triggered and self-triggered control over sensor/actuator networks. CDC Manuel Mazo Jr., Paulo Tabuada
2008	C	`conf`	Self-triggered stabilization of homogeneous control systems. ACC Adolfo Anta, Paulo Tabuada
2008	—	`conf`	Space-time scaling laws for self-triggered control. CDC Adolfo Anta Martinez, Paulo Tabuada
2008	—	`conf`	Symbolic models for nonlinear control systems affected by disturbances. CDC Giordano Pola, Paulo Tabuada
2007	—	`conf`	Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. HSCC Paulo Tabuada
2007	J	`jnl`	Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks. IEEE Trans. Autom. Control. Paulo Tabuada
2007	—	`conf`	On Simulations and Bisimulations of General Flow Systems. HSCC Jennifer M. Davoren, Paulo Tabuada
2007	J	`jnl`	Symbolic models for control systems. Acta Informatica Paulo Tabuada
2007	—	`conf`	Symbolic models for linear control systems with disturbances. CDC Giordano Pola, Paulo Tabuada
2007	—	`conf`	Symbolic models for nonlinear control systems using approximate bisimulation. CDC Giordano Pola, Antoine Girard, Paulo Tabuada
2006	—	`conf`	Approximate Reduction of Dynamical Systems. CDC Paulo Tabuada, Aaron D. Ames, Agung Julius, George J. Pappas
2006	J	`jnl`	Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9]. Autom. Paulo Tabuada
2006	J	`jnl`	Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Autom. Paulo Tabuada, George J. Pappas
2006	J	`jnl`	Linear Time Logic Control of Discrete-Time Linear Systems. IEEE Trans. Autom. Control. Paulo Tabuada, George J. Pappas
2006	J	`jnl`	Local factorization of trajectory lifting morphisms for single-input affine control systems. Syst. Control. Lett. Paulo Tabuada
2006	—	`conf`	On the Stability of Zeno Equilibria. HSCC Aaron D. Ames, Paulo Tabuada, Shankar Sastry
2006	—	`conf`	Preliminary results on state-trigered scheduling of stabilizing control tasks. CDC Paulo Tabuada, Xiaofeng Wang
2006	J	`jnl`	Symbolic control of linear systems based on symbolic subsystems. IEEE Trans. Autom. Control. Paulo Tabuada
2005	J	`jnl`	Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
2005	J	`jnl`	Hierarchical trajectory refinement for a class of nonlinear systems. Autom. Paulo Tabuada, George J. Pappas
2005	J	`jnl`	Motion feasibility of multi-agent formations. IEEE Trans. Robotics Paulo Tabuada, George J. Pappas, Pedro U. Lima
2005	—	`conf`	On the factorization of trajectory lifting maps. CDC/ECC Paulo Tabuada
2005	J	`jnl`	Quotients of Fully Nonlinear Control Systems. SIAM J. Control. Optim. Paulo Tabuada, George J. Pappas
2005	—	`conf`	Sensor/Actuator Abstractions for Symbolic Embedded Control Design. HSCC Paulo Tabuada
2005	—	`conf`	Symbolic sub-systems and symbolic control of linear systems. CDC/ECC Paulo Tabuada
2004	J	`jnl`	Bisimilar control affine systems. Syst. Control. Lett. Paulo Tabuada, George J. Pappas
2004	J	`jnl`	Compositional Abstractions of Hybrid Control Systems. Discret. Event Dyn. Syst. Paulo Tabuada, George J. Pappas, Pedro U. Lima
2004	B	`conf`	Open Maps, Alternating Simulations and Control Synthesis. CONCUR Paulo Tabuada
2003	J	`jnl`	Abstractions of Hamiltonian control systems. Autom. Paulo Tabuada, George J. Pappas
2003	—	`conf`	Finite bisimulations of controllable linear systems. CDC Paulo Tabuada, George J. Pappas
2003	—	`conf`	From discrete specifications to hybrid control. CDC Paulo Tabuada, George J. Pappas
2003	J	`jnl`	From nonlinear to Hamiltonian via feedback. IEEE Trans. Autom. Control. Paulo Tabuada, George J. Pappas
2003	—	`conf`	Hierarchical trajectory generation for a class of nonlinear systems. CDC Paulo Tabuada, George J. Pappas
2003	—	`conf`	Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC Paulo Tabuada, George J. Pappas
2002	—	`conf`	Bisimilar control affine systems. CDC Paulo Tabuada, George J. Pappas
2002	—	`conf`	Bisimulation Relations for Dynamical and Control Systems. CTCS Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
2002	—	`conf`	Composing Abstractions of Hybrid Systems. HSCC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2002	—	`conf`	Discrete synchronization of hybrid systems. CDC Paulo Tabuada, George J. Pappas
2002	—	`conf`	From nonlinear to Hamiltonian via feedback. CDC Paulo Tabuada, George J. Pappas
2001	—	`conf`	Abstractions of Hamiltonian control systems. CDC Paulo Tabuada, George J. Pappas
2001	—	`conf`	Compositional abstractions of hybrid control systems. CDC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2001	—	`conf`	Cyclic directed formations of multi-agent systems. ECC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2001	C	`conf`	Feasible formations of multi-agent systems. ACC Paulo Tabuada, George J. Pappas, Pedro U. Lima
2001	—	`conf`	Hybrid Abstractions that Preserve Timed Languages. HSCC Paulo Tabuada, George J. Pappas
2001	—	`conf`	Hybrid abstractions: A search and rescue case study. ECC Paulo Tabuada, George J. Pappas, Pedro U. Lima
1999	—	`conf`	A predictive algorithm for attitude stabilization and spin control of small satellites. ECC Paulo Tabuada, P. Alves, P. Tavares, Pedro U. Lima