Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tanmoy Bhowmik
Koh Aoki
Yan-Han Chew
Zhiguo Cao
Bhupendra Singh
J. Caiko
David J. Westover
Songhua Li
Sebastian Magda
David MacDonald
Home
/
Author
/
RICHARD M. MURRAY
Author Info
Open Visualization
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
100
1000
Publications (100 rows)
Collaborators (100 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
0
0.34
2021
Risk-Averse Planning Under Uncertainty
0
0.34
2020
Invariant Sets For Integrators And Quadrotor Obstacle Avoidance
0
0.34
2020
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
0
0.34
2020
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces
0
0.34
2019
Counter-example Guided Learning of Bounds on Environment Behavior
0
0.34
2019
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
1
0.35
2018
Role Of Interaction Network Topology In Controlling Microbial Population In Consortia
0
0.34
2018
Future systems and control research in synthetic biology.
2
0.41
2018
Enhancing tolerance to unexpected jumps in GR(1) games.
1
0.35
2017
Constrained Autonomous Satellite Docking Via Differential Flatness And Model Predictive Control
0
0.34
2016
Automata Theory Meets Approximate Dynamic Programming: Optimal Control With Temporal Logic Constraints
0
0.34
2016
Robot navigation in dense human crowds: Statistical models and experimental studies of human–robot cooperation
43
1.42
2015
Convex Optimal Uncertainty Quantification
2
0.36
2015
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
1
0.41
2015
Robust Model Predictive Control for Signal Temporal Logic Synthesis.
4
0.47
2015
Variable elimination for scalable receding horizon temporal logic planning
0
0.34
2015
Collaborative system identification via parameter consensus
3
0.41
2014
Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics
2
0.37
2014
Privacy preserving average consensus
26
0.85
2014
The Swarm at the Edge of the Cloud.
31
2.45
2014
A scalable formulation for engineering combination therapies for evolutionary dynamics of disease
11
0.83
2014
Efficient control synthesis for augmented finite transition systems with an application to switching protocols
3
0.45
2014
Exact stability analysis of discrete-time linear systems with stochastic delays
2
0.99
2014
Modeling the effects of compositional context on promoter activity in an E. coli extract based transcription-translation system
2
0.40
2014
Patching task-level robot controllers based on a local μ-calculus formula
6
0.48
2013
Robot navigation in dense human crowds: the case for cooperation
32
1.18
2013
Design and implementation of a biomolecular circuit for tracking protein concentration.
1
0.38
2013
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
6
0.48
2013
Modeling environmental disturbances with the chemical master equation
0
0.34
2013
Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ∞ approach.
0
0.34
2013
Motion Planning In Observations Space With Learned Diffeomorphism Models
5
0.42
2013
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
43
1.60
2013
A robust model predictive control algorithm augmented with a reactive safety mode.
10
1.05
2013
Efficient reactive controller synthesis for a fragment of linear temporal logic
19
0.95
2013
Temperature dependence of biomolecular circuit designs
0
0.34
2013
Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity
4
0.43
2013
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems
15
0.75
2013
Just-in-time synthesis for reactive motion planning with temporal logic
5
0.49
2013
Optimal Control of Nonlinear Systems with Temporal Logic Specifications
5
0.50
2013
On synthesizing robust discrete controllers under modeling uncertainty
17
0.78
2012
A case study on reactive protocols for aircraft electric power distribution
9
1.03
2012
Robust control of uncertain Markov Decision Processes with temporal logic specifications
31
1.08
2012
Towards Formal Synthesis Of Reactive Controllers For Dexterous Robotic Manipulation
10
0.55
2012
Bootstrapping bilinear models of robotic sensorimotor cascades.
6
0.57
2011
Distributed Synthesis of Control Protocols for Smart Camera Networks
15
0.85
2011
Bisimulation conversion and verification procedure for goal-based control systems
0
0.34
2011
A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor.
6
0.54
2011
Tuning a synthetic in vitro oscillator using control-theoretic tools
0
0.34
2010
A bio-plausible design for visual pose stabilization
9
0.68
2010
1
2
50 / page