Control experiments in planar manipulation and grasping. - Richard M. Murray; S. Shankar Sastry (ICRA, 1989)

Fingerlike biomechanical robots. - D. Curtis Deno; Richard M. Murray; Kristofer S. J. Pister; S. Shankar Sastry (ICRA, 1992)

An experimental study of hierarchical control laws for grasping and manipulation using a two-fingered planar hand. - Karin Hollerbach; Richard M. Murray; S. Shankar Sastry (ICRA, 1992)

Steering car-like systems with trailers using sinusoids. - Dawn M. Tilbury; Jean-Paul Laumond; Richard M. Murray; Shankar Sastry 001; Gregory Walsh (ICRA, 1992)

Control primitives for robot systems. - Richard M. Murray; D. Curtis Deno; Kristofer S. J. Pister; S. Shankar Sastry (IEEE Trans. Syst. Man Cybern., 1992)

Nonholonomic motion planning: steering using sinusoids. - Richard M. Murray; S. Shankar Sastry (IEEE Trans. Autom. Control., 1993)

A mathematical introduction to robotics manipulation. - Richard M. Murray; Zexiang Li 001; S. Shankar Sastry (CRC Press, 1994)

Nonholonomic Mechanics and Locomotion: The Snakeboard Example. - James P. Ostrowski; Andrew D. Lewis; Richard M. Murray; Joel W. Burdick (ICRA, 1994)

Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems. - Richard M. Murray (Math. Control. Signals Syst., 1994)

Stabilization of trajectories for systems with nonholonomic constraints. - Gregory Walsh; Dawn M. Tilbury; Shankar Sastry 001; Richard M. Murray; Jean-Paul Laumond (IEEE Trans. Autom. Control., 1994)

A motion planner for nonholonomic mobile robots. - Jean-Paul Laumond; Paul E. Jacobs; Michel Taïx; Richard M. Murray (IEEE Trans. Robotics Autom., 1994)

The Mechanisms of Undulatory Locomotion: The Mixed Kinematic and Dynamic Case. - James P. Ostrowski; Joel W. Burdick; Andrew D. Lewis; Richard M. Murray (ICRA, 1995)

Geometric phases and robotic locomotion. - Scott David Kelly; Richard M. Murray (J. Field Robotics, 1995)

Trajectory generation for the N-trailer problem using Goursat normal form. - Dawn M. Tilbury; Richard M. Murray; S. Shankar Sastry (IEEE Trans. Autom. Control., 1995)

An experimental comparison of tradeoffs in using compliant manipulators for robotic grasping tasks. - Sudipto Sur; Richard M. Murray (ICRA, 1997)

Exponential stabilization of driftless nonlinear control systems using homogeneous feedback. - Robert T. M'Closkey; Richard M. Murray (IEEE Trans. Autom. Control., 1997)

Tracking for fully actuated mechanical systems: a geometric framework. - Francesco Bullo; Richard M. Murray (Autom., 1999)

Configuration Controllability of Simple Mechanical Control Systems. - Andrew D. Lewis; Richard M. Murray (SIAM Rev., 1999)

Nonlinear analysis on the effects of magnitude saturation for a combustion model with fuel modulation actuators. - Yong Wang; Richard M. Murray (ACC, 2000)

Finite-horizon optimal control and stabilization of time-scalable systems. - J. Alexander Fax; Richard M. Murray (CDC, 2000)

Optimal control of affine connection control systems: a variational approach. - J. Alexander Fax; Richard M. Murray (CDC, 2000)

A new computational approach to real-time trajectory generation for constrained mechanical systems. - Mark B. Milam; Kudah Mushambi; Richard M. Murray (CDC, 2000)

A geometric perspective on bifurcation control. - Yong Wang; Richard M. Murray (CDC, 2000)

Modeling and control of thin film morphology using unsteady processing parameters: Problem formulation and initial results. - Martha A. Gallivan; David G. Goodwin; Richard M. Murray (CDC, 2001)

Nonlinear Control Methods for Planar Carangiform Robot Fish Locomotion. - Kristi A. Morgansen; Vincent Duindam; Richard Mason; Joel W. Burdick; Richard M. Murray (ICRA, 2001)

On the choice of norm for modeling compressible flow dynamics at reduced-order using the POD. - Tim Colonius; Clancy W. Rowley; Jonathan B. Freud; Richard M. Murray (CDC, 2002)

The Caltech Multi-Vehicle Wireless Testbed. - Lars B. Cremean; William B. Dunbar; Dave van Gogh; Jason Hickey; Eric Klavins; Jason Meltzer; Richard M. Murray (CDC, 2002)

Model predictive control of coordinated multi-vehicle formations. - William B. Dunbar; Richard M. Murray (CDC, 2002)

Real-time trajectory generation for the cooperative path planning of multi-vehicle systems. - Feng-Li Lian; Richard M. Murray (CDC, 2002)

Distributed structural stabilization and tracking for formations of dynamic multi-agents. - Reza Olfati-Saber; Richard M. Murray (CDC, 2002)

Graph rigidity and distributed formation stabilization of multi-vehicle systems. - Reza Olfati-Saber; Richard M. Murray (CDC, 2002)

Bifurcation control of rotating stall with actuator magnitude and rate limits: Part I - model reduction and qualitative dynamics. - Yong Wang; Richard M. Murray (Autom., 2002)

Bifurcation control of rotating stall with actuator magnitude and rate limits: Part II - control synthesis and comparison with experiments. - Yong Wang; Simon Yeung; Richard M. Murray (Autom., 2002)

The RoboFlag competition. - Raffaello D'Andrea; Richard M. Murray (ACC, 2003)

Model reduction and system identification for master equation control systems. - Martha A. Gallivan; Richard M. Murray (ACC, 2003)

On the control of jump linear Markov systems with Markov state estimation. - Vijay Gupta 001; Richard M. Murray; Babak Hassibi (ACC, 2003)

Stability and performance analysis with double-graph model of vehicle formations. - Zhipu Jin; Richard M. Murray (ACC, 2003)

Cooperative control of multi-vehicle systems using cost graphs and optimization. - Reza Olfati-Saber; William B. Dunbar; Richard M. Murray (ACC, 2003)

Consensus protocols for networks of dynamic agents. - Reza Olfati-Saber; Richard M. Murray (ACC, 2003)

Observability and local observer construction for unknown parameters in linearly and nonlinearly parameterized systems. - Domitilla Del Vecchio; Richard M. Murray (ACC, 2003)

Segmentation of human motion into dynamics based primitives with application to drawing tasks. - Domitilla Del Vecchio; Richard M. Murray; Pietro Perona (ACC, 2003)

Stability analysis of stochastically varying formations of dynamic agents. - Vijay Gupta 001; Babak Hassibi; Richard M. Murray (CDC, 2003)

Stability analysis of interconnected nonlinear systems under matrix feedback. - Lars B. Cremean; Richard M. Murray (CDC, 2003)

Low-observable nonlinear trajectory generation for unmanned air vehicles. - Kathy Misovec; Tamer Inanc; Jerry M. Wohletz; Richard M. Murray (CDC, 2003)

Flocking with obstacle avoidance: cooperation with limited communication in mobile networks. - Reza Olfati-Saber; Richard M. Murray (CDC, 2003)

Agreement problems in networks with directed graphs and switching topology. - Reza Olfati-Saber; Richard M. Murray (CDC, 2003)

Nonlinear trajectory generation for the Caltech Multi-Vehicle Wireless Testbed. - Jonathan Chauvin; Laure Sinègre; Richard M. Murray (ECC, 2003)

Nonlinear and cooperative control of multiple hovercraft with input constraints. - William B. Dunbar; Reza Olfati-Saber; Richard M. Murray (ECC, 2003)

Classification of human actions into dynamics based primitives with application to drawing tasks. - Domitilla Del Vecchio; Richard M. Murray; Pietro Perona (ECC, 2003)

Cooperative task planning of multi-robot systems with temporal constraints. - Feng-Li Lian; Richard M. Murray (ICRA, 2003)

Vehicle motion planning using stream functions. - Stephen Waydo; Richard M. Murray (ICRA, 2003)

Decomposition of human motion into dynamics-based primitives with application to drawing tasks. - Domitilla Del Vecchio; Richard M. Murray; Pietro Perona (Autom., 2003)

Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses. - Richard M. Murray (Eur. J. Control, 2003)

On the synthesis of control laws for a network of autonomous agents. - Vijay Gupta 001; Babak Hassibi; Richard M. Murray (ACC, 2004)

MVWT-II: the second generation Caltech Multi-Vehicle Wireless Testbed. - Zhipu Jin; Stephan Waydo; Elisabeth B. Wildanger; Michael Lammers; Hans Scholze; Peter Foley; David Held; Richard M. Murray (ACC, 2004)

Vision as a compensatory mechanism for disturbance rejection in upwind flight. - Michael B. Reiser; J. Sean Humbert; Mary J. Dunlop; Domitilla Del Vecchio; Richard M. Murray; Michael H. Dickinson (ACC, 2004)

A framework for Lyapunov certificates for multi-vehicle rendezvous problems. - Abhishek Tiwari 004; Jimmy Fung; John M. Carson III; Ratkim Bhattacharya; Richard M. Murray (ACC, 2004)

Ellipsoidal cones and rendezvous of multiple agents. - Raktim Bhattacharya; Jimmy Fung; Abhishek Tiwari 004; Richard M. Murray (CDC, 2004)

On a decentralized active sensing strategy using mobile sensor platforms in a network. - Timothy H. Chung; Vijay Gupta 001; Joel W. Burdick; Richard M. Murray (CDC, 2004)

Receding horizon control of multi-vehicle formations: a distributed implementation. - William B. Dunbar; Richard M. Murray (CDC, 2004)

Nonlinear trajectory generation for unmanned air vehicles with multiple radars. - Tamer Inanc; Kathy Misovec; Richard M. Murray (CDC, 2004)

Double-graph control strategy of multi-vehicle formations. - Zhipu Jin; Richard M. Murray (CDC, 2004)

Robust connectivity of networked vehicles. - Demetri P. Spanos; Richard M. Murray (CDC, 2004)

Existence of discrete state estimators for hybrid systems on a lattice. - Domitilla Del Vecchio; Richard M. Murray (CDC, 2004)

Discrete state estimators for a class of nondeterministic hybrid systems on a lattice. - Domitilla Del Vecchio; Richard M. Murray (CDC, 2004)

Discrete State Estimators for a Class of Hybrid Systems on a Lattice. - Domitilla Del Vecchio; Richard M. Murray (HSCC, 2004)

Sensor scheduling algorithms requiring limited computation [vehicle sonar range-finder example]. - Vijay Gupta 001; Timothy H. Chung; Babak Hassibi; Richard M. Murray (ICASSP (3), 2004)

Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step. - Timothy H. Chung; Vijay Gupta 001; Babak Hassibi; Joel W. Burdick; Richard M. Murray (ICRA, 2004)

Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection. - Claire Walton; Domitilla Del Vecchio; Richard M. Murray (ICRA, 2004)

Effect of time-varying fading channels on control performance of a mobile sensor. - Yasamin Mostofi; Richard M. Murray (SECON, 2004)

Distributed Algorithms for Cooperative Control. - Eric Klavins; Richard M. Murray (IEEE Pervasive Comput., 2004)

Information flow and cooperative control of vehicle formations. - J. Alexander Fax; Richard M. Murray (IEEE Trans. Autom. Control., 2004)

Consensus problems in networks of agents with switching topology and time-delays. - Reza Olfati-Saber; Richard M. Murray (IEEE Trans. Autom. Control., 2004)

On LQG control across a stochastic packet-dropping link. - Vijay Gupta 001; Demetri P. Spanos; Babak Hassibi; Richard M. Murray (ACC, 2005)

Experimental validation of an algorithm for cooperative boundary tracking. - Chung H. Hsieh; Zhipu Jin; Daniel E. Marthaler; Bao Q. Nguyen; David J. Tung; Andrea L. Bertozzi; Richard M. Murray (ACC, 2005)

On dropping noisy packets in Kalman filtering over a wireless fading channel. - Yasamin Mostofi; Richard M. Murray (ACC, 2005)

Virtual attractive-repulsive potentials for cooperative control of second order dynamic vehicles on the Caltech MVWT. - Bao Q. Nguyen; Yao-Ling Chuang; David Tung; Chung H. Hsieh; Zhipu Jin; Ling Shi 001; Daniel E. Marthaler; Andrea L. Bertozzi; Richard M. Murray (ACC, 2005)

Decentralized control across bit-limited communication channels: an example. - Ling Shi 001; Chih-Kai Ko; Zhipu Jin; D. Gayme; Vijay Gupta 001; Stephen Waydo; Richard M. Murray (ACC, 2005)

Towards a packet-based control theory - part 1: stabilization over a packet-based network. - Ling Shi 001; Richard M. Murray (ACC, 2005)

Motion planning with wireless network constraints. - Demetri P. Spanos; Richard M. Murray (ACC, 2005)

On Sensor Fusion in the Presence of Packet-dropping Communication Channels. - Vijay Gupta 001; Babak Hassibi; Richard M. Murray (CDC/ECC, 2005)

A Control-Oriented Analysis of Bio-inspired Visuomotor Convergence. - J. Sean Humbert; Richard M. Murray; Michael H. Dickinson (CDC/ECC, 2005)

State Estimation Utilizing Multiple Description Coding over Lossy Networks. - Zhipu Jin; Vijay Gupta 001; Babak Hassibi; Richard M. Murray (CDC/ECC, 2005)

Distributed Averaging on Asynchronous Communication Networks. - Mortada Mehyar; Demetri P. Spanos; John Pongsajapan; Steven H. Low; Richard M. Murray (CDC/ECC, 2005)

Receiver Design Principles for Estimation over Fading Channels. - Yasamin Mostofi; Richard M. Murray (CDC/ECC, 2005)

Estimation with Information Loss: Asymptotic Analysis and Error Bounds. - Ling Shi 001; Michael Epstein; Abhishek Tiwari 004; Richard M. Murray (CDC/ECC, 2005)

Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order. - Domitilla Del Vecchio; Richard M. Murray (HSCC, 2005)

An Experimental Platform for Motion Estimation and Maneuver Characterization in High Speed Off-Road Driving. - Haomiao Huang; Lyle Chamberlain; Richard M. Murray (ICRA, 2005)

Estimation of Linear Stochastic Systems over a Queueing Network. - Michael Epstein; Abhishek Tiwari 004; Ling Shi 001; Richard M. Murray (Systems Communications, 2005)

Communication and sensing trade-offs in decentralized mobile sensor networks: a cross-layer design approach. - Yasamin Mostofi; Timothy H. Chung; Richard M. Murray; Joel W. Burdick (IPSN, 2005)

Approximate distributed kalman filtering in sensor networks with quantifiable performance. - Demetri P. Spanos; Reza Olfati-Saber; Richard M. Murray (IPSN, 2005)

Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry. - John M. Carson III; Michael Epstein; Douglas G. MacMynowski; Richard M. Murray (ACC, 2006)

On the effect of quantization on performance at high rates. - Vijay Gupta 001; Amir F. Dana; Richard M. Murray; Babak Hassibi (ACC, 2006)

Optimum allocation of computing resources in networked sensing and control. - Yasamin Mostofi; Richard M. Murray (ACC, 2006)

Networked control systems with norm bounded uncertainties: a stability analysis. - Ling Shi 001; Michael Epstein; Richard M. Murray (ACC, 2006)

Towards a Packet-based Control Theory - Part II: Rate Issues. - Ling Shi 001; Richard M. Murray (ACC, 2006)

Dynamic Sensor Coverage with Uncertainty Feedback : Analysis Using Iterated Maps. - Abhishek Tiwari 004; Richard M. Murray (ACC, 2006)

On Sensor Coverage by Mobile Sensors. - Vijay Gupta 001; David E. Jeffcoat; Richard M. Murray (CDC, 2006)

On the robustness of distributed algorithms. - Vijay Gupta 001; Cedric Langbort; Richard M. Murray (CDC, 2006)

An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes. - Michael Epstein; Ling Shi 001; Richard M. Murray (CDC, 2006)

Multi-Hop Relay Protocols for Fast Consensus Seeking. - Zhipu Jin; Richard M. Murray (CDC, 2006)

Distributed Sensing and Estimation Under Communication Constraints. - Yasamin Mostofi; Richard M. Murray (CDC, 2006)

The Effect of Sensor Health on State Estimation. - Ling Shi 001; Michael Epstein; Richard M. Murray (CDC, 2006)

A Decentralized Motion Coordination Strategy for Dynamic Target Tracking. - Timothy H. Chung; Joel W. Burdick; Richard M. Murray (ICRA, 2006)

Model-based Estimation of Off-highway Road Geometry using Single-axis LADAR and Inertial Sensing. - Lars B. Cremean; Richard M. Murray (ICRA, 2006)

Distributed receding horizon control for multi-vehicle formation stabilization. - William B. Dunbar; Richard M. Murray (Autom., 2006)

On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage. - Vijay Gupta 001; Timothy H. Chung; Babak Hassibi; Richard M. Murray (Autom., 2006)

State estimation over packet dropping networks using multiple description coding. - Zhipu Jin; Vijay Gupta 001; Richard M. Murray (Autom., 2006)

Discrete state estimators for systems on a lattice. - Domitilla Del Vecchio; Richard M. Murray; Eric Klavins (Autom., 2006)

Alice: An information-rich autonomous vehicle for high-speed desert navigation. - Lars B. Cremean; Tully B. Foote; Jeremy H. Gillula; George H. Hines; Dmitriy Kogan; Kristopher L. Kriechbaum; Jeffrey C. Lamb; Jeremy Leibs; Laura Lindzey; Christopher E. Rasmussen; Alexander D. Stewart; Joel W. Burdick; et al. (J. Field Robotics, 2006)

Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop. - Ling Shi 001; Michael Epstein; Bruno Sinopoli; Richard M. Murray (CCA, 2007)

Kalman Filtering with Uncertain Process and Measurement Noise Covariances with Application to State Estimation in Sensor Networks. - Ling Shi 001; Karl Henrik Johansson; Richard M. Murray (CCA, 2007)

Estimation over Communication Networks: Performance Bounds and Achievability Results. - Amir F. Dana; Vijay Gupta 001; João P. Hespanha 001; Babak Hassibi; Richard M. Murray (ACC, 2007)

A Multi-Model Approach to Identification of Biosynthetic Pathways. - Mary J. Dunlop; Elisa Franco; Richard M. Murray (ACC, 2007)

Biologically Inspired Feedback Design for Drosophila Flight. - Michael Epstein; Stephen Waydo; Sawyer B. Fuller; William B. Dickson; Andrew D. Straw; Michael H. Dickinson; Richard M. Murray (ACC, 2007)

Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks. - Zhipu Jin; Chih-Kai Ko; Richard M. Murray (ACC, 2007)

To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links. - Yasamin Mostofi; Richard M. Murray (ACC, 2007)

Frequency-Weighted Model Reduction with Applications to Structured Models. - Henrik Sandberg; Richard M. Murray (ACC, 2007)

Analysis of a Digital Clock for Molecular Computing. - Johan Ugander; Mary J. Dunlop; Richard M. Murray (ACC, 2007)

Estimation schemes for networked control systems using UDP-like communication. - Michael Epstein; Ling Shi 001; Richard M. Murray (CDC, 2007)

Random consensus protocol in large-scale networks. - Zhipu Jin; Richard M. Murray (CDC, 2007)

Change sensor topology when needed: How to efficiently use system resources in control and estimation over wireless networks. - Ling Shi 001; Karl Henrik Johansson; Richard M. Murray (CDC, 2007)

Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. - Julia M. B. Braman; Richard M. Murray; David A. Wagner 002 (IROS, 2007)

Consensus and Cooperation in Networked Multi-Agent Systems. - Reza Olfati-Saber; J. Alexander Fax; Richard M. Murray (Proc. IEEE, 2007)

Optimal LQG control across packet-dropping links. - Vijay Gupta 001; Babak Hassibi; Richard M. Murray (Syst. Control. Lett., 2007)

UAV as a Reliable Wingman: A Flight Demonstration. - Stephen Waydo; John Hauser; Robert Bailey; Eric Klavins; Richard M. Murray (IEEE Trans. Control. Syst. Technol., 2007)

Asynchronous distributed averaging on communication networks. - Mortada Mehyar; Demetri P. Spanos; John Pongsajapan; Steven H. Low; Richard M. Murray (IEEE/ACM Trans. Netw., 2007)

Safety verification of fault tolerant goal-based control programs with estimation uncertainty. - Julia M. B. Braman; Richard M. Murray (ACC, 2008)

Convergence Properties of Dynamic Agents Consensus Networks with Broken Links. - Stefano Di Cairano; Antonio Pasini; Alberto Bemporad; Richard M. Murray (ACC, 2008)

Design, modeling and synthesis of an in vitro transcription rate regulatory circuit. - Elisa Franco; Per-Ola Forsberg; Richard M. Murray (ACC, 2008)

Nonlinear lateral control strategy for nonholonomic vehicles. - Magnus Linderoth; Kristian Soltesz; Richard M. Murray (ACC, 2008)

Design and performance of in vitro transcription rate regulatory circuits. - Elisa Franco; Richard M. Murray (CDC, 2008)

Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance. - Ling Shi 001; Karl Henrik Johansson; Richard M. Murray (CDC, 2008)

Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems. - Stefano Di Cairano; Karl Henrik Johansson; Alberto Bemporad; Richard M. Murray (HSCC, 2008)

Kalman filtering over a packet dropping network: A probabilistic approach. - Ling Shi 001; Michael Epstein; Richard M. Murray (ICARCV, 2008)

Probabilistic performance of state estimation across a lossy network. - Michael Epstein; Ling Shi 001; Abhishek Tiwari 004; Richard M. Murray (Autom., 2008)

Real-valued average consensus over noisy quantized channels. - Andrea Censi; Richard M. Murray (ACC, 2009)

On quantized consensus by means of gossip algorithm - Part I: Convergence proof. - Javad Lavaei; Richard M. Murray (ACC, 2009)

On quantized consensus by means of gossip algorithm - Part II: Convergence time. - Javad Lavaei; Richard M. Murray (ACC, 2009)

A bio-plausible design for visual attitude stabilization. - Andrea Censi; Shuo Han 011; Sawyer B. Fuller; Richard M. Murray (CDC, 2009)

Design of insulating devices for in vitro synthetic circuits. - Elisa Franco; Domitilla Del Vecchio; Richard M. Murray (CDC, 2009)

Quantized consensus via adaptive stochastic gossip algorithm. - Javad Lavaei; Richard M. Murray (CDC, 2009)

Geometric control of particle manipulation in a two-dimensional fluid. - Yizhar Or; Joris Vankerschaver; Scott David Kelly; Richard M. Murray; Jerrold E. Marsden (CDC, 2009)

Compositional stability analysis based on dual decomposition. - Ufuk Topcu; Andrew K. Packard; Richard M. Murray (CDC, 2009)

Receding horizon temporal logic planning for dynamical systems. - Tichakorn Wongpiromsarn; Ufuk Topcu; Richard M. Murray (CDC, 2009)

Periodically Controlled Hybrid Systems. - Tichakorn Wongpiromsarn; Sayan Mitra; Richard M. Murray; Andrew G. Lamperski (HSCC, 2009)

A real-time helicopter testbed for insect-inspired visual flight control. - Shuo Han 011; Andrew D. Straw; Michael H. Dickinson; Richard M. Murray (ICRA, 2009)

Kalman filtering over a packet-delaying network: A probabilistic approach. - Ling Shi 001; Lihua Xie 001; Richard M. Murray (Autom., 2009)

Data Transmission Over Networks for Estimation and Control. - Vijay Gupta 001; Amir F. Dana; João P. Hespanha 001; Richard M. Murray; Babak Hassibi (IEEE Trans. Autom. Control., 2009)

To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels. - Yasamin Mostofi; Richard M. Murray (IEEE Trans. Autom. Control., 2009)

Flight Dynamics and Control of Evasive Maneuvers: The Fruit Fly's Takeoff. - Francisco A. Zabala; Gwyneth M. Card; Ebraheem I. Fontaine; Michael H. Dickinson; Richard M. Murray (IEEE Trans. Biomed. Eng., 2009)

Automatic Synthesis of Robust Embedded Control Software. - Tichakorn Wongpiromsarn; Ufuk Topcu; Richard M. Murray (AAAI Spring Symposium: Embedded Reasoning, 2010)

Simple delay-based implementation of continuous-time controllers. - Javad Lavaei; Somayeh Sojoudi; Richard M. Murray (ACC, 2010)

Limits on the network sensitivity function for homogeneous multi-agent systems on a graph. - Stefania Tonetti; Richard M. Murray (ACC, 2010)

Experimental demonstration of the dynamics and stability of a low Reynolds number swimmer near a plane wall. - Sebastian Zhang; Yizhar Or; Richard M. Murray (ACC, 2010)

Synthesis of embedded control systems with high sampling frequencies. - Javad Lavaei; Somayeh Sojoudi; Richard M. Murray (CDC, 2010)

Tuning a synthetic in vitro oscillator using control-theoretic tools. - Christopher Sturk; Elisa Franco; Richard M. Murray (CDC, 2010)

Joint DAC/IWBDA special session engineering biology: fundamentals and applications. - Marc D. Riedel; Soha Hassoun; Ron Weiss; Pamela Silver; J. Christopher Anderson; Richard M. Murray (DAC, 2010)

Receding horizon control for temporal logic specifications. - Tichakorn Wongpiromsarn; Ufuk Topcu; Richard M. Murray (HSCC, 2010)

A bio-plausible design for visual pose stabilization. - Shuo Han 011; Andrea Censi; Andrew D. Straw; Richard M. Murray (IROS, 2010)

Quantification and Minimization of Crosstalk Sensitivity in Networks - Dionysios Barmpoutis; Richard M. Murray (CoRR, 2010)

Reply to "Comments on "Consensus and Cooperation in Networked Multi-Agent Systems"". - Reza Olfati-Saber; J. Alexander Fax; Richard M. Murray (Proc. IEEE, 2010)

Kalman Filtering Over a Packet-Dropping Network: A Probabilistic Perspective. - Ling Shi 001; Michael Epstein; Richard M. Murray (IEEE Trans. Autom. Control., 2010)

Fault-tolerant controller design with applications in power systems and synthetic biology. - Somayeh Sojoudi; Javad Lavaei; Richard M. Murray (ACC, 2011)

Distributed power allocation for vehicle management systems. - Necmiye Ozay; Ufuk Topcu; Richard M. Murray (CDC/ECC, 2011)

TuLiP: a software toolbox for receding horizon temporal logic planning. - Tichakorn Wongpiromsarn; Ufuk Topcu; Necmiye Ozay; Huan Xu; Richard M. Murray (HSCC, 2011)

Distributed Synthesis of Control Protocols for Smart Camera Networks. - Necmiye Ozay; Ufuk Topcu; Richard M. Murray; Tichakorn Wongpiromsarn (ICCPS, 2011)

Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents. - Andrea Censi; Richard M. Murray (ICDL-EPIROB, 2011)

Bootstrapping bilinear models of robotic sensorimotor cascades. - Andrea Censi; Richard M. Murray (ICRA, 2011)

Bootstrapping sensorimotor cascades: A group-theoretic perspective. - Andrea Censi; Richard M. Murray (IROS, 2011)

Containment indicator function construction via numerical conformal mapping. - Shuo Han 011; Richard M. Murray (IROS, 2011)

A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor. - Sawyer B. Fuller; Richard M. Murray (ROBIO, 2011)

Extremal Properties of Complex Networks - Dionysios Barmpoutis; Richard M. Murray (CoRR, 2011)

Bisimulation conversion and verification procedure for goal-based control systems. - Julia M. B. Braman; Richard M. Murray (Formal Methods Syst. Des., 2011)

Dynamics and Stability of Low-Reynolds-Number Swimming Near a Wall. - Yizhar Or; Sebastian Zhang; Richard M. Murray (SIAM J. Appl. Dyn. Syst., 2011)

Switching protocol synthesis for temporal logic specifications. - Jun Liu 015; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (ACC, 2012)

Temporal logic control of switched affine systems with an application in fuel balancing. - Petter Nilsson; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (ACC, 2012)

Decentralised minimal-time dynamic consensus. - Ye Yuan 002; Jun Liu 015; Richard M. Murray; Jorge M. Gonçalves (ACC, 2012)

Reactive controllers for differentially flat systems with temporal logic constraints. - Jun Liu 015; Ufuk Topcu; Necmiye Ozay; Richard M. Murray (CDC, 2012)

Performance metrics for a biomolecular step response. - Shaunak Sen; Richard M. Murray (CDC, 2012)

Robust control of uncertain Markov Decision Processes with temporal logic specifications. - Eric M. Wolff; Ufuk Topcu; Richard M. Murray (CDC, 2012)

A case study on reactive protocols for aircraft electric power distribution. - Huan Xu; Ufuk Topcu; Richard M. Murray (CDC, 2012)

Quantifying crosstalk in biochemical systems. - Enoch Yeung; Jongmin Kim 001; Ye Yuan 002; Jorge M. Gonçalves; Richard M. Murray (CDC, 2012)

On synthesizing robust discrete controllers under modeling uncertainty. - Ufuk Topcu; Necmiye Ozay; Jun Liu 015; Richard M. Murray (HSCC, 2012)

Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades. - Andrea Censi; Magnus Hakansson; Richard M. Murray (ICRA, 2012)

Learning diffeomorphism models of robotic sensorimotor cascades. - Andrea Censi; Richard M. Murray (ICRA, 2012)

Towards formal synthesis of reactive controllers for dexterous robotic manipulation. - Sandeep Chinchali; Scott C. Livingston; Ufuk Topcu; Joel W. Burdick; Richard M. Murray (ICRA, 2012)

Backtracking temporal logic synthesis for uncertain environments. - Scott C. Livingston; Richard M. Murray; Joel W. Burdick (ICRA, 2012)

Optimal Control with Weighted Average Costs and Temporal Logic Specifications. - Eric M. Wolff; Ufuk Topcu; Richard M. Murray (Robotics: Science and Systems, 2012)

Stabilization of Feedback Systems Via Distribution of Delays. - Marcella M. Gomez; Richard M. Murray (TDS, 2012)

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication - Clemens Wiltsche; Ufuk Topcu; Richard M. Murray (CoRR, 2012)

Quantized Consensus by Means of Gossip Algorithm. - Javad Lavaei; Richard M. Murray (IEEE Trans. Autom. Control., 2012)

Receding Horizon Temporal Logic Planning. - Tichakorn Wongpiromsarn; Ufuk Topcu; Richard M. Murray (IEEE Trans. Autom. Control., 2012)

Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. - Tichakorn Wongpiromsarn; Sayan Mitra; Andrew G. Lamperski; Richard M. Murray (ACM Trans. Embed. Comput. Syst., 2012)

Feedback architectures to regulate flux of components in artificial gene networks. - Giulia Giordano; Elisa Franco; Richard M. Murray (ACC, 2013)

Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids. - Shuo Han 011; Ufuk Topcu; Molei Tao; Houman Owhadi; Richard M. Murray (ACC, 2013)

Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. - Necmiye Ozay; Jun Liu 015; Pavithra Prabhakar; Richard M. Murray (ACC, 2013)

Design and implementation of a biomolecular circuit for tracking protein concentration. - Emmanuel L. C. de los Santos; Victoria Hsiao; Richard M. Murray (ACC, 2013)

Biomolecular resource utilization in elementary cell-free gene circuits. - Dan Siegal-Gaskins; Vincent Noireaux; Richard M. Murray (ACC, 2013)

Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ∞ approach. - Vanessa Jonsson; Nikolai Matni; Richard M. Murray (CDC, 2013)

Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity. - Quentin Maillet; Huan Xu; Necmiye Ozay; Richard M. Murray (CDC, 2013)

Temperature dependence of biomolecular circuit designs. - Shaunak Sen; Richard M. Murray (CDC, 2013)

An in silico modeling toolbox for rapid prototyping of circuits in a biomolecular "breadboard" system. - Zoltán A. Tuza; Vipul Singhal; Jongmin Kim 001; Richard M. Murray (CDC, 2013)

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic. - Eric M. Wolff; Ufuk Topcu; Richard M. Murray (CDC, 2013)

Modeling environmental disturbances with the chemical master equation. - Enoch Yeung; James L. Beck; Richard M. Murray (CDC, 2013)

Resource competition as a source of non-minimum phase behavior in transcription-translation systems. - Enoch Yeung; Jongmin Kim 001; Richard M. Murray (CDC, 2013)

Industrial Cyber-Physical Systems - iCyPhy. - Amit Fisher; Clas A. Jacobson; Edward A. Lee; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Eelco Scholte (CSDM, 2013)

Pre-orders for reasoning about stability properties with respect to input of hybrid systems. - Pavithra Prabhakar; Jun Liu 015; Richard M. Murray (EMSOFT, 2013)

Stability of discrete-time systems with stochastically delayed feedback. - Marcella M. Gomez; Gábor Orosz; Richard M. Murray (ECC, 2013)

An aircraft electric power testbed for validating automatically synthesized reactive control protocols. - Robert Rogersten; Huan Xu; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (HSCC, 2013)

Motion planning in observations space with learned diffeomorphism models. - Andrea Censi; Adam Nilsson; Richard M. Murray (ICRA, 2013)

Just-in-time synthesis for reactive motion planning with temporal logic. - Scott C. Livingston; Richard M. Murray (ICRA, 2013)

Patching task-level robot controllers based on a local μ-calculus formula. - Scott C. Livingston; Pavithra Prabhakar; Alex B. Jose; Richard M. Murray (ICRA, 2013)

Robot navigation in dense human crowds: the case for cooperation. - Peter Trautman; Jeremy Ma; Richard M. Murray; Andreas Krause 001 (ICRA, 2013)

Efficient reactive controller synthesis for a fragment of linear temporal logic. - Eric M. Wolff; Ufuk Topcu; Richard M. Murray (ICRA, 2013)

Automaton-guided controller synthesis for nonlinear systems with temporal logic. - Eric M. Wolff; Ufuk Topcu; Richard M. Murray (IROS, 2013)

Optimal Control of Nonlinear Systems with Temporal Logic Specifications. - Eric M. Wolff; Richard M. Murray (ISRR, 2013)

A robust model predictive control algorithm augmented with a reactive safety mode. - John M. Carson III; Behçet Açikmese; Richard M. Murray; Douglas G. MacMartin (Autom., 2013)

Optimization of convergence rate and stability margin of information flow in cooperative systems. - Michael Zabarankin; Robert Murphey; Richard M. Murray (Autom., 2013)

Verifying Cyber-Physical Interactions in Safety-Critical Systems. - Sayan Mitra; Tichakorn Wongpiromsarn; Richard M. Murray (IEEE Secur. Priv., 2013)

Discriminating External and Internal Causes for Heading Changes in Freely Flying Drosophila. - Andrea Censi; Andrew D. Straw; Rosalyn W. Sayaman; Richard M. Murray; Michael H. Dickinson (PLoS Comput. Biol., 2013)

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. - Jun Liu 015; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (IEEE Trans. Autom. Control., 2013)

Exact stability analysis of discrete-time linear systems with stochastic delays. - Marcella M. Gomez; Wubing B. Qin; Gábor Orosz; Richard M. Murray (ACC, 2014)

A scalable formulation for engineering combination therapies for evolutionary dynamics of disease. - Vanessa Jonsson; Anders Rantzer; Richard M. Murray (ACC, 2014)

Synthesis of correct-by-construction control protocols for hybrid systems using partial state information. - Oscar Mickelin; Necmiye Ozay; Richard M. Murray (ACC, 2014)

Collaborative system identification via parameter consensus. - Ivan Papusha; Eugene Lavretsky; Richard M. Murray (ACC, 2014)

Efficient control synthesis for augmented finite transition systems with an application to switching protocols. - Fei Sun; Necmiye Ozay; Eric M. Wolff; Jun Liu 015; Richard M. Murray (ACC, 2014)

Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics. - Vanessa Jonsson; Nikolai Matni; Richard M. Murray (CDC, 2014)

Hot-swapping robot task goals in reactive formal synthesis. - Scott C. Livingston; Richard M. Murray (CDC, 2014)

Model predictive control with signal temporal logic specifications. - Vasumathi Raman; Alexandre Donzé; Mehdi Maasoumy; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CDC, 2014)

Designing robustness to temperature in a feedforward loop circuit. - Shaunak Sen; Jongmin Kim 001; Richard M. Murray (CDC, 2014)

Modeling the effects of compositional context on promoter activity in an E. coli extract based transcription-translation system. - Enoch Yeung; Andrew Ng 001; Jongmin Kim 001; Zachary Z. Sun; Richard M. Murray (CDC, 2014)

Optimization-based trajectory generation with linear temporal logic specifications. - Eric M. Wolff; Ufuk Topcu; Richard M. Murray (ICRA, 2014)

A compositional approach to stochastic optimal control with co-safe temporal logic specifications. - Matanya B. Horowitz; Eric M. Wolff; Richard M. Murray (IROS, 2014)

A Contract-Based Methodology for Aircraft Electric Power System Design. - Pierluigi Nuzzo 002; Huan Xu; Necmiye Ozay; John B. Finn; Alberto L. Sangiovanni-Vincentelli; Richard M. Murray; Alexandre Donzé; Sanjit A. Seshia (IEEE Access, 2014)

Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). - Rupak Majumdar; Richard M. Murray; Pavithra Prabhakar (Dagstuhl Reports, 2014)

The Swarm at the Edge of the Cloud. - Edward A. Lee; Björn Hartmann; John Kubiatowicz; Tajana Simunic Rosing; John Wawrzynek; David Wessel; Jan M. Rabaey; Kris Pister; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; David T. Blaauw; Prabal Dutta; et al. (IEEE Des. Test, 2014)

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. - Robert Rogersten; Huan Xu; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (J. Aerosp. Inf. Syst., 2014)

Robust Model Predictive Control for Signal Temporal Logic Synthesis. - Samira S. Farahani; Vasumathi Raman; Richard M. Murray (ADHS, 2015)

Variable elimination for scalable receding horizon temporal logic planning. - Mattias Fält; Vasumathi Raman; Richard M. Murray (ACC, 2015)

A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks. - Ania A. Baetica; Ye Yuan 002; Jorge M. Gonçalves; Richard M. Murray (CDC, 2015)

Engineering principles of synthetic biochemical oscillators with negative cyclic feedback. - Yutaka Hori; Richard M. Murray (CDC, 2015)

An iterative abstraction algorithm for reactive correct-by-construction controller synthesis. - Robert Mattila; Yilin Mo; Richard M. Murray (CDC, 2015)

Analysis of control systems on symmetric cones. - Ivan Papusha; Richard M. Murray (CDC, 2015)

Global network identification from reconstructed dynamical structure subnetworks: Applications to biochemical reaction networks. - Enoch Yeung; Jongmin Kim 001; Jorge M. Gonçalves; Richard M. Murray (CDC, 2015)

A state-space realization approach to set identification of biochemical kinetic parameters. - Yutaka Hori; Richard M. Murray (ECC, 2015)

Cross-entropy temporal logic motion planning. - Scott C. Livingston; Eric M. Wolff; Richard M. Murray (HSCC, 2015)

Reactive synthesis from signal temporal logic specifications. - Vasumathi Raman; Alexandre Donzé; Dorsa Sadigh; Richard M. Murray; Sanjit A. Seshia (HSCC, 2015)

Online horizon selection in receding horizon temporal logic planning. - Vasumathi Raman; Mattias Fält; Tichakorn Wongpiromsarn; Richard M. Murray (IROS, 2015)

Symbolic construction of GR(1) contracts for synchronous systems with full information. - Ioannis Filippidis; Richard M. Murray (CoRR, 2015)

A multi-paradigm language for reactive synthesis. - Ioannis Filippidis; Richard M. Murray; Gerard J. Holzmann (SYNT, 2015)

Bootstrapping bilinear models of Simple Vehicles. - Andrea Censi; Richard M. Murray (Int. J. Robotics Res., 2015)

Robot navigation in dense human crowds: Statistical models and experimental studies of human-robot cooperation. - Peter Trautman; Jeremy Ma; Richard M. Murray; Andreas Krause 001 (Int. J. Robotics Res., 2015)

Convex Optimal Uncertainty Quantification. - Shuo Han 011; Molei Tao; Ufuk Topcu; Houman Owhadi; Richard M. Murray (SIAM J. Optim., 2015)

Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution. - Huan Xu; Ufuk Topcu; Richard M. Murray (IEEE Trans. Control. Netw. Syst., 2015)

Synthetic Biology. - Domitilla Del Vecchio; Richard M. Murray (Encyclopedia of Systems and Control, 2015)

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. - Ioannis Filippidis; Sumanth Dathathri; Scott C. Livingston; Necmiye Ozay; Richard M. Murray (CCA, 2016)

Symbolic construction of GR(1) contracts for systems with full information. - Ioannis Filippidis; Richard M. Murray (ACC, 2016)

Linear system identifiability from distributional and time series data. - Anandh Swaminathan; Richard M. Murray (ACC, 2016)

Constrained autonomous satellite docking via differential flatness and model predictive control. - Samira S. Farahani; Ivan Papusha; Catharine McGhan; Richard M. Murray (CDC, 2016)

Quantifying resource competition and its effects in the TX-TL system. - András György 002; Richard M. Murray (CDC, 2016)

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. - Ivan Papusha; Jie Fu 002; Ufuk Topcu; Richard M. Murray (CDC, 2016)

Robust model predictive control for an uncertain smart thermal grid. - Samira S. Farahani; Zofia Lukszo; Tamás Keviczky; Bart De Schutter; Richard M. Murray (ECC, 2016)

Synthesis of reactive controllers for hybrid systems (keynote). - Richard M. Murray (POPL, 2016)

Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications. - Benson Christalin; Michele Colledanchise; Petter Ögren; Richard M. Murray (SSCI, 2016)

The Effects of Time-Varying Temperature on Delays in Genetic Networks. - Marcella M. Gomez; Richard M. Murray; Matthew R. Bennett (SIAM J. Appl. Dyn. Syst., 2016)

Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks. - Marcella M. Gomez; Mehdi Sadeghpour; Matthew R. Bennett; Gábor Orosz; Richard M. Murray (SIAM J. Appl. Dyn. Syst., 2016)

A fast motion planning representation for configuration flat robots with applications to micro air vehicles. - Anthony T. Fragoso; Larry H. Matthies; Richard M. Murray (ACC, 2017)

Connected cruise control design using probabilistic model checking. - Jin I. Ge; Gábor Orosz; Richard M. Murray (ACC, 2017)

Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis. - Sumanth Dathathri; Richard M. Murray (CDC, 2017)

Population regulation in microbial consortia using dual feedback control. - Xinying Ren; Ania-Ariadna Baetica; Anandh Swaminathan; Richard M. Murray (CDC, 2017)

Enhancing tolerance to unexpected jumps in GR(1) games. - Sumanth Dathathri; Scott C. Livingston; Richard M. Murray (ICCPS, 2017)

Learning-Based Abstractions for Nonlinear Constraint Solving. - Sumanth Dathathri; Nikos Aréchiga; Sicun Gao; Richard M. Murray (IJCAI, 2017)

Synthesis of correct-by-construction behavior trees. - Michele Colledanchise; Richard M. Murray; Petter Ögren (IROS, 2017)

Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. - Sumanth Dathathri; Ioannis Filippidis; Richard M. Murray (ISRR, 2017)

Systems & Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges. - Françoise Lamnabhi-Lagarrigue; Anuradha Annaswamy; Sebastian Engell; Alf J. Isaksson; Pramod P. Khargonekar; Richard M. Murray; Henk Nijmeijer; Tariq Samad; Dawn M. Tilbury; Paul M. J. Van den Hof (Annu. Rev. Control., 2017)

Model Predictive Control for Signal Temporal Logic Specification. - Vasumathi Raman; Alexandre Donzé; Mehdi Maasoumy; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2017)

Privacy Preserving Average Consensus. - Yilin Mo; Richard M. Murray (IEEE Trans. Autom. Control., 2017)

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. - Sofie Haesaert; Petter Nilsson; Cristian Ioan Vasile; Rohan Thakker; Ali-akbar Agha-mohammadi; Aaron D. Ames; Richard M. Murray (ADHS, 2018)

Voluntary lane-change policy synthesis with control improvisation. - Jin I. Ge; Richard M. Murray (CDC, 2018)

Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts. - Wolfgang Halter; Frank Allgöwer; Richard M. Murray; András György 002 (CDC, 2018)

Role of interaction network topology in controlling microbial population in consortia. - Xinying Ren; Richard M. Murray (CDC, 2018)

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. - Petter Nilsson; Sofie Haesaert; Rohan Thakker; Kyohei Otsu; Cristian Ioan Vasile; Ali-Akbar Agha-Mohammadi; Richard M. Murray; Aaron D. Ames (Robotics: Science and Systems, 2018)

Future systems and control research in synthetic biology. - Domitilla Del Vecchio; Yili Qian; Richard M. Murray; Eduardo D. Sontag (Annu. Rev. Control., 2018)

Detecting Adversarial Examples via Neural Fingerprinting. - Sumanth Dathathri; Stephan Zheng; Richard M. Murray; Yisong Yue (CoRR, 2018)

Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. - Pavithra Prabhakar; Jun Liu 015; Richard M. Murray (Discret. Event Dyn. Syst., 2018)

Layering Assume-Guarantee Contracts for Hierarchical System Design. - Ioannis Filippidis; Richard M. Murray (Proc. IEEE, 2018)

End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. - Richard Cheng; Gábor Orosz; Richard M. Murray; Joel W. Burdick (AAAI, 2019)

Inverse Abstraction of Neural Networks Using Symbolic Interpolation. - Sumanth Dathathri; Sicun Gao; Richard M. Murray (AAAI, 2019)

Robust Estimation Framework with Semantic Measurements. - Karena X. Cai; Alexei Harvard; Richard M. Murray; Soon-Jo Chung (ACC, 2019)

Risk-aware motion planning for automated vehicle among human-driven cars. - Jin I. Ge; Bastian Schürmann; Richard M. Murray; Matthias Althoff (ACC, 2019)

A modal interface contract theory for guarded input/output automata with an application in traffic system design. - Tung Phan-Minh; Steve Guo; Bastian Schürmann; Matthias Althoff; Richard M. Murray (ACC, 2019)

Transforming Data Across Environments Despite Structural Non-Identifiability. - Vipul Singhal; Richard M. Murray (ACC, 2019)

Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. - Sofie Haesaert; Rohan Thakker; Petter Nilsson; Ali-Akbar Agha-Mohammadi; Richard M. Murray (CDC, 2019)

Towards Assume-Guarantee Profiles for Autonomous Vehicles. - Tung Phan-Minh; Karena X. Cai; Richard M. Murray (CDC, 2019)

Counter-example Guided Learning of Bounds on Environment Behavior. - Yuxiao Chen 001; Sumanth Dathathri; Tung Phan-Minh; Richard M. Murray (CoRL, 2019)

Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits. - Michaëlle N. Mayalu; Harman Mehta; Richard M. Murray (ECC, 2019)

Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia. - Xinying Ren; Richard M. Murray (ECC, 2019)

Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data. - Francesca Baldini; Animashree Anandkumar; Richard M. Murray (CoRR, 2019)

Risk-Averse Planning Under Uncertainty. - Mohamadreza Ahmadi; Masahiro Ono; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (ACC, 2020)

Learning Pose Estimation for UAV Autonomous Navigation and Landing Using Visual-Inertial Sensor Data. - Francesca Baldini; Animashree Anandkumar; Richard M. Murray (ACC, 2020)

Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. - Ludvig Doeser; Petter Nilsson; Aaron D. Ames; Richard M. Murray (ACC, 2020)

Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. - Prithvi Akella; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (CDC, 2020)

Reactive motion planning with probabilisticsafety guarantees. - Yuxiao Chen 001; Ugo Rosolia; Chuchu Fan; Aaron D. Ames; Richard M. Murray (CoRL, 2020)

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. - Filip Klaesson; Petter Nilsson; Aaron D. Ames; Richard M. Murray (ICCPS, 2020)

Reactive motion planning with probabilistic safety guarantees. - Yuxiao Chen 001; Ugo Rosolia; Chuchu Fan; Aaron D. Ames; Richard M. Murray (CoRR, 2020)

Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles. - Karena X. Cai; Tung Phan-Minh; Soon-Jo Chung; Richard M. Murray (CoRR, 2020)

Constrained Risk-Averse Markov Decision Processes. - Mohamadreza Ahmadi; Ugo Rosolia; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (AAAI, 2021)

Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations. - Xinying Ren; Christian Cuba Samaniego; Richard M. Murray; Elisa Franco (ACC, 2021)

Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. - Apurva Badithela; Tichakorn Wongpiromsarn; Richard M. Murray (CDC, 2021)

Robustness Guarantees for Structured Model Reduction of Dynamical Systems. - Ayush Pandey; Richard M. Murray (CDC, 2021)

Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. - Ugo Rosolia; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (CDC, 2021)

Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis*. - Michaëlle N. Mayalu; Anish A. Sarma; Fangzhou Xiao; John C. Doyle 001; Richard M. Murray (ECC, 2021)

Contracts of Reactivity. - Tung Phan-Minh; Richard M. Murray (ECC, 2021)

Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. - Richard Cheng; Richard M. Murray; Joel W. Burdick (ICRA, 2021)

Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. - Josefine Graebener; Tung Phan-Minh; Jiaqi Yan; Qiming Zhao; Richard M. Murray (CoRR, 2021)

Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems. - Apurva Badithela; Richard M. Murray (CoRR, 2021)

Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions. - Ersin Das; Richard M. Murray (CDC, 2022)

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systemsđagger . - Josefine Graebener; Apurva Badithela; Richard M. Murray (NFM, 2022)

Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. - Josefine Graebener; Apurva Badithela; Richard M. Murray (CoRR, 2022)

OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints. - SooJean Han; Michelle Effros; Richard M. Murray (CoRR, 2022)

Evaluation Metrics for Object Detection for Autonomous Systems. - Apurva Badithela; Tichakorn Wongpiromsarn; Richard M. Murray (CoRR, 2022)

BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts. - William Poole; Ayush Pandey; Andrey Shur; Zoltán A. Tuza; Richard M. Murray (PLoS Comput. Biol., 2022)

Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. - Apurva Badithela; Josefine B. Graebener; Wyatt Ubellacker; Eric V. Mazumdar; Aaron D. Ames; Richard M. Murray (ICRA, 2023)

Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. - Apurva Badithela; Tichakorn Wongpiromsarn; Richard M. Murray (IROS, 2023)

A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths. - Fatemeh Aghimand; Chelsea Hu; Saransh Sharma; Krishna K. Pochana; Richard M. Murray; Azita Emami (ISSCC, 2023)

Reasoning over Test Specifications Using Assume-Guarantee Contracts. - Apurva Badithela; Josefine B. Graebener; Inigo Incer; Richard M. Murray (NFM, 2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2023)

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration. - Prithvi Akella; Apurva Badithela; Richard M. Murray; Aaron D. Ames (CoRR, 2023)

Context-Aided Variable Elimination for Requirement Engineering. - Inigo Incer; Albert Benveniste; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2023)

Control education for societal-scale challenges: A community roadmap. - John Anthony Rossiter; Christos G. Cassandras; João Pedro Hespanha; Sebastián Dormido 001; Luis de la Torre 001; Gireeja Ranade; Antonio Visioli; John D. Hedengren; Richard M. Murray; Panos J. Antsaklis; Françoise Lamnabhi-Lagarrigue; Thomas Parisini (Annu. Rev. Control., 2023)

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape. - Ayush Pandey; William Poole; Anandh Swaminathan; Victoria Hsiao; Richard M. Murray (Zenodo, 2023)

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape. - Ayush Pandey; William Poole; Anandh Swaminathan; Victoria Hsiao; Richard M. Murray (J. Open Source Softw., 2023)

Advances in theoretical and computational nonlinear control - Dedicated to the 80th birthday of Professor Arthur J. Krener. - Wei Kang; John Burns; Richard M. Murray (Syst. Control. Lett., 2023)

Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design. - Karena X. Cai; Tung Phan-Minh; Soon-Jo Chung; Richard M. Murray (IEEE Trans. Robotics, 2023)

A 65-nm CMOS Fluorescence Sensor for Dynamic Monitoring of Living Cells. - Fatemeh Aghlmand; Chelsea Hu; Saransh Sharma; Krishna K. Pochana; Richard M. Murray; Azita Emami (IEEE J. Solid State Circuits, 2023)

Efficient Local Validation of Partially Ordered Models via Bayesian Directed Sampling. - Kellan Moorse; Richard M. Murray (ACC, 2024)

Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks. - Inigo Incer; Noel Csomay-Shanklin; Aaron D. Ames; Richard M. Murray (CoRR, 2024)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. - Josefine B. Graebener; Apurva S. Badithela; Denizalp Goktas; Wyatt Ubellacker; Eric V. Mazumdar; Aaron D. Ames; Richard M. Murray (CoRR, 2024)

Layered Control Systems Operating on Multiple Clocks. - Inigo Incer; Noel Csomay-Shanklin; Aaron D. Ames; Richard M. Murray (IEEE Control. Syst. Lett., 2024)

Risk-Averse Decision Making Under Uncertainty. - Mohamadreza Ahmadi; Ugo Rosolia; Michel D. Ingham; Richard M. Murray; Aaron D. Ames (IEEE Trans. Autom. Control., 2024)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine B. Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Nicolas Rouquette; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ACM Trans. Cyber Phys. Syst., 2025)

ATMO: An Aerially Transforming Morphobot for Dynamic Ground-Aerial Transition. - Ioannis Mandralis; Reza Nemovi; Alireza Ramezani; Richard M. Murray; Morteza Gharib (CoRR, 2025)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. - Prithvi Akella; Mohamadreza Ahmadi; Richard M. Murray; Aaron D. Ames (IEEE Trans. Autom. Control., 2025)

Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies. - Ioannis Mandralis; Richard M. Murray; Morteza Gharib (CoRR, 2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. - Josefine B. Graebener; Inigo Incer; Richard M. Murray (CoRR, 2025)