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
Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs
TL;DR: In this paper, the authors propose an approach to synthesize sampled-data counterparts to these control Lyapunov function (CLF) based controllers, specified as quadratically constrained quadratic programs (QCQPs).
Posted Content
On the Computational Complexity of the Secure State-Reconstruction Problem.
TL;DR: In this paper, the problem of reconstructing the state of a linear system from sensor measurements that have been corrupted by an adversary is discussed and a polynomial time algorithm to reconstruct the state is presented.
Posted Content
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
TL;DR: The contribution of this paper is to show that synthesis for cyber-physical systems is viable by considering a fragment of LTL that is expressive enough to describe interesting properties but simple enough to avoid Safra's construction.
Proceedings ArticleDOI
A simple hierarchy for computing controlled invariant sets
Tzanis Anevlavis,Paulo Tabuada +1 more
TL;DR: This paper describes a hierarchy of spaces where the original problem can be lifted into so as to obtain a sequence of increasing controlled invariant sets and illustrates the performance of the proposed method on a variety of scenarios exemplifying its appeal.
Journal ArticleDOI
Guest editorial: special issue on formal methods in control
Necmiye Ozay,Paulo Tabuada +1 more
TL;DR: The purpose of this special issue is to present the latest developments in formal methods and control theory, and to present an alternative to the verification paradigm prevalent in the formal methods area.