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
Optimization of a Gene Oscillator using Transcriptional Time Delay
TL;DR: Oscillatory behavior with dramatically reduced fluorescence intensity was observed having roughly the same frequency as the repressilator, but without the upward drift in baseline fluorescence.
Posted Content
Counter-example Guided Learning of Bounds on Environment Behavior
TL;DR: In this article, the authors present a data-driven solution that allows for a system to be evaluated for specification conformance without an accurate model of the environment, and demonstrate the applicability of the approach through two case-studies: i) verifying controllers for a toy multi-robot system, and ii) verifying an instance of human-robots interaction during a lane-change maneuver given real-world human driving data.
Proceedings ArticleDOI
Performance metrics for a biomolecular step response
Shaunak Sen,Richard M. Murray +1 more
TL;DR: This work addresses the issue of a fast biomolecular step response that is uniform across different cells and widely different environmental conditions using a combination of simple mathematical models and experimental measurements using single-cell time-lapse microscopy.
Proceedings ArticleDOI
Linear system identifiability from distributional and time series data
TL;DR: This work considers identifiability of linear systems driven by white noise using a combination of distributional and time series measurements and formulates theoretical conditions on identifiable of parameters from distributional information alone.
Revisiting the AMBA AHB bus case study
TL;DR: This report describes a number of changes to the ARM AMBA bus case study from Bloem et al. that lead to significant reduction in synthesis time, and identifies the reason of blowup for the synthesized strategies in earlier studies as lack of binary decision diagram (BDD) reordering during strategy construction.