R
Richard M. Murray
Researcher at California Institute of Technology
Publications - 731
Citations - 74988
Richard M. Murray is an academic researcher from California Institute of Technology. The author has contributed to research in topics: Control theory & Linear temporal logic. The author has an hindex of 97, co-authored 711 publications receiving 69016 citations. Previous affiliations of Richard M. Murray include University of California, San Francisco & University of Washington.
Papers
More filters
Proceedings ArticleDOI
Uniting local and global controllers for the Caltech ducted fan
TL;DR: In this paper, the authors investigate the properties of an algorithm for uniting local and global controllers proposed by Teel et al. to simplify the control design process and to illustrate robustness.
Journal ArticleDOI
Using Hierarchical Decomposition to Speed Up Average Consensus
TL;DR: In this article, the authors consider communication graphs that can be decomposed into a hierarchical structure and present a consensus scheme that exploits this hierarchical topology, where consensus is performed within the individual subgraphs starting with those of the lowest layer of the hierarchy and moving upwards.
Proceedings ArticleDOI
On the control of jump linear Markov systems with Markov state estimation
TL;DR: A suboptimal version of the casual Viterbi estimation algorithm is considered and it is shown that a separation property does not hold between the optimal control and the Markov state estimate.
Proceedings ArticleDOI
Applications and extensions of Goursat normal form to control of nonlinear systems
TL;DR: The Goursat normal form theorem gives conditions under which a Pfaffian exterior differential system is equivalent to a certain normal form as discussed by the authors, and it provides a unified framework for understanding feedback linearization, chained form, and differential flatness.
Proceedings ArticleDOI
A case study on reactive protocols for aircraft electric power distribution
TL;DR: This work formalizes requirements for a control protocol for the aircraft electric power system by translating them into a temporal logic specification language describing the correct behaviors of the system, and applies formal methods to automatically synthesize a controller protocol that satisfies system properties and requirements.