Richard M. Murray
According to our database1,
Richard M. Murray
authored at least 240 papers
between 1989 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2020
CoRR, 2020
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 2020 American Control Conference, 2020
Learning Pose Estimation for UAV Autonomous Navigation and Landing Using Visual-Inertial Sensor Data.
Proceedings of the 2020 American Control Conference, 2020
Proceedings of the 2020 American Control Conference, 2020
2019
Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data.
CoRR, 2019
Proceedings of the 17th European Control Conference, 2019
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits.
Proceedings of the 17th European Control Conference, 2019
Proceedings of the 3rd Annual Conference on Robot Learning, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 American Control Conference, 2019
A modal interface contract theory for guarded input/output automata with an application in traffic system design.
Proceedings of the 2019 American Control Conference, 2019
Proceedings of the 2019 American Control Conference, 2019
Proceedings of the 2019 American Control Conference, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems.
Discret. Event Dyn. Syst., 2018
Proceedings of the Robotics: Science and Systems XIV, 2018
Role of interaction network topology in controlling microbial population in consortia.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Systems & Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges.
Annu. Rev. Control., 2017
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States.
Proceedings of the Robotics Research, The 18th International Symposium, 2017
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 2017 American Control Conference, 2017
A fast motion planning representation for configuration flat robots with applications to micro air vehicles.
Proceedings of the 2017 American Control Conference, 2017
2016
Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks.
SIAM J. Appl. Dyn. Syst., 2016
SIAM J. Appl. Dyn. Syst., 2016
Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 15th European Control Conference, 2016
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Constrained autonomous satellite docking via differential flatness and model predictive control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.
IEEE Trans. Control. Netw. Syst., 2015
Robot navigation in dense human crowds: Statistical models and experimental studies of human-robot cooperation.
Int. J. Robotics Res., 2015
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015
Symbolic construction of GR(1) contracts for synchronous systems with full information.
CoRR, 2015
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
A state-space realization approach to set identification of biochemical kinetic parameters.
Proceedings of the 14th European Control Conference, 2015
Global network identification from reconstructed dynamical structure subnetworks: Applications to biochemical reaction networks.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
An iterative abstraction algorithm for reactive correct-by-construction controller synthesis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Engineering principles of synthetic biochemical oscillators with negative cyclic feedback.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the American Control Conference, 2015
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.
J. Aerosp. Inf. Syst., 2014
Dagstuhl Reports, 2014
IEEE Access, 2014
A compositional approach to stochastic optimal control with co-safe temporal logic specifications.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Modeling the effects of compositional context on promoter activity in an E. coli extract based transcription-translation system.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Efficient control synthesis for augmented finite transition systems with an application to switching protocols.
Proceedings of the American Control Conference, 2014
Proceedings of the American Control Conference, 2014
Synthesis of correct-by-construction control protocols for hybrid systems using partial state information.
Proceedings of the American Control Conference, 2014
A scalable formulation for engineering combination therapies for evolutionary dynamics of disease.
Proceedings of the American Control Conference, 2014
Proceedings of the American Control Conference, 2014
2013
IEEE Trans. Autom. Control., 2013
Discriminating External and Internal Causes for Heading Changes in Freely Flying <i>Drosophila</i>.
PLoS Comput. Biol., 2013
IEEE Secur. Priv., 2013
Optimization of convergence rate and stability margin of information flow in cooperative systems.
Autom., 2013
Autom., 2013
Proceedings of the Robotics Research, 2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
An aircraft electric power testbed for validating automatically synthesized reactive control protocols.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Proceedings of the 12th European Control Conference, 2013
Pre-orders for reasoning about stability properties with respect to input of hybrid systems.
Proceedings of the International Conference on Embedded Software, 2013
Proceedings of the Complex Systems Design & Management, 2013
Resource competition as a source of non-minimum phase behavior in transcription-translation systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
An in silico modeling toolbox for rapid prototyping of circuits in a biomolecular "breadboard" system.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ∞ approach.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the American Control Conference, 2013
Design and implementation of a biomolecular circuit for tracking protein concentration.
Proceedings of the American Control Conference, 2013
Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems.
Proceedings of the American Control Conference, 2013
Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids.
Proceedings of the American Control Conference, 2013
Proceedings of the American Control Conference, 2013
2012
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle.
ACM Trans. Embed. Comput. Syst., 2012
Proceedings of the 10th IFAC Workshop on Time Delay Systems, 2012
Proceedings of the Robotics: Science and Systems VIII, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Robust control of uncertain Markov Decision Processes with temporal logic specifications.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Reactive controllers for differentially flat systems with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the American Control Conference, 2012
Temporal logic control of switched affine systems with an application in fuel balancing.
Proceedings of the American Control Conference, 2012
Proceedings of the American Control Conference, 2012
2011
SIAM J. Appl. Dyn. Syst., 2011
Formal Methods Syst. Des., 2011
A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor.
Proceedings of the 2011 IEEE International Conference on Robotics and Biomimetics, 2011
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Proceedings of the IEEE International Conference on Robotics and Automation, 2011
Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents.
Proceedings of the 1st International Conference on Development and Learning and on Epigenetic Robotics, 2011
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
IEEE Trans. Autom. Control., 2010
Proc. IEEE, 2010
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010
Proceedings of the 47th Design Automation Conference, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the Embedded Reasoning, 2010
2009
IEEE Trans. Biomed. Eng., 2009
To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels.
IEEE Trans. Autom. Control., 2009
IEEE Trans. Autom. Control., 2009
Autom., 2009
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the American Control Conference, 2009
Proceedings of the American Control Conference, 2009
Proceedings of the American Control Conference, 2009
2008
Proceedings of the 10th International Conference on Control, 2008
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the American Control Conference, 2008
Proceedings of the American Control Conference, 2008
Proceedings of the American Control Conference, 2008
Safety verification of fault tolerant goal-based control programs with estimation uncertainty.
Proceedings of the American Control Conference, 2008
2007
IEEE/ACM Trans. Netw., 2007
IEEE Trans. Control. Syst. Technol., 2007
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.
Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007
Change sensor topology when needed: How to efficiently use system resources in control and estimation over wireless networks.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links.
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
Kalman Filtering with Uncertain Process and Measurement Noise Covariances with Application to State Estimation in Sensor Networks.
Proceedings of the IEEE International Conference on Control Applications, 2007
Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop.
Proceedings of the IEEE International Conference on Control Applications, 2007
2006
J. Field Robotics, 2006
Autom., 2006
On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage.
Autom., 2006
Autom., 2006
Model-based Estimation of Off-highway Road Geometry using Single-axis LADAR and Inertial Sensing.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
2005
Approximate distributed kalman filtering in sensor networks with quantifiable performance.
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005
Communication and sensing trade-offs in decentralized mobile sensor networks: a cross-layer design approach.
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005
Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005
An Experimental Platform for Motion Estimation and Maneuver Characterization in High Speed Off-Road Driving.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005
2004
IEEE Trans. Autom. Control., 2004
IEEE Trans. Autom. Control., 2004
Proceedings of the First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004
Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004
Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004
Sensor scheduling algorithms requiring limited computation [vehicle sonar range-finder example].
Proceedings of the 2004 IEEE International Conference on Acoustics, 2004
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
2003
Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses.
Eur. J. Control, 2003
Decomposition of human motion into dynamics-based primitives with application to drawing tasks.
Autom., 2003
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
2002
Bifurcation control of rotating stall with actuator magnitude and rate limits: Part II - control synthesis and comparison with experiments.
Autom., 2002
Bifurcation control of rotating stall with actuator magnitude and rate limits: Part I - model reduction and qualitative dynamics.
Autom., 2002
2001
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
1999
1997
An experimental comparison of tradeoffs in using compliant manipulators for robotic grasping tasks.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997
1995
Proceedings of the 1995 International Conference on Robotics and Automation, 1995
1994
Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems.
Math. Control. Signals Syst., 1994
Proceedings of the 1994 International Conference on Robotics and Automation, 1994
A mathematical introduction to robotics manipulation.
CRC Press, ISBN: 978-0-8493-7981-9, 1994
1992
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992
An experimental study of hierarchical control laws for grasping and manipulation using a two-fingered planar hand.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992
1989
Proceedings of the 1989 IEEE International Conference on Robotics and Automation, 1989