Richard M. Murray

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 116

Top Venues

Publications

Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
Layered Control Systems Operating on Multiple Clocks. IEEE Control. Syst. Lett. 8 (2024)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Decision Making Under Uncertainty. IEEE Trans. Autom. Control. 69 (1) (2024)
Josefine B. Graebener, Apurva S. Badithela, Denizalp Goktas, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications. CoRR (2024)
Inigo Incer, Noel Csomay-Shanklin, Aaron D. Ames, Richard M. Murray
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks. CoRR (2024)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. CoRR (2023)
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
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR (2023)
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. ICRA (2023)
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Context-Aided Variable Elimination for Requirement Engineering. CoRR (2023)
Ayush Pandey, William Poole, Anandh Swaminathan, Victoria Hsiao, Richard M. Murray
Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape. J. Open Source Softw. 8 (83) (2023)
Wei Kang, John Burns, Richard M. Murray
Advances in theoretical and computational nonlinear control - Dedicated to the 80th birthday of Professor Arthur J. Krener. Syst. Control. Lett. 174 (2023)
Fatemeh Aghlmand, Chelsea Hu, Saransh Sharma, Krishna K. Pochana, Richard M. Murray, Azita Emami
A 65-nm CMOS Fluorescence Sensor for Dynamic Monitoring of Living Cells. IEEE J. Solid State Circuits 58 (11) (2023)
Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray
Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design. IEEE Trans. Robotics 39 (3) (2023)
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
Control education for societal-scale challenges: A community roadmap. Annu. Rev. Control. 55 (2023)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Safety-Critical Autonomous Systems. IROS (2023)
Prithvi Akella, Apurva Badithela, Richard M. Murray, Aaron D. Ames
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration. CoRR (2023)
Fatemeh Aghimand, Chelsea Hu, Saransh Sharma, Krishna K. Pochana, Richard M. Murray, Azita Emami
A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths. ISSCC (2023)
Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray
Reasoning over Test Specifications Using Assume-Guarantee Contracts. NFM (2023)
Ersin Das, Richard M. Murray
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions. CDC (2022)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Evaluation Metrics for Object Detection for Autonomous Systems. CoRR (2022)
SooJean Han, Michelle Effros, Richard M. Murray
OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints. CoRR (2022)
Josefine Graebener, Apurva Badithela, Richard M. Murray
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. CoRR (2022)
William Poole, Ayush Pandey, Andrey Shur, Zoltán A. Tuza, Richard M. Murray
BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts. PLoS Comput. Biol. 18 (4) (2022)
Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. CoRR (2022)
Ersin Das, Richard M. Murray
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions. CoRR (2022)
Josefine Graebener, Apurva Badithela, Richard M. Murray
. NFM (2022)
Xinying Ren, Christian Cuba Samaniego, Richard M. Murray, Elisa Franco
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations. ACC (2021)
Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CoRR (2021)
Ayush Pandey, Richard M. Murray
Robustness Guarantees for Structured Model Reduction of Dynamical Systems. CDC (2021)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CDC (2021)
Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. CoRR (2021)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Constrained Risk-Averse Markov Decision Processes. AAAI (2021)
Richard Cheng, Richard M. Murray, Joel W. Burdick
Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. ICRA (2021)
Tung Phan-Minh, Richard M. Murray
Contracts of Reactivity. ECC (2021)
Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CDC (2021)
Richard Cheng, Richard M. Murray, Joel W. Burdick
Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. CoRR (2021)
Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CoRR (2021)
Apurva Badithela, Richard M. Murray
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems. CoRR (2021)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Decision Making Under Uncertainty. CoRR (2021)
Michaëlle N. Mayalu, Anish A. Sarma, Fangzhou Xiao, John C. Doyle, Richard M. Murray
. ECC (2021)
Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
Reactive motion planning with probabilistic safety guarantees. CoRR (2020)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CoRR (2020)
Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Constrained Risk-Averse Markov Decision Processes. CoRR (2020)
Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. ACC (2020)
Francesca Baldini, Animashree Anandkumar, Richard M. Murray
Learning Pose Estimation for UAV Autonomous Navigation and Landing Using Visual-Inertial Sensor Data. ACC (2020)
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Planning Under Uncertainty. ACC (2020)
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. ICCPS (2020)
Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray
Counter-example Guided Learning of Bounds on Environment Behavior. CoRR (2020)
Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray
Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles. CoRR (2020)
Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
Reactive motion planning with probabilisticsafety guarantees. CoRL (2020)
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CDC (2020)
Richard Cheng, Gábor Orosz, Richard M. Murray, Joel W. Burdick
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. CoRR (2019)
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. CoRR (2019)
Michaëlle N. Mayalu, Harman Mehta, Richard M. Murray
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits. ECC (2019)
Richard Cheng, Gábor Orosz, Richard M. Murray, Joel W. Burdick
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. AAAI (2019)
Tung Phan-Minh, Karena X. Cai, Richard M. Murray
Towards Assume-Guarantee Profiles for Autonomous Vehicles. CDC (2019)
Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. CDC (2019)
Francesca Baldini, Animashree Anandkumar, Richard M. Murray
Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data. CoRR (2019)
Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames
Risk-Averse Planning Under Uncertainty. CoRR (2019)
Karena X. Cai, Alexei Harvard, Richard M. Murray, Soon-Jo Chung
Robust Estimation Framework with Semantic Measurements. ACC (2019)
Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray
Counter-example Guided Learning of Bounds on Environment Behavior. CoRL (2019)
Tung Phan-Minh, Karena X. Cai, Richard M. Murray
Towards Assume-Guarantee Profiles for Autonomous Vehicles. CoRR (2019)
Xinying Ren, Richard M. Murray
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia. ECC (2019)
Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray
A modal interface contract theory for guarded input/output automata with an application in traffic system design. ACC (2019)
Vipul Singhal, Richard M. Murray
Transforming Data Across Environments Despite Structural Non-Identifiability. ACC (2019)
Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff
Risk-aware motion planning for automated vehicle among human-driven cars. ACC (2019)
Sumanth Dathathri, Sicun Gao, Richard M. Murray
Inverse Abstraction of Neural Networks Using Symbolic Interpolation. AAAI (2019)
Xinying Ren, Richard M. Murray
Role of interaction network topology in controlling microbial population in consortia. CDC (2018)
Sumanth Dathathri, Stephan Zheng, Richard M. Murray, Yisong Yue
Detecting Adversarial Examples via Neural Fingerprinting. CoRR (2018)
Jin I. Ge, Richard M. Murray
Voluntary lane-change policy synthesis with control improvisation. CDC (2018)
Ioannis Filippidis, Richard M. Murray
Layering Assume-Guarantee Contracts for Hierarchical System Design. Proc. IEEE 106 (9) (2018)
Domitilla Del Vecchio, Yili Qian, Richard M. Murray, Eduardo D. Sontag
Future systems and control research in synthetic biology. Annu. Rev. Control. 45 (2018)
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ADHS (2018)
Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Robotics: Science and Systems (2018)
Pavithra Prabhakar, Jun Liu, Richard M. Murray
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. 28 (3) (2018)
Wolfgang Halter, Frank Allgöwer, Richard M. Murray, András György
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts. CDC (2018)
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Model Predictive Control for Signal Temporal Logic Specification. CoRR (2017)
Sumanth Dathathri, Richard M. Murray
Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis. CDC (2017)
Sumanth Dathathri, Nikos Aréchiga, Sicun Gao, Richard M. Murray
Learning-Based Abstractions for Nonlinear Constraint Solving. IJCAI (2017)
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
Systems & Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges. Annu. Rev. Control. 43 (2017)
Sumanth Dathathri, Richard M. Murray
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis. CoRR (2017)
Jin I. Ge, Gábor Orosz, Richard M. Murray
Connected cruise control design using probabilistic model checking. ACC (2017)
Xinying Ren, Ania-Ariadna Baetica, Anandh Swaminathan, Richard M. Murray
Population regulation in microbial consortia using dual feedback control. CDC (2017)
Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. ISRR (2017)
Michele Colledanchise, Richard M. Murray, Petter Ögren
Synthesis of correct-by-construction behavior trees. IROS (2017)
Sumanth Dathathri, Scott C. Livingston, Richard M. Murray
Enhancing tolerance to unexpected jumps in GR(1) games. ICCPS (2017)
Anthony T. Fragoso, Larry H. Matthies, Richard M. Murray
A fast motion planning representation for configuration flat robots with applications to micro air vehicles. ACC (2017)
Yilin Mo, Richard M. Murray
Privacy Preserving Average Consensus. IEEE Trans. Autom. Control. 62 (2) (2017)
Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. CCA (2016)
Marcella M. Gomez, Richard M. Murray, Matthew R. Bennett
The Effects of Time-Varying Temperature on Delays in Genetic Networks. SIAM J. Appl. Dyn. Syst. 15 (3) (2016)
Benson Christalin, Michele Colledanchise, Petter Ögren, Richard M. Murray
Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications. SSCI (2016)
Samira S. Farahani, Ivan Papusha, Catharine McGhan, Richard M. Murray
Constrained autonomous satellite docking via differential flatness and model predictive control. CDC (2016)
Marcella M. Gomez, Mehdi Sadeghpour, Matthew R. Bennett, Gábor Orosz, Richard M. Murray
Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks. SIAM J. Appl. Dyn. Syst. 15 (4) (2016)
Richard M. Murray
Synthesis of reactive controllers for hybrid systems (keynote). POPL (2016)
Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. CDC (2016)
Samira S. Farahani, Zofia Lukszo, Tamás Keviczky, Bart De Schutter, Richard M. Murray
Robust model predictive control for an uncertain smart thermal grid. ECC (2016)
Anandh Swaminathan, Richard M. Murray
Linear system identifiability from distributional and time series data. ACC (2016)
Ioannis Filippidis, Richard M. Murray
Symbolic construction of GR(1) contracts for systems with full information. ACC (2016)
András György, Richard M. Murray
Quantifying resource competition and its effects in the TX-TL system. CDC (2016)
Scott C. Livingston, Eric M. Wolff, Richard M. Murray
Cross-entropy temporal logic motion planning. HSCC (2015)
Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray
Online horizon selection in receding horizon temporal logic planning. IROS (2015)

Richard M. Murray.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Richard M. Murray