default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaulo Tabuada
Person information
- affiliation: University of California Los Angeles, CA, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j78]Alimzhan Sultangazin
, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada:
Learning to Control Known Feedback Linearizable Systems From Demonstrations. IEEE Trans. Autom. Control. 69(1): 189-201 (2024)- [j77]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada:
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications. IEEE Trans. Autom. Control. 69(7): 4506-4521 (2024) - [j76]Paulo Tabuada, Bahman Gharesifard:
Correction to "Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control". IEEE Trans. Autom. Control. 69(7): 4891-4892 (2024) - [c142]Jonathan Bunton, Paulo Tabuada:
Confidently Incorrect: Nonlinear Observers with Online Error Bounds. ACC 2024: 4729-4734 - [c141]Matteo Marchi, Jonathan Bunton, João Pedro Silvestre, Paulo Tabuada:
A Framework for Time-Varying Optimization via Derivative Estimation. ECC 2024: 2730-2735 - [i53]Matteo Marchi, Jonathan Bunton, João Pedro Silvestre, Paulo Tabuada:
A Framework for Time-Varying Optimization via Derivative Estimation. CoRR abs/2403.19088 (2024) - [i52]Matteo Marchi, Stefano Soatto, Pratik Chaudhari, Paulo Tabuada:
Heat Death of Generative Models in Closed-Loop Learning. CoRR abs/2404.02325 (2024) - [i51]Tian Yu Liu, Stefano Soatto, Matteo Marchi, Pratik Chaudhari, Paulo Tabuada:
Meanings and Feelings of Large Language Models: Observability of Latent States in Generative AI. CoRR abs/2405.14061 (2024) - [i50]Xiao Tan, Pio Ong, Paulo Tabuada, Aaron D. Ames:
Safety of Linear Systems under Severe Sensor Attacks. CoRR abs/2409.08413 (2024) - 2023
- [j75]Matteo Marchi, Jonathan Bunton, Yskandar Gas, Bahman Gharesifard, Paulo Tabuada:
Sharp Performance Bounds for PASTA. IEEE Control. Syst. Lett. 7: 2401-2406 (2023) - [j74]Paulo Tabuada, Bahman Gharesifard:
Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control. IEEE Trans. Autom. Control. 68(5): 2715-2728 (2023) - [j73]Yanwen Mao, Paulo Tabuada:
Decentralized Secure State-Tracking in Multiagent Systems. IEEE Trans. Autom. Control. 68(7): 4053-4064 (2023) - [j72]Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos A. M. Vieira, Kevin Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma:
Synthesis of Large-Scale Instant IoT Networks. IEEE Trans. Mob. Comput. 22(3): 1810-1824 (2023) - [i49]Stefano Soatto, Paulo Tabuada, Pratik Chaudhari, Tian Yu Liu:
Taming AI Bots: Controllability of Neural States in Large Language Models. CoRR abs/2305.18449 (2023) - 2022
- [j71]Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada:
On the computational complexity of the secure state-reconstruction problem. Autom. 136: 110083 (2022) - [j70]Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue, Paulo Tabuada, Aaron D. Ames:
Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs. IEEE Control. Syst. Lett. 6: 680-685 (2022) - [j69]Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, Paulo Tabuada:
Safety and Stability Guarantees for Control Loops With Deep Learning Perception. IEEE Control. Syst. Lett. 6: 1286-1291 (2022) - [j68]Jonathan Bunton, Paulo Tabuada:
Joint Continuous and Discrete Model Selection via Submodularity. J. Mach. Learn. Res. 23: 329:1-329:42 (2022) - [j67]Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada:
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Trans. Comput. Log. 23(2): 8:1-8:39 (2022) - [c140]Matteo Marchi, Jonathan Bunton, Bahman Gharesifard, Paulo Tabuada:
LiDAR Point Cloud Registration with Formal Guarantees. CDC 2022: 3462-3467 - [c139]Yanwen Mao, Deepesh Data, Suhas N. Diggavi, Paulo Tabuada:
Decentralized Learning Robust to Data Poisoning Attacks. CDC 2022: 6788-6793 - [c138]Jonathan Bunton, Paulo Tabuada:
Give the problem a lift: solving quadratic programs with combinatorial costs. CDC 2022: 6941-6946 - [c137]Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada:
Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations. ICRA 2022: 8577-8583 - [i48]Matteo Marchi, Lucas Fraile, Paulo Tabuada:
Dirty derivatives for output feedback stabilization. CoRR abs/2202.01941 (2022) - [i47]Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada:
Learning to control from expert demonstrations. CoRR abs/2203.05012 (2022) - [i46]Matthew Chan, Nathaniel Snyder, Marcus Lucas, Luis Garcia, Oleg Sokolsky, James Weimer, Insup Lee, Paulo Tabuada, Saman A. Zonouz, Mani B. Srivastava:
Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. CoRR abs/2210.07531 (2022) - 2021
- [j66]Yanwen Mao, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada:
Secure State-Reconstruction Over Networks Subject to Attacks. IEEE Control. Syst. Lett. 5(1): 157-162 (2021) - [j65]Matheus F. Reis, A. Pedro Aguiar, Paulo Tabuada:
Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria. IEEE Control. Syst. Lett. 5(2): 731-736 (2021) - [j64]Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann:
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. 59(1): 170-204 (2021) - [j63]Alimzhan Sultangazin, Paulo Tabuada:
Symmetries and Isomorphisms for Privacy in Control Over the Cloud. IEEE Trans. Autom. Control. 66(2): 538-549 (2021) - [j62]Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada:
Distortion-Based Lightweight Security for Cyber-Physical Systems. IEEE Trans. Autom. Control. 66(4): 1588-1601 (2021) - [j61]Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas:
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. 66(5): 2357-2364 (2021) - [c136]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada:
An enhanced hierarchy for (robust) controlled invariance. ACC 2021: 4860-4865 - [c135]Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada:
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC 2021: 1112-1119 - [c134]Yanwen Mao, Paulo Tabuada:
Decentralized Resilient State-Tracking. CDC 2021: 3480-3485 - [c133]Alimzhan Sultangazin, Lucas Fraile, Paulo Tabuada:
Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations *. CDC 2021: 5789-5794 - [c132]Paulo Tabuada, Bahman Gharesifard:
Universal approximation power of deep residual neural networks via nonlinear control theory. ICLR 2021 - [c131]Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam:
Learned Uncertainty Calibration for Visual Inertial Localization. ICRA 2021: 5311-5317 - [c130]Luigi Pannocchi, Tzanis Anevlavis, Paulo Tabuada:
Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. IROS 2021: 9219-9224 - [c129]Matteo Marchi, Bahman Gharesifard, Paulo Tabuada:
Training deep residual networks for uniform approximation guarantees. L4DC 2021: 677-688 - [c128]Jonathan Bunton, Tzanis Anevlavis, Gunjan Verma, Christina Fragouli, Paulo Tabuada:
Split to win: near-optimal sensor network synthesis via path-greedy subproblems. MILCOM 2021: 789-794 - [i45]Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada:
On the Computational Complexity of the Secure State-Reconstruction Problem. CoRR abs/2101.01827 (2021) - [i44]Jonathan Bunton, Paulo Tabuada:
Joint Continuous and Discrete Model Selection via Submodularity. CoRR abs/2102.09029 (2021) - [i43]Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada:
Being correct is not enough: efficient verification using robust linear temporal logic. CoRR abs/2102.11991 (2021) - [i42]Andrew J. Taylor, Victor D. Dorobantu, Yisong Yue, Paulo Tabuada, Aaron D. Ames:
Sampled-Data Stabilization with Control Lyapunov Functions via Quadratically Constrained Quadratic Programs. CoRR abs/2103.03937 (2021) - [i41]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada:
Controlled invariant sets: implicit closed-form representations and applications. CoRR abs/2107.08566 (2021) - [i40]Yanwen Mao, Paulo Tabuada:
Decentralized Secure State-Tracking in Multi-Agent Systems. CoRR abs/2109.08264 (2021) - [i39]Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada:
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CoRR abs/2109.12378 (2021) - [i38]Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam:
Learned Uncertainty Calibration for Visual Inertial Localization. CoRR abs/2110.02136 (2021) - 2020
- [j60]Roderick Bloem, Paulo Tabuada:
Preface for the SYNT. Acta Informatica 57(1-2): 1 (2020) - [j59]Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada:
Securing state reconstruction under sensor and actuator attacks: Theory and design. Autom. 116: 108920 (2020) - [c127]Tzanis Anevlavis, Jonathan Bunton, Anjaly Parayil, Jemin George, Paulo Tabuada:
To beam or not to beam? Beamforming with submodularity-inspired group sparsity. CDC 2020: 390-395 - [c126]Jonathan Bunton, Paulo Tabuada:
Why not both? Exact continuous and discrete optimization with submodularity. CDC 2020: 4842-4847 - [c125]Carlos Murguia, Paulo Tabuada:
Privacy Against Adversarial Classification in Cyber-Physical Systems. CDC 2020: 5483-5488 - [c124]Juan Carlo Rebanal, Yahya H. Ezzeldin, Christina Fragouli, Paulo Tabuada:
A coding approach to localization using landmarks. GLOBECOM 2020: 1-6 - [c123]Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann:
From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC 2020: 7:1-7:12 - [c122]Tzanis Anevlavis, Paulo Tabuada:
A simple hierarchy for computing controlled invariant sets. HSCC 2020: 23:1-23:11 - [c121]Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Augusto M. Vieira, Kevin Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma:
Rapid Top-Down Synthesis of Large-Scale IoT Networks. ICCCN 2020: 1-9 - [c120]Pradipta Ghosh, Paulo Tabuada, Ramesh Govindan, Gaurav S. Sukhatme:
Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles. IROS 2020: 1501-1508 - [i37]Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Augusto M. Vieira, Kevin S. Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma:
Rapid Top-Down Synthesis of Large-Scale IoT Networks. CoRR abs/2002.04244 (2020) - [i36]Matheus F. Reis, A. Pedro Aguiar, Paulo Tabuada:
Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria. CoRR abs/2003.07819 (2020) - [i35]Paulo Tabuada, Lucas Fraile:
Data-driven Stabilization of SISO Feedback Linearizable Systems. CoRR abs/2003.14240 (2020) - [i34]Carlos Murguia, Paulo Tabuada:
Privacy Against Adversarial Classification in Cyber-Physical Systems. CoRR abs/2006.07063 (2020) - [i33]Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada:
Distortion based Light-weight Security for Cyber-Physical Systems. CoRR abs/2006.15998 (2020) - [i32]Paulo Tabuada, Bahman Gharesifard:
Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory. CoRR abs/2007.06007 (2020)
2010 – 2019
- 2019
- [j58]Joris Kenanian, Ayca Balkan, Raphaël M. Jungers, Paulo Tabuada:
Data driven stability analysis of black-box switched linear systems. Autom. 109 (2019) - [j57]Masashi Wakaiki, Paulo Tabuada, João P. Hespanha:
Supervisory Control of Discrete-Event Systems Under Attacks. Dyn. Games Appl. 9(4): 965-983 (2019) - [c119]Raphaël M. Jungers, Paulo Tabuada:
Non-local Linearization of Nonlinear Differential Equations via Polyflows. ACC 2019: 1906-1911 - [c118]Nima Monshizadeh, Paulo Tabuada:
Plausible deniability as a notion of privacy. CDC 2019: 1710-1715 - [c117]Paulo Tabuada, Lucas Fraile:
Data-driven control for SISO feedback linearizable systems with unknown control gain. CDC 2019: 1803-1808 - [c116]Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada:
When is the Secure State-Reconstruction Problem Hard? CDC 2019: 5368-5373 - [c115]Tzanis Anevlavis, Paulo Tabuada:
Computing controlled invariant sets in two moves. CDC 2019: 6248-6254 - [c114]Alimzhan Sultangazin, Paulo Tabuada:
Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge. CDC 2019: 7209-7214 - [c113]Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada:
Control Barrier Functions: Theory and Applications. ECC 2019: 3420-3431 - [c112]Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada:
Evrostos: the rLTL verifier. HSCC 2019: 218-223 - [c111]Stephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas:
Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. ICCPS 2019: 340-341 - [e3]Xue Liu, Paulo Tabuada, Miroslav Pajic, Linda Bushnell:
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019. ACM 2019, ISBN 978-1-4503-6285-6 [contents] - [i31]Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada:
Control Barrier Functions: Theory and Applications. CoRR abs/1903.11199 (2019) - [i30]Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada:
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design. CoRR abs/1904.01869 (2019) - [i29]Alimzhan Sultangazin, Paulo Tabuada:
Symmetries and isomorphisms for privacy in control over the cloud. CoRR abs/1906.07460 (2019) - [i28]Paulo Tabuada, Lucas Fraile:
A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation. CoRR abs/1909.01959 (2019) - 2018
- [j56]Dominicus P. Borgers, Romain Postoyan, Adolfo Anta Martinez, Paulo Tabuada, Dragan Nesic, W. P. M. H. Heemels:
Periodic event-triggered control of nonlinear systems using overapproximation techniques. Autom. 94: 81-87 (2018) - [j55]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:
Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 51(11): 24-36 (2018) - [j54]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106(9): 1655-1679 (2018) - [j53]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Mode-Target Games: Reactive Synthesis for Control Applications. IEEE Trans. Autom. Control. 63(1): 196-202 (2018) - [j52]Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, Aaron D. Ames:
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. IEEE Trans Autom. Sci. Eng. 15(3): 1216-1229 (2018) - [j51]Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. 2(1): 5:1-5:27 (2018) - [j50]Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski:
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models. ACM Trans. Embed. Comput. Syst. 17(1): 20:1-20:28 (2018) - [c110]Benoît Legat, Paulo Tabuada, Raphaël M. Jungers:
Computing controlled invariant sets for hybrid systems with applications to model-predictive control. ADHS 2018: 193-198 - [c109]Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada:
Distorting an Adversary's View in Cyber-Physical Systems. CDC 2018: 1476-1481 - [c108]Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada:
Verifying rLTL formulas: now faster than ever before! CDC 2018: 1556-1561 - [c107]Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada:
Deciding Stability of a Switched System Without Identifying It. CDC 2018: 3134-3139 - [c106]Omar Hussien, Paulo Tabuada:
Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. CDC 2018: 3567-3572 - [c105]Alimzhan Sultangazin, Paulo Tabuada:
Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud. CDC 2018: 5008-5013 - [c104]Alimzhan Sultangazin, Suhas N. Diggavi, Paulo Tabuada:
Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud. ICCCN 2018: 1-7 - [c103]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:
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS 2018: 1129-1138 - [e2]Chris Gill, Bruno Sinopoli, Xue Liu, Paulo Tabuada:
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018. IEEE Computer Society / ACM 2018, ISBN 978-1-5386-5301-2 [contents] - [i27]Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann:
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR abs/1807.08203 (2018) - [i26]Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas:
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR abs/1809.02267 (2018) - [i25]Gaurav Kumar Agarwal, Mohammed Karmoose, Suhas N. Diggavi, Christina Fragouli, Paulo Tabuada:
Distorting an Adversary's View in Cyber-Physical Systems. CoRR abs/1809.04580 (2018) - 2017
- [j49]Omar Hussien, Aaron D. Ames, Paulo Tabuada:
Abstracting Partially Feedback Linearizable Systems Compositionally. IEEE Control. Syst. Lett. 1(2): 227-232 (2017) - [j48]Necmiye Ozay, Paulo Tabuada:
Guest editorial: special issue on formal methods in control. Discret. Event Dyn. Syst. 27(2): 205-208 (2017) - [j47]Matthias Rungger, Paulo Tabuada:
Computing Robust Controlled Invariant Sets of Linear Systems. IEEE Trans. Autom. Control. 62(7): 3665-3670 (2017) - [j46]Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada:
Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Trans. Autom. Control. 62(8): 3861-3876 (2017) - [j45]Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. 62(10): 4917-4932 (2017) - [j44]Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada:
Secure State Estimation Against Sensor Attacks in the Presence of Noise. IEEE Trans. Control. Netw. Syst. 4(1): 49-59 (2017) - [j43]Sina Yamac Caliskan, Paulo Tabuada:
Correction to "Compositional Transient Stability Analysis of Multimachine Power Networks". IEEE Trans. Control. Netw. Syst. 4(3): 676-677 (2017) - [c102]Yasser Shoukry, Paulo Tabuada, Stephanie Tsuei, Mark B. Milam, Jessy W. Grizzle, Aaron D. Ames:
Closed-form controlled invariant sets for pedestrian avoidance. ACC 2017: 1622-1628 - [c101]Xiangru Xu, Thomas Waters, Daniel Pickem, Paul Glotfelter, Magnus Egerstedt, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames:
Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds. CCTA 2017: 1769-1775 - [c100]Mehrdad Showkatbakhsh, Yasser Shoukry, Robert H. Chen, Suhas N. Diggavi, Paulo Tabuada:
An SMT-based approach to secure state estimation under sensor and actuator attacks. CDC 2017: 157-162 - [c99]Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC 2017: 1132-1137 - [c98]MirSaleh Bahavarnia, Paulo Tabuada, Christoforos Somarakis, Nader Motee:
Improving sparsity in time and space via self-triggered sparse optimal controllers. CDC 2017: 4199-4204 - [c97]Paulo Tabuada, Wen-Loong Ma, Jessy W. Grizzle, Aaron D. Ames:
Data-driven control for feedback linearizable single-input systems. CDC 2017: 6265-6270 - [c96]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Optimization. HSCC 2017: 19-28 - [c95]Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, Mani B. Srivastava:
PrOLoc: resilient localization with private observers using partial homomorphic encryption. IPSN 2017: 41-52 - [c94]Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Bharathan Balaji, Paul Martin, Paulo Tabuada, Mani B. Srivastava:
PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. IPSN 2017: 257-258 - [i24]Masashi Wakaiki, Paulo Tabuada, João Pedro Hespanha:
Supervisory Control of Discrete-event Systems under Attacks. CoRR abs/1701.00881 (2017) - 2016
- [j42]Yasser Shoukry, Paulo Tabuada:
Event-Triggered State Observers for Sparse Sensor Noise/Attacks. IEEE Trans. Autom. Control. 61(8): 2079-2091 (2016) - [j41]Matthias Rungger, Paulo Tabuada:
A Notion of Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. 61(8): 2108-2123 (2016) - [j40]Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada:
Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Trans. Control. Syst. Technol. 24(4): 1294-1307 (2016) - [c93]Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi:
Secure system identification. Allerton 2016: 1137-1141 - [c92]Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada:
Privacy-aware quadratic optimization using partially homomorphic encryption. CDC 2016: 5053-5058 - [c91]Eric Dallal, Paulo Tabuada:
Decomposing controller synthesis for safety specifications. CDC 2016: 5720-5725 - [c90]Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Scalable lazy SMT-based motion planning. CDC 2016: 6683-6688 - [c89]Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi:
System identification in the presence of adversarial outputs. CDC 2016: 7177-7182 - [c88]Eric Dallal, Daniel Neider, Paulo Tabuada:
Synthesis of safety controllers robust to unmodeled intermittent disturbances. CDC 2016: 7425-7430 - [c87]Paulo Tabuada, Daniel Neider:
Robust Linear Temporal Logic. CSL 2016: 10:1-10:21 - [c86]Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng:
Self-triggered controllers and hard real-time guarantees. DATE 2016: 636-641 - [c85]Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski:
Underminer: a framework for automatically identifying non-converging behaviors in black box system models. EMSOFT 2016: 7:1-7:10 - [c84]Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS 2016: 29:1-29:10 - [i23]Matthias Rungger, Paulo Tabuada:
Computing Robust Controlled Invariant Sets of Linear Systems. CoRR abs/1601.00416 (2016) - [i22]Aaron D. Ames, Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada:
Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems. CoRR abs/1609.06408 (2016) - [i21]Xiangru Xu, Jessy W. Grizzle, Paulo Tabuada, Aaron D. Ames:
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control. CoRR abs/1609.06807 (2016) - [i20]Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames:
Robustness of Control Barrier Functions for Safety Critical Control. CoRR abs/1612.01554 (2016) - 2015
- [j39]Romain Postoyan, Paulo Tabuada, Dragan Nesic, Adolfo Anta Martinez:
A Framework for the Event-Triggered Stabilization of Nonlinear Systems. IEEE Trans. Autom. Control. 60(4): 982-996 (2015) - [c83]Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames:
Robustness of Control Barrier Functions for Safety Critical Control. ADHS 2015: 54-61 - [c82]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. ADHS 2015: 343-350 - [c81]Aakar Mehra, Wen-Loong Ma, Forrest Berg, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames:
Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars. ACC 2015: 1411-1418 - [c80]Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC 2015: 3818-3823 - [c79]Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC 2015: 3804-3809 - [c78]Miroslav Pajic, Paulo Tabuada, Insup Lee, George J. Pappas:
Attack-resilient state estimation in the presence of noise. CDC 2015: 5827-5832 - [c77]Eric Dallal, Paulo Tabuada:
On compositional symbolic controller synthesis inspired by small-gain theorems. CDC 2015: 6133-6138 - [c76]Sina Y. Caliskan, Paulo Tabuada:
Uses and abuses of the swing equation model. CDC 2015: 6662-6667 - [c75]Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch:
Comparing asynchronous l-complete approximations and quotient based abstractions. CDC 2015: 6823-6829 - [c74]Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle:
First steps toward formal controller synthesis for bipedal robots. HSCC 2015: 209-218 - [c73]Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada:
Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. ISIT 2015: 2929-2933 - [r1]W. P. M. H. Heemels, Karl Henrik Johansson, Paulo Tabuada:
Event-Triggered and Self-Triggered Control. Encyclopedia of Systems and Control 2015 - [i19]Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch:
Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. CoRR abs/1503.07139 (2015) - [i18]Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada:
Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise. CoRR abs/1504.05566 (2015) - [i17]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. CoRR abs/1504.07702 (2015) - [i16]Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR abs/1509.03262 (2015) - [i15]Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada:
Secure State Estimation against Sensor Attacks in the Presence of Noise. CoRR abs/1510.02462 (2015) - [i14]Paulo Tabuada, Daniel Neider:
Robust Linear Temporal Logic. CoRR abs/1510.08970 (2015) - [i13]Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava:
Non-invasive Spoofing Attacks for Anti-lock Braking Systems. IACR Cryptol. ePrint Arch. 2015: 419 (2015) - 2014
- [j38]Tom Gommans, Duarte Antunes, Tijs Donkers, Paulo Tabuada, Maurice Heemels:
Self-triggered linear quadratic control. Autom. 50(4): 1279-1287 (2014) - [j37]Sina Yamac Caliskan, Paulo Tabuada:
Towards Kron reduction of generalized electrical networks. Autom. 50(10): 2586-2590 (2014) - [j36]M. C. F. Donkers, Paulo Tabuada, W. P. M. H. Heemels:
Minimum attention control for linear systems - A linear programming approach. Discret. Event Dyn. Syst. 24(2): 199-218 (2014) - [j35]Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi:
Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks. IEEE Trans. Autom. Control. 59(6): 1454-1467 (2014) - [j34]Karl Henrik Johansson, George J. Pappas, Paulo Tabuada, Claire J. Tomlin:
Guest Editorial Special Issue on Control of Cyber-Physical Systems. IEEE Trans. Autom. Control. 59(12): 3120-3121 (2014) - [j33]Paulo Tabuada, Sina Yamac Caliskan, Matthias Rungger, Rupak Majumdar:
Towards Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. 59(12): 3151-3163 (2014) - [j32]Sina Yamac Caliskan, Paulo Tabuada:
Compositional Transient Stability Analysis of Multimachine Power Networks. IEEE Trans. Control. Netw. Syst. 1(1): 4-14 (2014) - [j31]José Araujo, Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada, Karl Henrik Johansson:
System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems. IEEE Trans. Ind. Informatics 10(1): 175-184 (2014) - [c72]Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada:
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. CDC 2014: 816-823 - [c71]Matthias Rungger, Paulo Tabuada:
Discounting the past in robust finite-state systems. CDC 2014: 842-847 - [c70]Shaunak Mishra, Nikhil Karamchandani, Paulo Tabuada, Suhas N. Diggavi:
Secure state estimation and control using multiple (insecure) observers. CDC 2014: 1620-1625 - [c69]Yasser Shoukry, Paulo Tabuada:
Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks. CDC 2014: 3548-3553 - [c68]Aaron D. Ames, Jessy W. Grizzle, Paulo Tabuada:
Control barrier function based quadratic programs with application to adaptive cruise control. CDC 2014: 6271-6278 - [c67]Matthias Rungger, Paulo Tabuada:
Abstracting and refining robustness for cyber-physical systems. HSCC 2014: 223-232 - [c66]Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, George J. Pappas:
Robustness of attack-resilient state estimators. ICCPS 2014: 163-174 - [i12]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit:
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR abs/1410.6375 (2014) - [i11]Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR abs/1412.4324 (2014) - 2013
- [j30]Rupak Majumdar, Elaine Render, Paulo Tabuada:
A theory of robust omega-regular software synthesis. ACM Trans. Embed. Comput. Syst. 13(3): 48:1-48:27 (2013) - [c65]Matthias Rungger, Paulo Tabuada:
A symbolic approach to the design of robust cyber-physical systems. CDC 2013: 3932-3937 - [c64]Sina Y. Caliskan, Paulo Tabuada:
Towards a compositional analysis of multi-machine power systems transient stability. CDC 2013: 3969-3974 - [c63]Romain Postoyan, Adolfo Anta Martinez, W. P. M. H. Heemels, Paulo Tabuada, Dragan Nesic:
Periodic event-triggered control for nonlinear systems. CDC 2013: 7397-7402 - [c62]Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava:
Non-invasive Spoofing Attacks for Anti-lock Braking Systems. CHES 2013: 55-72 - [c61]Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee:
Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS 2013: 75-76 - [c60]Yasser Shoukry, José Araujo, Paulo Tabuada, Mani B. Srivastava, Karl Henrik Johansson:
Minimax control for cyber-physical systems under network packet scheduling attacks. HiCoNS 2013: 93-100 - [c59]Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada:
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC 2013: 333-342 - [c58]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee:
Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251 - [i10]Yasser Shoukry, Paulo Tabuada:
Event-Triggered State Observers for Sparse Sensor Noise/Attacks. CoRR abs/1309.3511 (2013) - [i9]Sina Y. Caliskan, Paulo Tabuada:
Compositional Transient Stability Analysis of Multi-Machine Power Networks. CoRR abs/1309.5422 (2013) - [i8]Matthias Rungger, Paulo Tabuada:
Abstracting and refining robustness for cyber-physical systems. CoRR abs/1310.5199 (2013) - 2012
- [j29]Adolfo Anta Martinez, Paulo Tabuada:
Exploiting Isochrony in Self-Triggered Control. IEEE Trans. Autom. Control. 57(4): 950-962 (2012) - [j28]Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada:
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. IEEE Trans. Autom. Control. 57(7): 1804-1809 (2012) - [c57]W. P. M. H. Heemels, Karl Henrik Johansson, Paulo Tabuada:
An introduction to event-triggered and self-triggered control. CDC 2012: 3270-3285 - [c56]Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi:
Security for control systems under sensor and actuator attacks. CDC 2012: 3412-3417 - [c55]Sina Y. Caliskan, Paulo Tabuada:
Kron reduction of power networks with lossy and dynamic transmission lines. CDC 2012: 5554-5559 - [c54]Duarte Antunes, W. P. M. H. Heemels, Paulo Tabuada:
Dynamic programming formulation of periodic event-triggered control: Performance Guarantees and co-design. CDC 2012: 7212-7217 - [c53]Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada:
Scaling up controller synthesis for linear systems and safety specifications. CDC 2012: 7638-7643 - [c52]Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar:
Input-output robustness for discrete systems. EMSOFT 2012: 217-226 - [i7]Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi:
Secure estimation and control for cyber-physical systems under adversarial attacks. CoRR abs/1205.5073 (2012) - [i6]Sina Y. Caliskan, Paulo Tabuada:
Kron Reduction of Generalized Electrical Networks. CoRR abs/1207.0563 (2012) - 2011
- [j27]Manuel Mazo Jr., Paulo Tabuada:
Symbolic approximate time-optimal control. Syst. Control. Lett. 60(4): 256-263 (2011) - [j26]Majid Zamani, Paulo Tabuada:
Backstepping Design for Incremental Stability. IEEE Trans. Autom. Control. 56(9): 2184-2189 (2011) - [j25]Manuel Mazo Jr., Paulo Tabuada:
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks. IEEE Trans. Autom. Control. 56(10): 2456-2461 (2011) - [c51]Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi:
Secure state-estimation for dynamical systems under active adversaries. Allerton 2011: 337-344 - [c50]Romain Postoyan, Adolfo Anta Martinez, Dragan Nesic, Paulo Tabuada:
A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems. CDC/ECC 2011: 2559-2564 - [c49]Romain Postoyan, Paulo Tabuada, Dragan Nesic, Adolfo Anta Martinez:
Event-triggered and self-triggered stabilization of distributed networked control systems. CDC/ECC 2011: 2565-2570 - [c48]M. C. F. Donkers, Paulo Tabuada, W. P. M. H. Heemels:
On the minimum attention control problem for linear systems: A linear programming approach. CDC/ECC 2011: 4717-4722 - [c47]José Araujo, Adolfo Anta Martinez, Manuel Mazo Jr., João Faria, Aitor Hernandez, Paulo Tabuada, Karl Henrik Johansson:
Self-triggered control over wireless sensor and actuator networks. DCOSS 2011: 1-9 - [c46]Rupak Majumdar, Elaine Render, Paulo Tabuada:
Robust discrete synthesis against unspecified disturbances. HSCC 2011: 211-220 - [c45]Pritam Roy, Paulo Tabuada, Rupak Majumdar:
Pessoa 2.0: a controller synthesis tool for cyber-physical systems. HSCC 2011: 315-316 - [i5]M. C. F. Donkers, Paulo Tabuada, W. P. M. H. Heemels:
On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach. CoRR abs/1108.2783 (2011) - [i4]Rupak Majumdar, Elaine Render, Paulo Tabuada:
A theory of robust software synthesis. CoRR abs/1108.3540 (2011) - 2010
- [j24]Manuel Mazo Jr., Adolfo Anta Martinez, Paulo Tabuada:
An ISS self-triggered implementation of linear controllers. Autom. 46(8): 1310-1314 (2010) - [j23]Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada:
Symbolic models for nonlinear time-delay systems using approximate bisimulations. Syst. Control. Lett. 59(6): 365-373 (2010) - [j22]Antoine Girard, Giordano Pola, Paulo Tabuada:
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. IEEE Trans. Autom. Control. 55(1): 116-126 (2010) - [j21]Adolfo Anta Martinez, Paulo Tabuada:
To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems. IEEE Trans. Autom. Control. 55(9): 2030-2042 (2010) - [c44]Manuel Mazo Jr., Paulo Tabuada:
Approximate time-optimal control via approximate alternating simulations. ACC 2010: 1009-1014 - [c43]Majid Zamani, Giordano Pola, Paulo Tabuada:
Symbolic models for unstable nonlinear control systems. ACC 2010: 1021-1026 - [c42]Manuel Mazo Jr., Anna Davitian, Paulo Tabuada:
PESSOA: A Tool for Embedded Controller Synthesis. CAV 2010: 566-569 - [c41]Majid Zamani, Paulo Tabuada:
Towards backstepping design for incremental stability. CDC 2010: 2426-2431 - [c40]Adolfo Anta Martinez, Paulo Tabuada:
On the minimum attention and anytime attention problems for nonlinear systems. CDC 2010: 3234-3239 - [c39]Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada:
Automatic verification of control system implementations. EMSOFT 2010: 9-18 - [c38]Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin:
Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. RTSS 2010: 95-104 - [i3]Manuel Mazo Jr., Paulo Tabuada:
Decentralized event-triggered control over wireless sensor/actuator networks. CoRR abs/1004.0477 (2010) - [i2]Manuel Mazo Jr., Paulo Tabuada:
Symbolic Approximate Time-Optimal Control. CoRR abs/1004.0763 (2010) - [i1]Pritam Roy, Paulo Tabuada, Rupak Majumdar:
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems. CoRR abs/1010.5665 (2010)
2000 – 2009
- 2009
- [b1]Paulo Tabuada:
Verification and Control of Hybrid Systems - A Symbolic Approach. Springer 2009, ISBN 978-1-4419-0223-8, pp. I-XV, 1-202 - [j20]Giordano Pola, Paulo Tabuada:
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations. SIAM J. Control. Optim. 48(2): 719-733 (2009) - [c37]Manuel Mazo Jr., Paulo Tabuada:
Input-to-state stability of self-triggered control systems. CDC 2009: 928-933 - [c36]Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada:
A symbolic model approach to the digital control of nonlinear time-delay systems. CDC 2009: 2216-2221 - [c35]Adolfo Anta Martinez, Paulo Tabuada:
Isochronous manifolds in self-triggered control. CDC 2009: 3194-3199 - [c34]Manuel Mazo Jr., Adolfo Anta, Paulo Tabuada:
On self-triggered control for linear systems: Guarantees and complexity. ECC 2009: 3767-3772 - [c33]Adolfo Anta Martinez, Paulo Tabuada:
On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN. RTSS 2009: 3-12 - [e1]Rupak Majumdar, Paulo Tabuada:
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Lecture Notes in Computer Science 5469, Springer 2009, ISBN 978-3-642-00601-2 [contents] - 2008
- [j19]Giordano Pola, Antoine Girard, Paulo Tabuada:
Approximately bisimilar symbolic models for nonlinear control systems. Autom. 44(10): 2508-2516 (2008) - [j18]Paulo Tabuada:
Controller synthesis for bisimulation equivalence. Syst. Control. Lett. 57(6): 443-452 (2008) - [j17]Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas:
Approximate reduction of dynamic systems. Syst. Control. Lett. 57(7): 538-545 (2008) - [j16]Paulo Tabuada:
An Approximate Simulation Approach to Symbolic Control. IEEE Trans. Autom. Control. 53(6): 1406-1418 (2008) - [c32]Adolfo Anta, Paulo Tabuada:
Self-triggered stabilization of homogeneous control systems. ACC 2008: 4129-4134 - [c31]Giordano Pola, Paulo Tabuada:
Symbolic models for nonlinear control systems affected by disturbances. CDC 2008: 251-256 - [c30]Manuel Mazo Jr., Paulo Tabuada:
On event-triggered and self-triggered control over sensor/actuator networks. CDC 2008: 435-440 - [c29]Adolfo Anta Martinez, Paulo Tabuada:
Space-time scaling laws for self-triggered control. CDC 2008: 4420-4425 - [c28]Antoine Girard, Giordano Pola, Paulo Tabuada:
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. HSCC 2008: 201-214 - 2007
- [j15]Paulo Tabuada:
Symbolic models for control systems. Acta Informatica 43(7): 477-500 (2007) - [j14]Paulo Tabuada:
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks. IEEE Trans. Autom. Control. 52(9): 1680-1685 (2007) - [c27]Giordano Pola, Paulo Tabuada:
Symbolic models for linear control systems with disturbances. CDC 2007: 432-437 - [c26]Giordano Pola, Antoine Girard, Paulo Tabuada:
Symbolic models for nonlinear control systems using approximate bisimulation. CDC 2007: 4656-4661 - [c25]Jennifer M. Davoren, Paulo Tabuada:
On Simulations and Bisimulations of General Flow Systems. HSCC 2007: 145-158 - [c24]Paulo Tabuada:
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. HSCC 2007: 529-542 - 2006
- [j13]Paulo Tabuada:
Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9]. Autom. 42(4): 695-696 (2006) - [j12]Paulo Tabuada, George J. Pappas:
Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Autom. 42(10): 1833 (2006) - [j11]Paulo Tabuada:
Local factorization of trajectory lifting morphisms for single-input affine control systems. Syst. Control. Lett. 55(9): 761-769 (2006) - [j10]Paulo Tabuada:
Symbolic control of linear systems based on symbolic subsystems. IEEE Trans. Autom. Control. 51(6): 1003-1013 (2006) - [j9]Paulo Tabuada, George J. Pappas:
Linear Time Logic Control of Discrete-Time Linear Systems. IEEE Trans. Autom. Control. 51(12): 1862-1877 (2006) - [c23]Paulo Tabuada, Xiaofeng Wang:
Preliminary results on state-trigered scheduling of stabilizing control tasks. CDC 2006: 282-287 - [c22]Paulo Tabuada, Aaron D. Ames, Agung Julius, George J. Pappas:
Approximate Reduction of Dynamical Systems. CDC 2006: 6408-6413 - [c21]Aaron D. Ames, Paulo Tabuada, Shankar Sastry:
On the Stability of Zeno Equilibria. HSCC 2006: 34-48 - 2005
- [j8]Paulo Tabuada, George J. Pappas:
Hierarchical trajectory refinement for a class of nonlinear systems. Autom. 41(4): 701-708 (2005) - [j7]Paulo Tabuada, George J. Pappas:
Quotients of Fully Nonlinear Control Systems. SIAM J. Control. Optim. 43(5): 1844-1866 (2005) - [j6]Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas:
Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2-3): 229-261 (2005) - [j5]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Motion feasibility of multi-agent formations. IEEE Trans. Robotics 21(3): 387-392 (2005) - [c20]Paulo Tabuada:
Symbolic sub-systems and symbolic control of linear systems. CDC/ECC 2005: 18-23 - [c19]Paulo Tabuada:
On the factorization of trajectory lifting maps. CDC/ECC 2005: 4225-4230 - [c18]Paulo Tabuada:
Sensor/Actuator Abstractions for Symbolic Embedded Control Design. HSCC 2005: 640-654 - 2004
- [j4]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Compositional Abstractions of Hybrid Control Systems. Discret. Event Dyn. Syst. 14(2): 203-238 (2004) - [j3]Paulo Tabuada, George J. Pappas:
Bisimilar control affine systems. Syst. Control. Lett. 52(1): 49-58 (2004) - [c17]Paulo Tabuada:
Open Maps, Alternating Simulations and Control Synthesis. CONCUR 2004: 466-480 - 2003
- [j2]Paulo Tabuada, George J. Pappas:
Abstractions of Hamiltonian control systems. Autom. 39(12): 2025-2033 (2003) - [j1]Paulo Tabuada, George J. Pappas:
From nonlinear to Hamiltonian via feedback. IEEE Trans. Autom. Control. 48(8): 1439-1442 (2003) - [c16]Paulo Tabuada, George J. Pappas:
Finite bisimulations of controllable linear systems. CDC 2003: 634-639 - [c15]Paulo Tabuada, George J. Pappas:
From discrete specifications to hybrid control. CDC 2003: 3366-3371 - [c14]Paulo Tabuada, George J. Pappas:
Hierarchical trajectory generation for a class of nonlinear systems. CDC 2003: 6090-6095 - [c13]Paulo Tabuada, George J. Pappas:
Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC 2003: 498-513 - 2002
- [c12]Paulo Tabuada, George J. Pappas:
Discrete synchronization of hybrid systems. CDC 2002: 22-27 - [c11]Paulo Tabuada, George J. Pappas:
From nonlinear to Hamiltonian via feedback. CDC 2002: 1515-1520 - [c10]Paulo Tabuada, George J. Pappas:
Bisimilar control affine systems. CDC 2002: 2373-2378 - [c9]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Composing Abstractions of Hybrid Systems. HSCC 2002: 436-450 - [c8]Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas:
Bisimulation Relations for Dynamical and Control Systems. CTCS 2002: 120-136 - 2001
- [c7]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Feasible formations of multi-agent systems. ACC 2001: 56-61 - [c6]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Compositional abstractions of hybrid control systems. CDC 2001: 352-357 - [c5]Paulo Tabuada, George J. Pappas:
Abstractions of Hamiltonian control systems. CDC 2001: 3394-3399 - [c4]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Cyclic directed formations of multi-agent systems. ECC 2001: 539-544 - [c3]Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Hybrid abstractions: A search and rescue case study. ECC 2001: 3864-3869 - [c2]Paulo Tabuada, George J. Pappas:
Hybrid Abstractions that Preserve Timed Languages. HSCC 2001: 501-514
1990 – 1999
- 1999
- [c1]Paulo Tabuada, P. Alves, P. Tavares, Pedro U. Lima:
A predictive algorithm for attitude stabilization and spin control of small satellites. ECC 1999: 1830-1835
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 00:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
