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
Journal ArticleDOI
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
TL;DR: It is shown that uniform continuity is necessary on the relations corresponding to both the state-space and the input-space, and continuity itself does not suffice, and hence stronger notions are proposed which strengthen simulation and bisimulation relations with uniform continuity constraints.
Posted Content
Biomolecular resource utilization in elementary cell-free gene circuits
TL;DR: In this paper, a detailed dynamical model of the behavior of transcription-translation circuits in vitro is presented, which makes explicit the roles played by essential molecular resources, and a set of simple two-gene test circuits operating in a cell-free biochemical 'breadboard' validate this model.
Proceedings ArticleDOI
Simultaneous Stabilization of Stall and Surge via Axisymmetric Air Inject ion
TL;DR: Simultaneous control of stall and surge has been achieved on a low speed, single stage, axial compressor using axisymmetric air injection as mentioned in this paper, but this was not achieved for the lower authority case.
Proceedings ArticleDOI
Control Program Verification for a Sample Titan Aerobot Mission
TL;DR: An original design for verication software tool called SBT Checker that aids in the design of modular, state-based goal trees for the control of separate tasks in the overall mission, is discussed.
Formalizing synthesis in TLA
TL;DR: A TLA+ definition for the problem of constructing a strategy that implements a temporal property, based on a note by Lamport that outlines a formalization of realizability in TLA, and it is proved that initial conditions should appear in assumptions only, unless an initial predicate is added to the definition of a realization.