
Paulo Tabuada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j62]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) - [j61]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) - 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) - [c108]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 - [c107]Tzanis Anevlavis, Paulo Tabuada:
A simple hierarchy for computing controlled invariant sets. HSCC 2020: 23:1-23:11 - [c106]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 - [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) - [c105]Raphaël M. Jungers, Paulo Tabuada:
Non-local Linearization of Nonlinear Differential Equations via Polyflows. ACC 2019: 1906-1911 - [c104]Nima Monshizadeh, Paulo Tabuada:
Plausible deniability as a notion of privacy. CDC 2019: 1710-1715 - [c103]Paulo Tabuada, Lucas Fraile:
Data-driven control for SISO feedback linearizable systems with unknown control gain. CDC 2019: 1803-1808 - [c102]Yanwen Mao, Aritra Mitra, Shreyas Sundaram, Paulo Tabuada:
When is the Secure State-Reconstruction Problem Hard? CDC 2019: 5368-5373 - [c101]Tzanis Anevlavis, Paulo Tabuada:
Computing controlled invariant sets in two moves. CDC 2019: 6248-6254 - [c100]Alimzhan Sultangazin, Paulo Tabuada:
Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge. CDC 2019: 7209-7214 - [c99]Aaron D. Ames
, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, Paulo Tabuada:
Control Barrier Functions: Theory and Applications. ECC 2019: 3420-3431 - [c98]Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada:
Evrostos: the rLTL verifier. HSCC 2019: 218-223 - [c97]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) - [c96]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 - [c95]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 - [c94]Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada:
Verifying rLTL formulas: now faster than ever before! CDC 2018: 1556-1561 - [c93]Ayca Balkan, Raphaël M. Jungers, Joris Kenanian, Paulo Tabuada:
Deciding Stability of a Switched System Without Identifying It. CDC 2018: 3134-3139 - [c92]Omar Hussien, Paulo Tabuada:
Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications. CDC 2018: 3567-3572 - [c91]Alimzhan Sultangazin, Paulo Tabuada:
Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud. CDC 2018: 5008-5013 - [c90]Alimzhan Sultangazin, Suhas N. Diggavi, Paulo Tabuada:
Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud. ICCCN 2018: 1-7 - [c89]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) - [c88]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 - [c87]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 - [c86]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 - [c85]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 - [c84]MirSaleh Bahavarnia, Paulo Tabuada, Christoforos Somarakis, Nader Motee:
Improving sparsity in time and space via self-triggered sparse optimal controllers. CDC 2017: 4199-4204 - [c83]Paulo Tabuada, Wen-Loong Ma, Jessy W. Grizzle, Aaron D. Ames
:
Data-driven control for feedback linearizable single-input systems. CDC 2017: 6265-6270 - [c82]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 - [c81]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 - [c80]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) - [c79]Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi:
Secure system identification. Allerton 2016: 1137-1141 - [c78]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 - [c77]Eric Dallal, Paulo Tabuada:
Decomposing controller synthesis for safety specifications. CDC 2016: 5720-5725 - [c76]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 - [c75]Mehrdad Showkatbakhsh, Paulo Tabuada, Suhas N. Diggavi:
System identification in the presence of adversarial outputs. CDC 2016: 7177-7182 - [c74]Eric Dallal, Daniel Neider, Paulo Tabuada:
Synthesis of safety controllers robust to unmodeled intermittent disturbances. CDC 2016: 7425-7430 - [c73]Paulo Tabuada, Daniel Neider:
Robust Linear Temporal Logic. CSL 2016: 10:1-10:21 - [c72]Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng:
Self-triggered controllers and hard real-time guarantees. DATE 2016: 636-641 - [c71]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 - [c70]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) - [c69]Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle, Aaron D. Ames
:
Robustness of Control Barrier Functions for Safety Critical Control. ADHS 2015: 54-61 - [c68]Ayca Balkan, Moshe Y. Vardi, Paulo Tabuada:
Controller Synthesis for Mode-Target Games. ADHS 2015: 343-350 - [c67]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 - [c66]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 - [c65]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 - [c64]Miroslav Pajic
, Paulo Tabuada, Insup Lee, George J. Pappas
:
Attack-resilient state estimation in the presence of noise. CDC 2015: 5827-5832 - [c63]Eric Dallal, Paulo Tabuada:
On compositional symbolic controller synthesis inspired by small-gain theorems. CDC 2015: 6133-6138 - [c62]Sina Y. Caliskan, Paulo Tabuada:
Uses and abuses of the swing equation model. CDC 2015: 6662-6667 - [c61]Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch:
Comparing asynchronous l-complete approximations and quotient based abstractions. CDC 2015: 6823-6829 - [c60]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 - [c59]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) - [c58]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 - [c57]Matthias Rungger, Paulo Tabuada:
Discounting the past in robust finite-state systems. CDC 2014: 842-847 - [c56]Shaunak Mishra, Nikhil Karamchandani, Paulo Tabuada, Suhas N. Diggavi:
Secure state estimation and control using multiple (insecure) observers. CDC 2014: 1620-1625 - [c55]Yasser Shoukry
, Paulo Tabuada:
Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks. CDC 2014: 3548-3553 - [c54]Aaron D. Ames
, Jessy W. Grizzle, Paulo Tabuada:
Control barrier function based quadratic programs with application to adaptive cruise control. CDC 2014: 6271-6278 - [c53]Matthias Rungger, Paulo Tabuada:
Abstracting and refining robustness for cyber-physical systems. HSCC 2014: 223-232 - [c52]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) - [c51]Matthias Rungger, Paulo Tabuada:
A symbolic approach to the design of robust cyber-physical systems. CDC 2013: 3932-3937 - [c50]