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
Proceedings ArticleDOI
From LTL to rLTL monitoring: improved monitorability through robust semantics
Corto Mascle,Daniel Neider,Maximilian Schwenger,Paulo Tabuada,Alexander Weinert,Martin Zimmermann +5 more
TL;DR: In this article, a robust semantics for finite strings is introduced, which can be used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions.
Posted Content
Being correct is not enough: efficient verification using robust linear temporal logic.
TL;DR: In this article, the authors introduce the logic rLTL which provides a means to formally reason about both correctness and robustness in system design, and they identify a large fragment of lTL for which the verification problem can be efficiently solved, i.e., verification can be done by using an automaton, recognizing the behaviors described by the lTL formula.
Proceedings ArticleDOI
Towards synthesis of platform-aware attack-resilient control systems: extended abstract
Miroslav Pajic,Nicola Bezzo,James Weimer,Rajeev Alur,Rahul Mangharam,Nathan Michael,George J. Pappas,Oleg Sokolsky,Paulo Tabuada,Stephanie Weirich,Insup Lee +10 more
TL;DR: Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract.
Journal ArticleDOI
Sum-of-Squares methods for controlled invariant sets with applications to model-predictive control
TL;DR: A method for computing controlled invariant sets of discrete-time affine systems using Sum-of-Squares programming that is reduced to a semidefinite programming problem by enforcing an invariance relation in the dual space of the geometric problem.
Proceedings ArticleDOI
Data-driven control for SISO feedback linearizable systems with unknown control gain
Paulo Tabuada,Lucas Fraile +1 more
TL;DR: By relying on a feedback linearizability assumption, this paper shows how, based on prior ideas by Fliess and co-workers on model-free control, it is possible to accomplish such objective.