Richard M. Murray

366 papers A* 37A 10B 2C 77Misc 3Journal 106Unranked 129

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. RV Josefine B. Graebener, Inigo Incer, Richard M. Murray
2025	J	`jnl`	A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems. CoRR Josefine B. Graebener, Inigo Incer, Richard M. Murray
2025	J	`jnl`	ATMO: An Aerially Transforming Morphobot for Dynamic Ground-Aerial Transition. CoRR Ioannis Mandralis, Reza Nemovi, Alireza Ramezani, Richard M. Murray, Morteza Gharib
2025	J	`jnl`	Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. IEEE Trans. Autom. Control. Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2025	J	`jnl`	Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. ACM Trans. Cyber Phys. Syst. 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
2025	A	`conf`	Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies. IROS Ioannis Mandralis, Richard M. Murray, Morteza Gharib
2025	J	`jnl`	Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies. CoRR Ioannis Mandralis, Richard M. Murray, Morteza Gharib
2024	C	`conf`	Efficient Local Validation of Partially Ordered Models via Bayesian Directed Sampling. ACC Kellan Moorse, Richard M. Murray
2024	J	`jnl`	Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. CoRR Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
2024	J	`jnl`	Layered Control Systems Operating on Multiple Clocks. IEEE Control. Syst. Lett. Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
2024	J	`jnl`	Risk-Averse Decision Making Under Uncertainty. IEEE Trans. Autom. Control. Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2024	J	`jnl`	Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks. CoRR Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
2023	J	`jnl`	A 65-nm CMOS Fluorescence Sensor for Dynamic Monitoring of Living Cells. IEEE J. Solid State Circuits Fatemeh Aghlmand, Chelsea Hu, Saransh Sharma, Krishna K. Pochana, Richard M. Murray, Azita Emami
2023	—	`conf`	A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths. ISSCC Fatemeh Aghimand, Chelsea Hu, Saransh Sharma, Krishna K. Pochana, Richard M. Murray, Azita Emami
2023	J	`jnl`	Advances in theoretical and computational nonlinear control - Dedicated to the 80th birthday of Professor Arthur J. Krener. Syst. Control. Lett. Wei Kang, John Burns, Richard M. Murray
2023	J	`jnl`	Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. CoRR Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2023	J	`jnl`	Context-Aided Variable Elimination for Requirement Engineering. CoRR Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023	J	`jnl`	Control education for societal-scale challenges: A community roadmap. Annu. Rev. Control. John Anthony Rossiter, Christos G. Cassandras, João Pedro Hespanha, Sebastián Dormido, Luis de la Torre, Gireeja Ranade, Antonio Visioli, John D. Hedengren, Richard M. Murray, Panos J. Antsaklis, Françoise Lamnabhi-Lagarrigue, Thomas Parisini
2023	A	`conf`	Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. IROS Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2023	J	`jnl`	Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape. J. Open Source Softw. Ayush Pandey, William Poole, Anandh Swaminathan, Victoria Hsiao, Richard M. Murray
2023	J	`jnl`	Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration. CoRR Prithvi Akella, Apurva Badithela, Richard M. Murray, Aaron D. Ames
2023	J	`jnl`	Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR 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
2023	—	`conf`	Reasoning over Test Specifications Using Assume-Guarantee Contracts. NFM Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray
2023	J	`jnl`	Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design. IEEE Trans. Robotics Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray
2023	A*	`conf`	Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. ICRA Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
2022	J	`jnl`	BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts. PLoS Comput. Biol. William Poole, Ayush Pandey, Andrey Shur, Zoltán A. Tuza, Richard M. Murray
2022	J	`jnl`	Evaluation Metrics for Object Detection for Autonomous Systems. CoRR Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2022	J	`jnl`	OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints. CoRR SooJean Han, Michelle Effros, Richard M. Murray
2022	—	`conf`	Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions. CDC Ersin Das, Richard M. Murray
2022	J	`jnl`	Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions. CoRR Ersin Das, Richard M. Murray
2022	J	`jnl`	Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. CoRR Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
2022	—	`conf`	Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems NFM Josefine Graebener, Apurva Badithela, Richard M. Murray
2022	J	`jnl`	Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. CoRR Josefine Graebener, Apurva Badithela, Richard M. Murray
2021	C	`conf`	Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations. ACC Xinying Ren, Christian Cuba Samaniego, Richard M. Murray, Elisa Franco
2021	A*	`conf`	Constrained Risk-Averse Markov Decision Processes. AAAI Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2021	—	`conf`	Contracts of Reactivity. ECC Tung Phan-Minh, Richard M. Murray
2021	J	`jnl`	Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. CoRR Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray
2021	—	`conf`	Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CDC Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2021	J	`jnl`	Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CoRR Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
2021	A*	`conf`	Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. ICRA Richard Cheng, Richard M. Murray, Joel W. Burdick
2021	J	`jnl`	Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. CoRR Richard Cheng, Richard M. Murray, Joel W. Burdick
2021	J	`jnl`	Risk-Averse Decision Making Under Uncertainty. CoRR Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2021	—	`conf`	Robustness Guarantees for Structured Model Reduction of Dynamical Systems. CDC Ayush Pandey, Richard M. Murray
2021	J	`jnl`	Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems. CoRR Apurva Badithela, Richard M. Murray
2021	—	`conf`	Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis ECC Michaëlle N. Mayalu, Anish A. Sarma, Fangzhou Xiao, John C. Doyle, Richard M. Murray
2021	—	`conf`	Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CDC Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2021	J	`jnl`	Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CoRR Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020	J	`jnl`	Constrained Risk-Averse Markov Decision Processes. CoRR Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2020	J	`jnl`	Counter-example Guided Learning of Bounds on Environment Behavior. CoRR Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray
2020	—	`conf`	Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CDC Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020	J	`jnl`	Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CoRR Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
2020	—	`conf`	Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. ICCPS Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
2020	C	`conf`	Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. ACC Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray
2020	C	`conf`	Learning Pose Estimation for UAV Autonomous Navigation and Landing Using Visual-Inertial Sensor Data. ACC Francesca Baldini, Animashree Anandkumar, Richard M. Murray
2020	J	`jnl`	Reactive motion planning with probabilistic safety guarantees. CoRR Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
2020	Misc	`conf`	Reactive motion planning with probabilisticsafety guarantees. CoRL Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
2020	C	`conf`	Risk-Averse Planning Under Uncertainty. ACC Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2020	J	`jnl`	Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles. CoRR Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray
2019	C	`conf`	A modal interface contract theory for guarded input/output automata with an application in traffic system design. ACC Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray
2019	—	`conf`	Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia. ECC Xinying Ren, Richard M. Murray
2019	Misc	`conf`	Counter-example Guided Learning of Bounds on Environment Behavior. CoRL Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray
2019	A*	`conf`	End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. AAAI Richard Cheng, Gábor Orosz, Richard M. Murray, Joel W. Burdick
2019	J	`jnl`	End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. CoRR Richard Cheng, Gábor Orosz, Richard M. Murray, Joel W. Burdick
2019	J	`jnl`	Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. CoRR Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
2019	A*	`conf`	Inverse Abstraction of Neural Networks Using Symbolic Interpolation. AAAI Sumanth Dathathri, Sicun Gao, Richard M. Murray
2019	J	`jnl`	Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data. CoRR Francesca Baldini, Animashree Anandkumar, Richard M. Murray
2019	—	`conf`	Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits. ECC Michaëlle N. Mayalu, Harman Mehta, Richard M. Murray
2019	J	`jnl`	Risk-Averse Planning Under Uncertainty. CoRR Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
2019	C	`conf`	Risk-aware motion planning for automated vehicle among human-driven cars. ACC Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff
2019	C	`conf`	Robust Estimation Framework with Semantic Measurements. ACC Karena X. Cai, Alexei Harvard, Richard M. Murray, Soon-Jo Chung
2019	—	`conf`	Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. CDC Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray
2019	—	`conf`	Towards Assume-Guarantee Profiles for Autonomous Vehicles. CDC Tung Phan-Minh, Karena X. Cai, Richard M. Murray
2019	J	`jnl`	Towards Assume-Guarantee Profiles for Autonomous Vehicles. CoRR Tung Phan-Minh, Karena X. Cai, Richard M. Murray
2019	C	`conf`	Transforming Data Across Environments Despite Structural Non-Identifiability. ACC Vipul Singhal, Richard M. Murray
2018	J	`jnl`	Detecting Adversarial Examples via Neural Fingerprinting. CoRR Sumanth Dathathri, Stephan Zheng, Richard M. Murray, Yisong Yue
2018	J	`jnl`	Future systems and control research in synthetic biology. Annu. Rev. Control. Domitilla Del Vecchio, Yili Qian, Richard M. Murray, Eduardo D. Sontag
2018	J	`jnl`	Layering Assume-Guarantee Contracts for Hierarchical System Design. Proc. IEEE Ioannis Filippidis, Richard M. Murray
2018	—	`conf`	Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts. CDC Wolfgang Halter, Frank Allgöwer, Richard M. Murray, András György
2018	—	`conf`	Role of interaction network topology in controlling microbial population in consortia. CDC Xinying Ren, Richard M. Murray
2018	J	`jnl`	Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. Pavithra Prabhakar, Jun Liu, Richard M. Murray
2018	—	`conf`	Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ADHS Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-Akbar Agha-Mohammadi, Aaron D. Ames, Richard M. Murray
2018	—	`conf`	Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Robotics: Science and Systems Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames
2018	—	`conf`	Voluntary lane-change policy synthesis with control improvisation. CDC Jin I. Ge, Richard M. Murray
2017	C	`conf`	A fast motion planning representation for configuration flat robots with applications to micro air vehicles. ACC Anthony T. Fragoso, Larry H. Matthies, Richard M. Murray
2017	C	`conf`	Connected cruise control design using probabilistic model checking. ACC Jin I. Ge, Gábor Orosz, Richard M. Murray
2017	J	`jnl`	Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis. CoRR Sumanth Dathathri, Richard M. Murray
2017	—	`conf`	Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis. CDC Sumanth Dathathri, Richard M. Murray
2017	—	`conf`	Enhancing tolerance to unexpected jumps in GR(1) games. ICCPS Sumanth Dathathri, Scott C. Livingston, Richard M. Murray
2017	A*	`conf`	Learning-Based Abstractions for Nonlinear Constraint Solving. IJCAI Sumanth Dathathri, Nikos Aréchiga, Sicun Gao, Richard M. Murray
2017	J	`jnl`	Model Predictive Control for Signal Temporal Logic Specification. CoRR Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	C	`conf`	Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. ISRR Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray
2017	—	`conf`	Population regulation in microbial consortia using dual feedback control. CDC Xinying Ren, Ania-Ariadna Baetica, Anandh Swaminathan, Richard M. Murray
2017	J	`jnl`	Privacy Preserving Average Consensus. IEEE Trans. Autom. Control. Yilin Mo, Richard M. Murray
2017	A	`conf`	Synthesis of correct-by-construction behavior trees. IROS Michele Colledanchise, Richard M. Murray, Petter Ögren
2017	J	`jnl`	Systems & Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges. Annu. Rev. Control. 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
2016	—	`conf`	Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. CDC Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray
2016	—	`conf`	Constrained autonomous satellite docking via differential flatness and model predictive control. CDC Samira S. Farahani, Ivan Papusha, Catharine McGhan, Richard M. Murray
2016	C	`conf`	Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. CCA Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
2016	C	`conf`	Linear system identifiability from distributional and time series data. ACC Anandh Swaminathan, Richard M. Murray
2016	—	`conf`	Quantifying resource competition and its effects in the TX-TL system. CDC András György, Richard M. Murray
2016	—	`conf`	Robust model predictive control for an uncertain smart thermal grid. ECC Samira S. Farahani, Zofia Lukszo, Tamás Keviczky, Bart De Schutter, Richard M. Murray
2016	J	`jnl`	Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks. SIAM J. Appl. Dyn. Syst. Marcella M. Gomez, Mehdi Sadeghpour, Matthew R. Bennett, Gábor Orosz, Richard M. Murray
2016	C	`conf`	Symbolic construction of GR(1) contracts for systems with full information. ACC Ioannis Filippidis, Richard M. Murray
2016	—	`conf`	Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications. SSCI Benson Christalin, Michele Colledanchise, Petter Ögren, Richard M. Murray
2016	A*	`conf`	Synthesis of reactive controllers for hybrid systems (keynote). POPL Richard M. Murray
2016	J	`jnl`	The Effects of Time-Varying Temperature on Delays in Genetic Networks. SIAM J. Appl. Dyn. Syst. Marcella M. Gomez, Richard M. Murray, Matthew R. Bennett
2015	—	`conf`	A multi-paradigm language for reactive synthesis. SYNT Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
2015	—	`conf`	A state-space realization approach to set identification of biochemical kinetic parameters. ECC Yutaka Hori, Richard M. Murray
2015	—	`conf`	A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks. CDC Ania A. Baetica, Ye Yuan, Jorge M. Gonçalves, Richard M. Murray
2015	J	`jnl`	An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis. CoRR Robert Mattila, Yilin Mo, Richard M. Murray
2015	—	`conf`	An iterative abstraction algorithm for reactive correct-by-construction controller synthesis. CDC Robert Mattila, Yilin Mo, Richard M. Murray
2015	—	`conf`	Analysis of control systems on symmetric cones. CDC Ivan Papusha, Richard M. Murray
2015	J	`jnl`	Bootstrapping bilinear models of Simple Vehicles. Int. J. Robotics Res. Andrea Censi, Richard M. Murray
2015	J	`jnl`	Convex Optimal Uncertainty Quantification. SIAM J. Optim. Shuo Han, Molei Tao, Ufuk Topcu, Houman Owhadi, Richard M. Murray
2015	—	`conf`	Cross-entropy temporal logic motion planning. HSCC Scott C. Livingston, Eric M. Wolff, Richard M. Murray
2015	—	`conf`	Engineering principles of synthetic biochemical oscillators with negative cyclic feedback. CDC Yutaka Hori, Richard M. Murray
2015	—	`conf`	Global network identification from reconstructed dynamical structure subnetworks: Applications to biochemical reaction networks. CDC Enoch Yeung, Jongmin Kim, Jorge M. Gonçalves, Richard M. Murray
2015	A	`conf`	Online horizon selection in receding horizon temporal logic planning. IROS Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray
2015	—	`conf`	Reactive synthesis from signal temporal logic specifications. HSCC Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia
2015	J	`jnl`	Robot navigation in dense human crowds: Statistical models and experimental studies of human-robot cooperation. Int. J. Robotics Res. Peter Trautman, Jeremy Ma, Richard M. Murray, Andreas Krause
2015	—	`conf`	Robust Model Predictive Control for Signal Temporal Logic Synthesis. ADHS Samira S. Farahani, Vasumathi Raman, Richard M. Murray
2015	J	`jnl`	Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution. IEEE Trans. Control. Netw. Syst. Huan Xu, Ufuk Topcu, Richard M. Murray
2015	J	`jnl`	Symbolic construction of GR(1) contracts for synchronous systems with full information. CoRR Ioannis Filippidis, Richard M. Murray
2015	—	`ch.`	Synthetic Biology. Encyclopedia of Systems and Control Domitilla Del Vecchio, Richard M. Murray
2015	C	`conf`	Variable elimination for scalable receding horizon temporal logic planning. ACC Mattias Fält, Vasumathi Raman, Richard M. Murray
2014	J	`jnl`	A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia
2014	A	`conf`	A compositional approach to stochastic optimal control with co-safe temporal logic specifications. IROS Matanya B. Horowitz, Eric M. Wolff, Richard M. Murray
2014	C	`conf`	A scalable formulation for engineering combination therapies for evolutionary dynamics of disease. ACC Vanessa Jonsson, Anders Rantzer, Richard M. Murray
2014	C	`conf`	Collaborative system identification via parameter consensus. ACC Ivan Papusha, Eugene Lavretsky, Richard M. Murray
2014	J	`jnl`	Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. J. Aerosp. Inf. Syst. Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2014	—	`conf`	Designing robustness to temperature in a feedforward loop circuit. CDC Shaunak Sen, Jongmin Kim, Richard M. Murray
2014	C	`conf`	Efficient control synthesis for augmented finite transition systems with an application to switching protocols. ACC Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard M. Murray
2014	C	`conf`	Exact stability analysis of discrete-time linear systems with stochastic delays. ACC Marcella M. Gomez, Wubing B. Qin, Gábor Orosz, Richard M. Murray
2014	—	`conf`	Hot-swapping robot task goals in reactive formal synthesis. CDC Scott C. Livingston, Richard M. Murray
2014	—	`conf`	Model predictive control with signal temporal logic specifications. CDC Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2014	—	`conf`	Modeling the effects of compositional context on promoter activity in an E. coli extract based transcription-translation system. CDC Enoch Yeung, Andrew Ng, Jongmin Kim, Zachary Z. Sun, Richard M. Murray
2014	A*	`conf`	Optimization-based trajectory generation with linear temporal logic specifications. ICRA Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2014	—	`conf`	Privacy preserving average consensus. CDC Yilin Mo, Richard M. Murray
2014	C	`conf`	Synthesis of correct-by-construction control protocols for hybrid systems using partial state information. ACC Oscar Mickelin, Necmiye Ozay, Richard M. Murray
2014	—	`conf`	Synthesizing combination therapies for evolutionary dynamics of disease for nonlinear pharmacodynamics. CDC Vanessa Jonsson, Nikolai Matni, Richard M. Murray
2014	J	`jnl`	The Swarm at the Edge of the Cloud. IEEE Des. Test 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, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe
2014	J	`jnl`	Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122). Dagstuhl Reports Rupak Majumdar, Richard M. Murray, Pavithra Prabhakar
2013	J	`jnl`	A robust model predictive control algorithm augmented with a reactive safety mode. Autom. John M. Carson III, Behçet Açikmese, Richard M. Murray, Douglas G. MacMartin
2013	—	`conf`	An aircraft electric power testbed for validating automatically synthesized reactive control protocols. HSCC Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2013	—	`conf`	An in silico modeling toolbox for rapid prototyping of circuits in a biomolecular "breadboard" system. CDC Zoltán A. Tuza, Vipul Singhal, Jongmin Kim, Richard M. Murray
2013	A	`conf`	Automaton-guided controller synthesis for nonlinear systems with temporal logic. IROS Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2013	C	`conf`	Biomolecular resource utilization in elementary cell-free gene circuits. ACC Dan Siegal-Gaskins, Vincent Noireaux, Richard M. Murray
2013	C	`conf`	Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. ACC Necmiye Ozay, Jun Liu, Pavithra Prabhakar, Richard M. Murray
2013	C	`conf`	Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids. ACC Shuo Han, Ufuk Topcu, Molei Tao, Houman Owhadi, Richard M. Murray
2013	C	`conf`	Design and implementation of a biomolecular circuit for tracking protein concentration. ACC Emmanuel L. C. de los Santos, Victoria Hsiao, Richard M. Murray
2013	J	`jnl`	Discriminating External and Internal Causes for Heading Changes in Freely Flying PLoS Comput. Biol. Andrea Censi, Andrew D. Straw, Rosalyn W. Sayaman, Richard M. Murray, Michael H. Dickinson
2013	—	`conf`	Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity. CDC Quentin Maillet, Huan Xu, Necmiye Ozay, Richard M. Murray
2013	A*	`conf`	Efficient reactive controller synthesis for a fragment of linear temporal logic. ICRA Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2013	C	`conf`	Feedback architectures to regulate flux of components in artificial gene networks. ACC Giulia Giordano, Elisa Franco, Richard M. Murray
2013	—	`conf`	Industrial Cyber-Physical Systems - iCyPhy. CSDM Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Eelco Scholte
2013	A*	`conf`	Just-in-time synthesis for reactive motion planning with temporal logic. ICRA Scott C. Livingston, Richard M. Murray
2013	—	`conf`	Modeling environmental disturbances with the chemical master equation. CDC Enoch Yeung, James L. Beck, Richard M. Murray
2013	A*	`conf`	Motion planning in observations space with learned diffeomorphism models. ICRA Andrea Censi, Adam Nilsson, Richard M. Murray
2013	C	`conf`	Optimal Control of Nonlinear Systems with Temporal Logic Specifications. ISRR Eric M. Wolff, Richard M. Murray
2013	—	`conf`	Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic. CDC Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2013	J	`jnl`	Optimization of convergence rate and stability margin of information flow in cooperative systems. Autom. Michael Zabarankin, Robert Murphey, Richard M. Murray
2013	A*	`conf`	Patching task-level robot controllers based on a local μ-calculus formula. ICRA Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray
2013	Misc	`conf`	Pre-orders for reasoning about stability properties with respect to input of hybrid systems. EMSOFT Pavithra Prabhakar, Jun Liu, Richard M. Murray
2013	—	`conf`	Resource competition as a source of non-minimum phase behavior in transcription-translation systems. CDC Enoch Yeung, Jongmin Kim, Richard M. Murray
2013	—	`conf`	Reverse engineering combination therapies for evolutionary dynamics of disease: An ℌ∞ approach. CDC Vanessa Jonsson, Nikolai Matni, Richard M. Murray
2013	A*	`conf`	Robot navigation in dense human crowds: the case for cooperation. ICRA Peter Trautman, Jeremy Ma, Richard M. Murray, Andreas Krause
2013	—	`conf`	Stability of discrete-time systems with stochastically delayed feedback. ECC Marcella M. Gomez, Gábor Orosz, Richard M. Murray
2013	J	`jnl`	Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Trans. Autom. Control. Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2013	—	`conf`	Temperature dependence of biomolecular circuit designs. CDC Shaunak Sen, Richard M. Murray
2013	J	`jnl`	Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Secur. Priv. Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray
2012	—	`conf`	A case study on reactive protocols for aircraft electric power distribution. CDC Huan Xu, Ufuk Topcu, Richard M. Murray
2012	A*	`conf`	Backtracking temporal logic synthesis for uncertain environments. ICRA Scott C. Livingston, Richard M. Murray, Joel W. Burdick
2012	C	`conf`	Decentralised minimal-time dynamic consensus. ACC Ye Yuan, Jun Liu, Richard M. Murray, Jorge M. Gonçalves
2012	A*	`conf`	Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades. ICRA Andrea Censi, Magnus Hakansson, Richard M. Murray
2012	A*	`conf`	Learning diffeomorphism models of robotic sensorimotor cascades. ICRA Andrea Censi, Richard M. Murray
2012	—	`conf`	On synthesizing robust discrete controllers under modeling uncertainty. HSCC Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray
2012	—	`conf`	Optimal Control with Weighted Average Costs and Temporal Logic Specifications. Robotics: Science and Systems Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2012	—	`conf`	Performance metrics for a biomolecular step response. CDC Shaunak Sen, Richard M. Murray
2012	—	`conf`	Quantifying crosstalk in biochemical systems. CDC Enoch Yeung, Jongmin Kim, Ye Yuan, Jorge M. Gonçalves, Richard M. Murray
2012	J	`jnl`	Quantized Consensus by Means of Gossip Algorithm. IEEE Trans. Autom. Control. Javad Lavaei, Richard M. Murray
2012	—	`conf`	Reactive controllers for differentially flat systems with temporal logic constraints. CDC Jun Liu, Ufuk Topcu, Necmiye Ozay, Richard M. Murray
2012	J	`jnl`	Receding Horizon Temporal Logic Planning. IEEE Trans. Autom. Control. Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2012	—	`conf`	Robust control of uncertain Markov Decision Processes with temporal logic specifications. CDC Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2012	—	`conf`	Stabilization of Feedback Systems Via Distribution of Delays. TDS Marcella M. Gomez, Richard M. Murray
2012	C	`conf`	Switching protocol synthesis for temporal logic specifications. ACC Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2012	J	`jnl`	Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication CoRR Clemens Wiltsche, Ufuk Topcu, Richard M. Murray
2012	C	`conf`	Temporal logic control of switched affine systems with an application in fuel balancing. ACC Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2012	A*	`conf`	Towards formal synthesis of reactive controllers for dexterous robotic manipulation. ICRA Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray
2012	J	`jnl`	Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. ACM Trans. Embed. Comput. Syst. Tichakorn Wongpiromsarn, Sayan Mitra, Andrew G. Lamperski, Richard M. Murray
2011	—	`conf`	A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor. ROBIO Sawyer B. Fuller, Richard M. Murray
2011	J	`jnl`	Bisimulation conversion and verification procedure for goal-based control systems. Formal Methods Syst. Des. Julia M. B. Braman, Richard M. Murray
2011	A*	`conf`	Bootstrapping bilinear models of robotic sensorimotor cascades. ICRA Andrea Censi, Richard M. Murray
2011	A	`conf`	Bootstrapping sensorimotor cascades: A group-theoretic perspective. IROS Andrea Censi, Richard M. Murray
2011	A	`conf`	Containment indicator function construction via numerical conformal mapping. IROS Shuo Han, Richard M. Murray
2011	—	`conf`	Distributed Synthesis of Control Protocols for Smart Camera Networks. ICCPS Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn
2011	—	`conf`	Distributed power allocation for vehicle management systems. CDC/ECC Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2011	J	`jnl`	Dynamics and Stability of Low-Reynolds-Number Swimming Near a Wall. SIAM J. Appl. Dyn. Syst. Yizhar Or, Sebastian Zhang, Richard M. Murray
2011	J	`jnl`	Extremal Properties of Complex Networks CoRR Dionysios Barmpoutis, Richard M. Murray
2011	C	`conf`	Fault-tolerant controller design with applications in power systems and synthetic biology. ACC Somayeh Sojoudi, Javad Lavaei, Richard M. Murray
2011	—	`conf`	TuLiP: a software toolbox for receding horizon temporal logic planning. HSCC Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
2011	—	`conf`	Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents. ICDL-EPIROB Andrea Censi, Richard M. Murray
2010	A	`conf`	A bio-plausible design for visual pose stabilization. IROS Shuo Han, Andrea Censi, Andrew D. Straw, Richard M. Murray
2010	—	`conf`	Automatic Synthesis of Robust Embedded Control Software. AAAI Spring Symposium: Embedded Reasoning Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2010	C	`conf`	Experimental demonstration of the dynamics and stability of a low Reynolds number swimmer near a plane wall. ACC Sebastian Zhang, Yizhar Or, Richard M. Murray
2010	A*	`conf`	Joint DAC/IWBDA special session engineering biology: fundamentals and applications. DAC Marc D. Riedel, Soha Hassoun, Ron Weiss, Pamela Silver, J. Christopher Anderson, Richard M. Murray
2010	J	`jnl`	Kalman Filtering Over a Packet-Dropping Network: A Probabilistic Perspective. IEEE Trans. Autom. Control. Ling Shi, Michael Epstein, Richard M. Murray
2010	C	`conf`	Limits on the network sensitivity function for homogeneous multi-agent systems on a graph. ACC Stefania Tonetti, Richard M. Murray
2010	J	`jnl`	Quantification and Minimization of Crosstalk Sensitivity in Networks CoRR Dionysios Barmpoutis, Richard M. Murray
2010	—	`conf`	Receding horizon control for temporal logic specifications. HSCC Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2010	J	`jnl`	Reply to "Comments on "Consensus and Cooperation in Networked Multi-Agent Systems"". Proc. IEEE Reza Olfati-Saber, J. Alexander Fax, Richard M. Murray
2010	C	`conf`	Simple delay-based implementation of continuous-time controllers. ACC Javad Lavaei, Somayeh Sojoudi, Richard M. Murray
2010	—	`conf`	Synthesis of embedded control systems with high sampling frequencies. CDC Javad Lavaei, Somayeh Sojoudi, Richard M. Murray
2010	—	`conf`	Tuning a synthetic in vitro oscillator using control-theoretic tools. CDC Christopher Sturk, Elisa Franco, Richard M. Murray
2009	—	`conf`	A bio-plausible design for visual attitude stabilization. CDC Andrea Censi, Shuo Han, Sawyer B. Fuller, Richard M. Murray
2009	A*	`conf`	A real-time helicopter testbed for insect-inspired visual flight control. ICRA Shuo Han, Andrew D. Straw, Michael H. Dickinson, Richard M. Murray
2009	—	`conf`	Compositional stability analysis based on dual decomposition. CDC Ufuk Topcu, Andrew K. Packard, Richard M. Murray
2009	J	`jnl`	Data Transmission Over Networks for Estimation and Control. IEEE Trans. Autom. Control. Vijay Gupta, Amir F. Dana, João P. Hespanha, Richard M. Murray, Babak Hassibi
2009	—	`conf`	Design of insulating devices for in vitro synthetic circuits. CDC Elisa Franco, Domitilla Del Vecchio, Richard M. Murray
2009	J	`jnl`	Flight Dynamics and Control of Evasive Maneuvers: The Fruit Fly's Takeoff. IEEE Trans. Biomed. Eng. Francisco A. Zabala, Gwyneth M. Card, Ebraheem I. Fontaine, Michael H. Dickinson, Richard M. Murray
2009	—	`conf`	Geometric control of particle manipulation in a two-dimensional fluid. CDC Yizhar Or, Joris Vankerschaver, Scott David Kelly, Richard M. Murray, Jerrold E. Marsden
2009	J	`jnl`	Kalman filtering over a packet-delaying network: A probabilistic approach. Autom. Ling Shi, Lihua Xie, Richard M. Murray
2009	C	`conf`	On quantized consensus by means of gossip algorithm - Part I: Convergence proof. ACC Javad Lavaei, Richard M. Murray
2009	C	`conf`	On quantized consensus by means of gossip algorithm - Part II: Convergence time. ACC Javad Lavaei, Richard M. Murray
2009	—	`conf`	Periodically Controlled Hybrid Systems. HSCC Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski
2009	—	`conf`	Quantized consensus via adaptive stochastic gossip algorithm. CDC Javad Lavaei, Richard M. Murray
2009	C	`conf`	Real-valued average consensus over noisy quantized channels. ACC Andrea Censi, Richard M. Murray
2009	—	`conf`	Receding horizon temporal logic planning for dynamical systems. CDC Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2009	J	`jnl`	To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels. IEEE Trans. Autom. Control. Yasamin Mostofi, Richard M. Murray
2008	C	`conf`	Convergence Properties of Dynamic Agents Consensus Networks with Broken Links. ACC Stefano Di Cairano, Antonio Pasini, Alberto Bemporad, Richard M. Murray
2008	—	`conf`	Design and performance of in vitro transcription rate regulatory circuits. CDC Elisa Franco, Richard M. Murray
2008	C	`conf`	Design, modeling and synthesis of an in vitro transcription rate regulatory circuit. ACC Elisa Franco, Per-Ola Forsberg, Richard M. Murray
2008	—	`conf`	Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems. HSCC Stefano Di Cairano, Karl Henrik Johansson, Alberto Bemporad, Richard M. Murray
2008	C	`conf`	Kalman filtering over a packet dropping network: A probabilistic approach. ICARCV Ling Shi, Michael Epstein, Richard M. Murray
2008	C	`conf`	Nonlinear lateral control strategy for nonholonomic vehicles. ACC Magnus Linderoth, Kristian Soltesz, Richard M. Murray
2008	—	`conf`	Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance. CDC Ling Shi, Karl Henrik Johansson, Richard M. Murray
2008	J	`jnl`	Probabilistic performance of state estimation across a lossy network. Autom. Michael Epstein, Ling Shi, Abhishek Tiwari, Richard M. Murray
2008	C	`conf`	Safety verification of fault tolerant goal-based control programs with estimation uncertainty. ACC Julia M. B. Braman, Richard M. Murray
2007	C	`conf`	A Multi-Model Approach to Identification of Biosynthetic Pathways. ACC Mary J. Dunlop, Elisa Franco, Richard M. Murray
2007	C	`conf`	Analysis of a Digital Clock for Molecular Computing. ACC Johan Ugander, Mary J. Dunlop, Richard M. Murray
2007	J	`jnl`	Asynchronous distributed averaging on communication networks. IEEE/ACM Trans. Netw. Mortada Mehyar, Demetri P. Spanos, John Pongsajapan, Steven H. Low, Richard M. Murray
2007	C	`conf`	Biologically Inspired Feedback Design for Drosophila Flight. ACC Michael Epstein, Stephen Waydo, Sawyer B. Fuller, William B. Dickson, Andrew D. Straw, Michael H. Dickinson, Richard M. Murray
2007	—	`conf`	Change sensor topology when needed: How to efficiently use system resources in control and estimation over wireless networks. CDC Ling Shi, Karl Henrik Johansson, Richard M. Murray
2007	J	`jnl`	Consensus and Cooperation in Networked Multi-Agent Systems. Proc. IEEE Reza Olfati-Saber, J. Alexander Fax, Richard M. Murray
2007	C	`conf`	Effective Sensor Scheduling Schemes in a Sensor Network by Employing Feedback in the Communication Loop. CCA Ling Shi, Michael Epstein, Bruno Sinopoli, Richard M. Murray
2007	C	`conf`	Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks. ACC Zhipu Jin, Chih-Kai Ko, Richard M. Murray
2007	C	`conf`	Estimation over Communication Networks: Performance Bounds and Achievability Results. ACC Amir F. Dana, Vijay Gupta, João P. Hespanha, Babak Hassibi, Richard M. Murray
2007	—	`conf`	Estimation schemes for networked control systems using UDP-like communication. CDC Michael Epstein, Ling Shi, Richard M. Murray
2007	C	`conf`	Frequency-Weighted Model Reduction with Applications to Structured Models. ACC Henrik Sandberg, Richard M. Murray
2007	C	`conf`	Kalman Filtering with Uncertain Process and Measurement Noise Covariances with Application to State Estimation in Sensor Networks. CCA Ling Shi, Karl Henrik Johansson, Richard M. Murray
2007	J	`jnl`	Optimal LQG control across packet-dropping links. Syst. Control. Lett. Vijay Gupta, Babak Hassibi, Richard M. Murray
2007	—	`conf`	Random consensus protocol in large-scale networks. CDC Zhipu Jin, Richard M. Murray
2007	A	`conf`	Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. IROS Julia M. B. Braman, Richard M. Murray, David A. Wagner
2007	C	`conf`	To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links. ACC Yasamin Mostofi, Richard M. Murray
2007	J	`jnl`	UAV as a Reliable Wingman: A Flight Demonstration. IEEE Trans. Control. Syst. Technol. Stephen Waydo, John Hauser, Robert Bailey, Eric Klavins, Richard M. Murray
2006	A*	`conf`	A Decentralized Motion Coordination Strategy for Dynamic Target Tracking. ICRA Timothy H. Chung, Joel W. Burdick, Richard M. Murray
2006	J	`jnl`	Alice: An information-rich autonomous vehicle for high-speed desert navigation. J. Field Robotics 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, Richard M. Murray
2006	—	`conf`	An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes. CDC Michael Epstein, Ling Shi, Richard M. Murray
2006	J	`jnl`	Discrete state estimators for systems on a lattice. Autom. Domitilla Del Vecchio, Richard M. Murray, Eric Klavins
2006	—	`conf`	Distributed Sensing and Estimation Under Communication Constraints. CDC Yasamin Mostofi, Richard M. Murray
2006	J	`jnl`	Distributed receding horizon control for multi-vehicle formation stabilization. Autom. William B. Dunbar, Richard M. Murray
2006	C	`conf`	Dynamic Sensor Coverage with Uncertainty Feedback : Analysis Using Iterated Maps. ACC Abhishek Tiwari, Richard M. Murray
2006	A*	`conf`	Model-based Estimation of Off-highway Road Geometry using Single-axis LADAR and Inertial Sensing. ICRA Lars B. Cremean, Richard M. Murray
2006	—	`conf`	Multi-Hop Relay Protocols for Fast Consensus Seeking. CDC Zhipu Jin, Richard M. Murray
2006	C	`conf`	Networked control systems with norm bounded uncertainties: a stability analysis. ACC Ling Shi, Michael Epstein, Richard M. Murray
2006	—	`conf`	On Sensor Coverage by Mobile Sensors. CDC Vijay Gupta, David E. Jeffcoat, Richard M. Murray
2006	J	`jnl`	On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage. Autom. Vijay Gupta, Timothy H. Chung, Babak Hassibi, Richard M. Murray
2006	C	`conf`	On the effect of quantization on performance at high rates. ACC Vijay Gupta, Amir F. Dana, Richard M. Murray, Babak Hassibi
2006	—	`conf`	On the robustness of distributed algorithms. CDC Vijay Gupta, Cedric Langbort, Richard M. Murray
2006	C	`conf`	Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry. ACC John M. Carson III, Michael Epstein, Douglas G. MacMynowski, Richard M. Murray
2006	C	`conf`	Optimum allocation of computing resources in networked sensing and control. ACC Yasamin Mostofi, Richard M. Murray
2006	J	`jnl`	State estimation over packet dropping networks using multiple description coding. Autom. Zhipu Jin, Vijay Gupta, Richard M. Murray
2006	—	`conf`	The Effect of Sensor Health on State Estimation. CDC Ling Shi, Michael Epstein, Richard M. Murray
2006	C	`conf`	Towards a Packet-based Control Theory - Part II: Rate Issues. ACC Ling Shi, Richard M. Murray
2005	—	`conf`	A Control-Oriented Analysis of Bio-inspired Visuomotor Convergence. CDC/ECC J. Sean Humbert, Richard M. Murray, Michael H. Dickinson
2005	A*	`conf`	An Experimental Platform for Motion Estimation and Maneuver Characterization in High Speed Off-Road Driving. ICRA Haomiao Huang, Lyle Chamberlain, Richard M. Murray
2005	—	`conf`	Approximate distributed kalman filtering in sensor networks with quantifiable performance. IPSN Demetri P. Spanos, Reza Olfati-Saber, Richard M. Murray
2005	—	`conf`	Communication and sensing trade-offs in decentralized mobile sensor networks: a cross-layer design approach. IPSN Yasamin Mostofi, Timothy H. Chung, Richard M. Murray, Joel W. Burdick
2005	C	`conf`	Decentralized control across bit-limited communication channels: an example. ACC Ling Shi, Chih-Kai Ko, Zhipu Jin, D. Gayme, Vijay Gupta, Stephen Waydo, Richard M. Murray
2005	—	`conf`	Distributed Averaging on Asynchronous Communication Networks. CDC/ECC Mortada Mehyar, Demetri P. Spanos, John Pongsajapan, Steven H. Low, Richard M. Murray
2005	—	`conf`	Estimation of Linear Stochastic Systems over a Queueing Network. Systems Communications Michael Epstein, Abhishek Tiwari, Ling Shi, Richard M. Murray
2005	—	`conf`	Estimation with Information Loss: Asymptotic Analysis and Error Bounds. CDC/ECC Ling Shi, Michael Epstein, Abhishek Tiwari, Richard M. Murray
2005	—	`conf`	Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order. HSCC Domitilla Del Vecchio, Richard M. Murray
2005	C	`conf`	Experimental validation of an algorithm for cooperative boundary tracking. ACC Chung H. Hsieh, Zhipu Jin, Daniel E. Marthaler, Bao Q. Nguyen, David J. Tung, Andrea L. Bertozzi, Richard M. Murray
2005	C	`conf`	Motion planning with wireless network constraints. ACC Demetri P. Spanos, Richard M. Murray
2005	C	`conf`	On LQG control across a stochastic packet-dropping link. ACC Vijay Gupta, Demetri P. Spanos, Babak Hassibi, Richard M. Murray
2005	—	`conf`	On Sensor Fusion in the Presence of Packet-dropping Communication Channels. CDC/ECC Vijay Gupta, Babak Hassibi, Richard M. Murray
2005	C	`conf`	On dropping noisy packets in Kalman filtering over a wireless fading channel. ACC Yasamin Mostofi, Richard M. Murray
2005	—	`conf`	Receiver Design Principles for Estimation over Fading Channels. CDC/ECC Yasamin Mostofi, Richard M. Murray
2005	—	`conf`	State Estimation Utilizing Multiple Description Coding over Lossy Networks. CDC/ECC Zhipu Jin, Vijay Gupta, Babak Hassibi, Richard M. Murray
2005	C	`conf`	Towards a packet-based control theory - part 1: stabilization over a packet-based network. ACC Ling Shi, Richard M. Murray
2005	C	`conf`	Virtual attractive-repulsive potentials for cooperative control of second order dynamic vehicles on the Caltech MVWT. ACC Bao Q. Nguyen, Yao-Ling Chuang, David Tung, Chung H. Hsieh, Zhipu Jin, Ling Shi, Daniel E. Marthaler, Andrea L. Bertozzi, Richard M. Murray
2004	C	`conf`	A framework for Lyapunov certificates for multi-vehicle rendezvous problems. ACC Abhishek Tiwari, Jimmy Fung, John M. Carson III, Ratkim Bhattacharya, Richard M. Murray
2004	J	`jnl`	Consensus problems in networks of agents with switching topology and time-delays. IEEE Trans. Autom. Control. Reza Olfati-Saber, Richard M. Murray
2004	—	`conf`	Discrete State Estimators for a Class of Hybrid Systems on a Lattice. HSCC Domitilla Del Vecchio, Richard M. Murray
2004	—	`conf`	Discrete state estimators for a class of nondeterministic hybrid systems on a lattice. CDC Domitilla Del Vecchio, Richard M. Murray
2004	J	`jnl`	Distributed Algorithms for Cooperative Control. IEEE Pervasive Comput. Eric Klavins, Richard M. Murray
2004	—	`conf`	Double-graph control strategy of multi-vehicle formations. CDC Zhipu Jin, Richard M. Murray
2004	B	`conf`	Effect of time-varying fading channels on control performance of a mobile sensor. SECON Yasamin Mostofi, Richard M. Murray
2004	—	`conf`	Ellipsoidal cones and rendezvous of multiple agents. CDC Raktim Bhattacharya, Jimmy Fung, Abhishek Tiwari, Richard M. Murray
2004	—	`conf`	Existence of discrete state estimators for hybrid systems on a lattice. CDC Domitilla Del Vecchio, Richard M. Murray
2004	A*	`conf`	Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection. ICRA Claire Walton, Domitilla Del Vecchio, Richard M. Murray
2004	J	`jnl`	Information flow and cooperative control of vehicle formations. IEEE Trans. Autom. Control. J. Alexander Fax, Richard M. Murray
2004	C	`conf`	MVWT-II: the second generation Caltech Multi-Vehicle Wireless Testbed. ACC Zhipu Jin, Stephan Waydo, Elisabeth B. Wildanger, Michael Lammers, Hans Scholze, Peter Foley, David Held, Richard M. Murray
2004	—	`conf`	Nonlinear trajectory generation for unmanned air vehicles with multiple radars. CDC Tamer Inanc, Kathy Misovec, Richard M. Murray
2004	—	`conf`	On a decentralized active sensing strategy using mobile sensor platforms in a network. CDC Timothy H. Chung, Vijay Gupta, Joel W. Burdick, Richard M. Murray
2004	C	`conf`	On the synthesis of control laws for a network of autonomous agents. ACC Vijay Gupta, Babak Hassibi, Richard M. Murray
2004	—	`conf`	Receding horizon control of multi-vehicle formations: a distributed implementation. CDC William B. Dunbar, Richard M. Murray
2004	—	`conf`	Robust connectivity of networked vehicles. CDC Demetri P. Spanos, Richard M. Murray
2004	A*	`conf`	Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step. ICRA Timothy H. Chung, Vijay Gupta, Babak Hassibi, Joel W. Burdick, Richard M. Murray
2004	—	`conf`	Sensor scheduling algorithms requiring limited computation [vehicle sonar range-finder example]. ICASSP (3) Vijay Gupta, Timothy H. Chung, Babak Hassibi, Richard M. Murray
2004	C	`conf`	Vision as a compensatory mechanism for disturbance rejection in upwind flight. ACC Michael B. Reiser, J. Sean Humbert, Mary J. Dunlop, Domitilla Del Vecchio, Richard M. Murray, Michael H. Dickinson
2003	—	`conf`	Agreement problems in networks with directed graphs and switching topology. CDC Reza Olfati-Saber, Richard M. Murray
2003	—	`conf`	Classification of human actions into dynamics based primitives with application to drawing tasks. ECC Domitilla Del Vecchio, Richard M. Murray, Pietro Perona
2003	C	`conf`	Consensus protocols for networks of dynamic agents. ACC Reza Olfati-Saber, Richard M. Murray
2003	C	`conf`	Cooperative control of multi-vehicle systems using cost graphs and optimization. ACC Reza Olfati-Saber, William B. Dunbar, Richard M. Murray
2003	A*	`conf`	Cooperative task planning of multi-robot systems with temporal constraints. ICRA Feng-Li Lian, Richard M. Murray
2003	J	`jnl`	Decomposition of human motion into dynamics-based primitives with application to drawing tasks. Autom. Domitilla Del Vecchio, Richard M. Murray, Pietro Perona
2003	—	`conf`	Flocking with obstacle avoidance: cooperation with limited communication in mobile networks. CDC Reza Olfati-Saber, Richard M. Murray
2003	J	`jnl`	Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses. Eur. J. Control Richard M. Murray
2003	—	`conf`	Low-observable nonlinear trajectory generation for unmanned air vehicles. CDC Kathy Misovec, Tamer Inanc, Jerry M. Wohletz, Richard M. Murray
2003	C	`conf`	Model reduction and system identification for master equation control systems. ACC Martha A. Gallivan, Richard M. Murray
2003	—	`conf`	Nonlinear and cooperative control of multiple hovercraft with input constraints. ECC William B. Dunbar, Reza Olfati-Saber, Richard M. Murray
2003	—	`conf`	Nonlinear trajectory generation for the Caltech Multi-Vehicle Wireless Testbed. ECC Jonathan Chauvin, Laure Sinègre, Richard M. Murray
2003	C	`conf`	Observability and local observer construction for unknown parameters in linearly and nonlinearly parameterized systems. ACC Domitilla Del Vecchio, Richard M. Murray
2003	C	`conf`	On the control of jump linear Markov systems with Markov state estimation. ACC Vijay Gupta, Richard M. Murray, Babak Hassibi
2003	C	`conf`	Segmentation of human motion into dynamics based primitives with application to drawing tasks. ACC Domitilla Del Vecchio, Richard M. Murray, Pietro Perona
2003	—	`conf`	Stability analysis of interconnected nonlinear systems under matrix feedback. CDC Lars B. Cremean, Richard M. Murray
2003	—	`conf`	Stability analysis of stochastically varying formations of dynamic agents. CDC Vijay Gupta, Babak Hassibi, Richard M. Murray
2003	C	`conf`	Stability and performance analysis with double-graph model of vehicle formations. ACC Zhipu Jin, Richard M. Murray
2003	C	`conf`	The RoboFlag competition. ACC Raffaello D'Andrea, Richard M. Murray
2003	A*	`conf`	Vehicle motion planning using stream functions. ICRA Stephen Waydo, Richard M. Murray
2002	J	`jnl`	Bifurcation control of rotating stall with actuator magnitude and rate limits: Part I - model reduction and qualitative dynamics. Autom. Yong Wang, Richard M. Murray
2002	J	`jnl`	Bifurcation control of rotating stall with actuator magnitude and rate limits: Part II - control synthesis and comparison with experiments. Autom. Yong Wang, Simon Yeung, Richard M. Murray
2002	—	`conf`	Distributed structural stabilization and tracking for formations of dynamic multi-agents. CDC Reza Olfati-Saber, Richard M. Murray
2002	—	`conf`	Graph rigidity and distributed formation stabilization of multi-vehicle systems. CDC Reza Olfati-Saber, Richard M. Murray
2002	—	`conf`	Model predictive control of coordinated multi-vehicle formations. CDC William B. Dunbar, Richard M. Murray
2002	—	`conf`	On the choice of norm for modeling compressible flow dynamics at reduced-order using the POD. CDC Tim Colonius, Clancy W. Rowley, Jonathan B. Freud, Richard M. Murray
2002	—	`conf`	Real-time trajectory generation for the cooperative path planning of multi-vehicle systems. CDC Feng-Li Lian, Richard M. Murray
2002	—	`conf`	The Caltech Multi-Vehicle Wireless Testbed. CDC Lars B. Cremean, William B. Dunbar, Dave van Gogh, Jason Hickey, Eric Klavins, Jason Meltzer, Richard M. Murray
2001	—	`conf`	Modeling and control of thin film morphology using unsteady processing parameters: Problem formulation and initial results. CDC Martha A. Gallivan, David G. Goodwin, Richard M. Murray
2001	A*	`conf`	Nonlinear Control Methods for Planar Carangiform Robot Fish Locomotion. ICRA Kristi A. Morgansen, Vincent Duindam, Richard Mason, Joel W. Burdick, Richard M. Murray
2000	—	`conf`	A geometric perspective on bifurcation control. CDC Yong Wang, Richard M. Murray
2000	—	`conf`	A new computational approach to real-time trajectory generation for constrained mechanical systems. CDC Mark B. Milam, Kudah Mushambi, Richard M. Murray
2000	—	`conf`	Finite-horizon optimal control and stabilization of time-scalable systems. CDC J. Alexander Fax, Richard M. Murray
2000	C	`conf`	Nonlinear analysis on the effects of magnitude saturation for a combustion model with fuel modulation actuators. ACC Yong Wang, Richard M. Murray
2000	—	`conf`	Optimal control of affine connection control systems: a variational approach. CDC J. Alexander Fax, Richard M. Murray
1999	J	`jnl`	Configuration Controllability of Simple Mechanical Control Systems. SIAM Rev. Andrew D. Lewis, Richard M. Murray
1999	J	`jnl`	Tracking for fully actuated mechanical systems: a geometric framework. Autom. Francesco Bullo, Richard M. Murray
1997	A*	`conf`	An experimental comparison of tradeoffs in using compliant manipulators for robotic grasping tasks. ICRA Sudipto Sur, Richard M. Murray
1997	J	`jnl`	Exponential stabilization of driftless nonlinear control systems using homogeneous feedback. IEEE Trans. Autom. Control. Robert T. M'Closkey, Richard M. Murray
1995	J	`jnl`	Geometric phases and robotic locomotion. J. Field Robotics Scott David Kelly, Richard M. Murray
1995	A*	`conf`	The Mechanisms of Undulatory Locomotion: The Mixed Kinematic and Dynamic Case. ICRA James P. Ostrowski, Joel W. Burdick, Andrew D. Lewis, Richard M. Murray
1995	J	`jnl`	Trajectory generation for the N-trailer problem using Goursat normal form. IEEE Trans. Autom. Control. Dawn M. Tilbury, Richard M. Murray, S. Shankar Sastry
1994	—	`book`	A mathematical introduction to robotics manipulation. Richard M. Murray, Zexiang Li, S. Shankar Sastry
1994	J	`jnl`	A motion planner for nonholonomic mobile robots. IEEE Trans. Robotics Autom. Jean-Paul Laumond, Paul E. Jacobs, Michel Taïx, Richard M. Murray
1994	J	`jnl`	Nilpotent bases for a class of nonintegrable distributions with applications to trajectory generation for nonholonomic systems. Math. Control. Signals Syst. Richard M. Murray
1994	A*	`conf`	Nonholonomic Mechanics and Locomotion: The Snakeboard Example. ICRA James P. Ostrowski, Andrew D. Lewis, Richard M. Murray, Joel W. Burdick
1994	J	`jnl`	Stabilization of trajectories for systems with nonholonomic constraints. IEEE Trans. Autom. Control. Gregory Walsh, Dawn M. Tilbury, Shankar Sastry, Richard M. Murray, Jean-Paul Laumond
1993	J	`jnl`	Nonholonomic motion planning: steering using sinusoids. IEEE Trans. Autom. Control. Richard M. Murray, S. Shankar Sastry
1992	A*	`conf`	An experimental study of hierarchical control laws for grasping and manipulation using a two-fingered planar hand. ICRA Karin Hollerbach, Richard M. Murray, S. Shankar Sastry
1992	J	`jnl`	Control primitives for robot systems. IEEE Trans. Syst. Man Cybern. Richard M. Murray, D. Curtis Deno, Kristofer S. J. Pister, S. Shankar Sastry
1992	A*	`conf`	Fingerlike biomechanical robots. ICRA D. Curtis Deno, Richard M. Murray, Kristofer S. J. Pister, S. Shankar Sastry
1992	A*	`conf`	Stabilization of trajectories for systems with nonholonomic constraints. ICRA Gregory Walsh, Dawn M. Tilbury, Shankar Sastry, Richard M. Murray, Jean-Paul Laumond
1992	A*	`conf`	Steering car-like systems with trailers using sinusoids. ICRA Dawn M. Tilbury, Jean-Paul Laumond, Richard M. Murray, Shankar Sastry, Gregory Walsh
1990	A*	`conf`	Control primitives for robot systems. ICRA D. Curtis Deno, Richard M. Murray, Kristofer S. J. Pister, S. Shankar Sastry
1989	A*	`conf`	Control experiments in planar manipulation and grasping. ICRA Richard M. Murray, S. Shankar Sastry