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
A Notion of Robustness for Cyber-Physical Systems
Matthias Rungger,Paulo Tabuada +1 more
TL;DR: A notion of robustness termed input-output dynamical stability for cyber-physical systems (CPS) which merges existing notions of robustity for continuous systems and discrete systems is introduced.
Posted Content
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
TL;DR: This paper develops a control approach with correctness guarantees for the simultaneous operation of lane keeping and adaptive cruise control, and employs an assume-guarantee formalism between these two subsystems, such that they can be considered individually.
Journal ArticleDOI
Exploiting Isochrony in Self-Triggered Control
Adolfo Anta,Paulo Tabuada +1 more
TL;DR: This paper presents a new technique for the computation of the execution instants by exploiting the concept of isochronous manifolds, and shows how to homogenize smooth control systems thus making the results applicable to any smooth control system.
Journal ArticleDOI
Bisimulation Relations for Dynamical and Control Systems
TL;DR: The unification of the bisimulation relation for labeled transition systems and dynamical systems under the umbrella of abstract bisimulations is a first step towards a unified approach to modeling of and reasoning about the dynamics of discrete and continuous structures in computer science and control theory.
Proceedings ArticleDOI
Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds
Xiangru Xu,Thomas Waters,Daniel Pickem,Paul Glotfelter,Magnus Egerstedt,Paulo Tabuada,Jessy W. Grizzle,Aaron D. Ames +7 more
TL;DR: Experimental results on novel robot testbeds that allow the evaluation of the simultaneous implementation of adaptive speed regulation and lane keeping in a safe, education-centric, and inexpensive manner are presented.