Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDPaulo Tabuada
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j69]Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada:
On the computational complexity of the secure state-reconstruction problem. Autom. 136: 110083 (2022)- [j68]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) - [j67]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) - [j66]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) - [i47]Matteo Marchi, Lucas Fraile, Paulo Tabuada:
Dirty derivatives for output feedback stabilization. CoRR abs/2202.01941 (2022) - [i46]Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada:
Learning to control from expert demonstrations. CoRR abs/2203.05012 (2022) - 2021
- [j65]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) - [j64]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) - [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) - [c133]Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay, Paulo Tabuada:
An enhanced hierarchy for (robust) controlled invariance. ACC 2021: 4860-4865 - [c132]Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay, Paulo Tabuada:
Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems. CDC 2021: 1112-1119 - [c131]Yanwen Mao, Paulo Tabuada:
Decentralized Resilient State-Tracking. CDC 2021: 3480-3485 - [c130]Alimzhan Sultangazin, Lucas Fraile, Paulo Tabuada:
Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations *. CDC 2021: 5789-5794 - [c129]Paulo Tabuada, Bahman Gharesifard:
Universal approximation power of deep residual neural networks via nonlinear control theory. ICLR 2021 - [c128]Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam:
Learned Uncertainty Calibration for Visual Inertial Localization. ICRA 2021: 5311-5317 - [c127]Luigi Pannocchi, Tzanis Anevlavis, Paulo Tabuada:
Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. IROS 2021: 9219-9224 - [c126]Matteo Marchi, Bahman Gharesifard, Paulo Tabuada:
Training deep residual networks for uniform approximation guarantees. L4DC 2021: 677-688 - [c125]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) - [c124]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 - [c123]Jonathan Bunton, Paulo Tabuada:
Why not both? Exact continuous and discrete optimization with submodularity. CDC 2020: 4842-4847 - [c122]Carlos Murguia, Paulo Tabuada:
Privacy Against Adversarial Classification in Cyber-Physical Systems. CDC 2020: 5483-5488 - [c121]Juan Carlo Rebanal, Yahya H. Ezzeldin, Christina Fragouli, Paulo Tabuada:
A coding approach to localization using landmarks. GLOBECOM 2020: 1-6 - [c120]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 - [c119]Tzanis Anevlavis, Paulo Tabuada:
A simple hierarchy for computing controlled invariant sets. HSCC 2020: 23:1-23:11 - [c118]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 - [c117]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) - [c116]Raphaël M. Jungers, Paulo Tabuada:
Non-local Linearization of Nonlinear Differential Equations via Polyflows. ACC 2019: 1906-1911 - [c115]Nima Monshizadeh, Paulo Tabuada:
Plausible deniability as a notion of privacy. CDC 2019: 1710-1715 - [c114]Paulo Tabuada, Lucas Fraile:
Data-driven control for SISO feedback linearizable systems with unknown control gain. CDC 2019: 1803-1808 - [c113]Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada:
When is the Secure State-Reconstruction Problem Hard? CDC 2019: 5368-5373 - [c112]Tzanis Anevlavis, Paulo Tabuada:
Computing controlled invariant sets in two moves. CDC 2019: 6248-6254 - [c111]Alimzhan Sultangazin, Paulo Tabuada:
Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge. CDC 2019: 7209-7214 - [c110]Aaron D. Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada:
Control Barrier Functions: Theory and Applications. ECC 2019: 3420-3431 - [c109]Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada:
Evrostos: the rLTL verifier. HSCC 2019: 218-223 - [c108]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) - [c107]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 - [c106]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 - [c105]Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada:
Verifying rLTL formulas: now faster than ever before! CDC 2018: 1556-1561 - [c104]Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada:
Deciding Stability of a Switched System Without Identifying It. CDC 2018: 3134-3139 - [c103]Omar Hussien, Paulo Tabuada:
Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. CDC 2018: 3567-3572 - [c102]Alimzhan Sultangazin, Paulo Tabuada:
Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud. CDC 2018: 5008-5013 - [c101]Alimzhan Sultangazin, Suhas N. Diggavi, Paulo Tabuada:
Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud. ICCCN 2018: 1-7 - [c100]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) - [c99]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 - [c98]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 - [c97]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 - [c96]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 - [c95]MirSaleh Bahavarnia, Paulo Tabuada, Christoforos Somarakis, Nader Motee:
Improving sparsity in time and space via self-triggered sparse optimal controllers. CDC 2017: 4199-4204 - [c94]Paulo Tabuada, Wen-Loong Ma, Jessy W. Grizzle, Aaron D. Ames:
Data-driven control for feedback linearizable single-input systems. CDC 2017: 6265-6270 - [c93]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 - [c92]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 - [c91]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) - [c90]Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi:
Secure system identification. Allerton 2016: 1137-1141 - [c89]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 - [c88]Eric Dallal, Paulo Tabuada:
Decomposing controller synthesis for safety specifications. CDC 2016: 5720-5725 - [c87]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 - [c86]Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi:
System identification in the presence of adversarial outputs. CDC 2016: 7177-7182 - [c85]Eric Dallal, Daniel Neider, Paulo Tabuada:
Synthesis of safety controllers robust to unmodeled intermittent disturbances. CDC 2016: 7425-7430 - [c84]Paulo Tabuada, Daniel Neider:
Robust Linear Temporal Logic. CSL 2016: 10:1-10:21 - [c83]Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng:
Self-triggered controllers and hard real-time guarantees. DATE 2016: 636-641 - [c82]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 - [c81]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) - [c80]Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames:
Robustness of Control Barrier Functions for Safety Critical Control. ADHS 2015: 54-61 - [c79]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. ADHS 2015: 343-350 - [c78]Aakar Mehra, Wen-Loong Ma,