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
Toward an Internet of Battlefield Things: A Resilience Perspective
Tarek Abdelzaher,Nora Ayanian,Tamer Basar,Suhas Diggavi,Jana Diesner,Deepak Ganesan,Ramesh Govindan,Susmit Jha,Tancrède Lepoint,Benjamin M. Marlin,Klara Nahrstedt,David M. Nicol,Ragunathan Rajkumar,Stephen Russell,Sanjit A. Seshia,Fei Sha,Prashant Shenoy,Mani Srivastava,Gaurav S. Sukhatme,Ananthram Swami,Paulo Tabuada,Don Towsley,Nitin H. Vaidya,Venu Veeravalli +23 more
TL;DR: The Internet of Battlefield Things (IoBT) might be one of the most expensive cyber-physical systems of the next decade, yet much research remains to develop its fundamental enablers.
Proceedings ArticleDOI
Robust discrete synthesis against unspecified disturbances
TL;DR: The theory and algorithmic tools for the design of robust discrete controllers for π-regular properties on discrete transition systems are presented and an application of the theory to theDesign of controllers that tolerate infinitely many transient errors provided they occur infrequently enough is shown.
Proceedings ArticleDOI
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving
Yasser Shoukry,Pierluigi Nuzzo,Nicola Bezzo,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia,Paulo Tabuada +5 more
TL;DR: It is shown that the possibility of reconstructing the state under such attacks is characterized by a suitable generalization of the notion of s-sparse observability, previously introduced by some of the authors in the linear case.
Posted Content
Symbolic Approximate Time-Optimal Control
Manuel Mazo,Paulo Tabuada +1 more
TL;DR: In this article, the use of symbolic models for time-optimal controller synthesis is investigated, where the authors consider systems related by approximate (alternating) simulation relations and show how such relations enable the transfer of time-optimality information between the systems.
Journal ArticleDOI
Approximate reduction of dynamic systems
TL;DR: The goal of this paper is to consider a more general form of reduction, termed approximate reduction, in order to extend the class of systems that can be reduced, and gives conditions on when a dynamic system can be projected to a lower dimensional space while providing hard bounds on the induced errors.