Name
Affiliation
Papers
RICHARD M. MURRAY
CALTECH, Dept Control & Dynam Syst, 1200 E Calif Blvd, Pasadena, CA 91125 USA
233
Collaborators
Citations 
PageRank 
308
12322
1223.70
Referers 
Referees 
References 
13986
2134
1838
Search Limit
1001000
Title
Citations
PageRank
Year
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications00.342021
Risk-Averse Planning Under Uncertainty00.342020
Invariant Sets For Integrators And Quadrotor Obstacle Avoidance00.342020
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions00.342020
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces00.342019
Counter-example Guided Learning of Bounds on Environment Behavior00.342019
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.10.352018
Role Of Interaction Network Topology In Controlling Microbial Population In Consortia00.342018
Future systems and control research in synthetic biology.20.412018
Enhancing tolerance to unexpected jumps in GR(1) games.10.352017
Constrained Autonomous Satellite Docking Via Differential Flatness And Model Predictive Control00.342016
Automata Theory Meets Approximate Dynamic Programming: Optimal Control With Temporal Logic Constraints00.342016
Robot navigation in dense human crowds: Statistical models and experimental studies of human–robot cooperation431.422015
Convex Optimal Uncertainty Quantification20.362015
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution10.412015
Robust Model Predictive Control for Signal Temporal Logic Synthesis.40.472015
Variable elimination for scalable receding horizon temporal logic planning00.342015
Collaborative system identification via parameter consensus30.412014
Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics20.372014
Privacy preserving average consensus260.852014
The Swarm at the Edge of the Cloud.312.452014
A scalable formulation for engineering combination therapies for evolutionary dynamics of disease110.832014
Efficient control synthesis for augmented finite transition systems with an application to switching protocols30.452014
Exact stability analysis of discrete-time linear systems with stochastic delays20.992014
Modeling the effects of compositional context on promoter activity in an E. coli extract based transcription-translation system20.402014
Patching task-level robot controllers based on a local μ-calculus formula60.482013
Robot navigation in dense human crowds: the case for cooperation321.182013
Design and implementation of a biomolecular circuit for tracking protein concentration.10.382013
Pre-orders for reasoning about stability properties with respect to input of hybrid systems60.482013
Modeling environmental disturbances with the chemical master equation00.342013
Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ∞ approach.00.342013
Motion Planning In Observations Space With Learned Diffeomorphism Models50.422013
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications431.602013
A robust model predictive control algorithm augmented with a reactive safety mode.101.052013
Efficient reactive controller synthesis for a fragment of linear temporal logic190.952013
Temperature dependence of biomolecular circuit designs00.342013
Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity40.432013
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems150.752013
Just-in-time synthesis for reactive motion planning with temporal logic50.492013
Optimal Control of Nonlinear Systems with Temporal Logic Specifications50.502013
On synthesizing robust discrete controllers under modeling uncertainty170.782012
A case study on reactive protocols for aircraft electric power distribution91.032012
Robust control of uncertain Markov Decision Processes with temporal logic specifications311.082012
Towards Formal Synthesis Of Reactive Controllers For Dexterous Robotic Manipulation100.552012
Bootstrapping bilinear models of robotic sensorimotor cascades.60.572011
Distributed Synthesis of Control Protocols for Smart Camera Networks150.852011
Bisimulation conversion and verification procedure for goal-based control systems00.342011
A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor.60.542011
Tuning a synthetic in vitro oscillator using control-theoretic tools00.342010
A bio-plausible design for visual pose stabilization90.682010
  • 1
  • 2