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
Posted Content
Symbolic models for nonlinear time-delay systems using approximate bisimulations
TL;DR: In this article, the authors propose an approach based on the construction of symbolic models, where each symbolic state and each symbolic label correspond to an aggregate of continuous states and to an aggregated of input signals in the original system.
Journal ArticleDOI
Backstepping Design for Incremental Stability
Majid Zamani,Paulo Tabuada +1 more
TL;DR: A backstepping design approach for incremental stability is developed and it is shown that most of the existing controller design techniques provide controllers enforcing stability rather than incremental stability.
Proceedings ArticleDOI
Security for control systems under sensor and actuator attacks
TL;DR: It is shown that it is possible to increase the resilience of the system to attacks by changing the dynamics of theSystem using state-feedback while having (almost) total freedom in placing the new poles of the System.
Journal ArticleDOI
Bisimilar control affine systems
Paulo Tabuada,George J. Pappas +1 more
TL;DR: This paper presents differential geometric characterizations of two notions of bisimulation for nonlinear systems and shows that bisimilar systems of different dimensions are obtained by factoring out certain invariant distributions.
Proceedings ArticleDOI
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
TL;DR: A novel algorithm to synthesize controllers enforcing linear temporal logic specifications on discrete-time linear systems with theoretical foundations and technical underpinnings founded on the notion of sets adapted to the dynamics and binary decision diagrams is presented.