P
Paulo Tabuada
Researcher at University of California, Los Angeles
Publications - 300
Citations - 25801
Paulo Tabuada is an academic researcher from University of California, Los Angeles. The author has contributed to research in topics: Control system & Control theory. The author has an hindex of 60, co-authored 288 publications receiving 20444 citations. Previous affiliations of Paulo Tabuada include University of California, Berkeley & Instituto Superior Técnico.
Papers
More filters
Journal ArticleDOI
Compositional Transient Stability Analysis of Multimachine Power Networks
TL;DR: Energy-based models derived from first principles that are not subject to hard-to-justify classical assumptions are used to derive intuitive conditions ensuring the transient stability of power systems with lossy transmission lines.
Journal ArticleDOI
Secure State Estimation against Sensor Attacks in the Presence of Noise
TL;DR: In this paper, the problem of estimating the state of a noisy linear dynamical system when an unknown subset of sensors is arbitrarily corrupted by an adversary is considered, and a secure state estimation algorithm is proposed to derive (optimal) bounds on the achievable state estimation error given an upper bound on the number of attacked sensors.
Proceedings ArticleDOI
Privacy-aware quadratic optimization using partially homomorphic encryption
Yasser Shoukry,Konstantinos Gatsis,Amr Alanwar,George J. Pappas,Sanjit A. Seshia,Mani Srivastava,Paulo Tabuada +6 more
TL;DR: A privacy-preserving protocol based on partially homomorphic encryption where each agent encrypts its own information before sending it to an untrusted cloud computing infrastructure to find the optimal solution.
Journal ArticleDOI
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks
Yasser Shoukry,Michelle S. Chong,Masashi Wakaiki,Pierluigi Nuzzo,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia,Joao P. Hespanha,Paulo Tabuada +7 more
TL;DR: A novel multi-modal Luenberger (MML) observer based on efficient Satisfiability Modulo Theory (SMT) solving is proposed and an efficient SMT-based decision procedure is developed able to reason about the estimates of the MML observer to detect at runtime which sets of sensors are attack-free, and use them to obtain a correct state estimate.
Proceedings ArticleDOI
Preliminary results on state-trigered scheduling of stabilizing control tasks
Paulo Tabuada,Xiaofeng Wang +1 more
TL;DR: This paper investigates the feasibility of a simple state triggered scheduler based on the state norm and provides some schedulability results.