Research Overview

This page contains a brief summary of my group's current research activities, broken up into the two main areas. More information is available on the individual project pages below and also in the recent publications from my group.

Analysis and Design of Biomolecular Feedback Systems

Feedback systems are a central part of natural biological systems and an important tool for engineering biocircuits that behave in a predictable fashion. The figure at the right gives a brief overview of the approach we are taking to both synthetic and systems biology. There are three main elements to our research:

• Modeling and analysis - we are working to develop rigorous tools for analyzing the phenotype of complex biomolecular systems based on data-driven models. We are particularly interested in systems involving feedback, since causal reasoning often fails in these systems due to the interaction of multiple components and pathways. Work in this are includes system identification, theory for understanding the role of feedback, and methods for building and analyzing models built using high-throughput datasets.
• In vitro testbeds - we are making use of both transcriptional expression systems and protein expression systems to develop "biomolecular breadboards" that can be used to characterize the behavior of circuits in a systematic fashion as part of the design process. Our goal is to help enable rapid prototyping and debugging of biomolecular circuits that can operate either in vitro or in vivo.
• Biocircuit design - engineered biological circuits required a combination of system-level principles, circuit-level design and device technologies in order to allow systematic design of robust systems. We are working on developing new device technologies for fast feedback as well as methods for combining multiple feedback mechanisms to provide robust operation in a variety of contexts. Our goal is to participate in the development of systematic methods for biocircuit design that allow us to overcome current limitations in device complexity for synthetic biocircuits.

Current projects:

• Developer Cell: A modular, extensible chassis for building synthetic cells (Alfred P. Sloan Foundation)
• Design and Implementation of Multi-Component Synthetic Cells (ARO/ICB)
• Control of Functional Bioenabled Materials using Synthetic Cells (ARO/ICB)
• Center for Harnessing Microbiota from Military Environments (CHARMME) (ARO)
• Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools (AFOSR)

Recent papers:

• Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence (Zoila Jurado, Richard M. Murray, Submitted, ACS Synthetic Biology, 2024)
• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology (Chelsea Y Hu, John B McManus, Fatemeh Aghlmand, Elin M Larsson, Azita Emami, Richard M Murray, Submitted, ACS Synthetic Biology, 2024)
• Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation (Elin M. Larsson, Richard M. Murray, Dianne K. Newman, ACS Synthetic Biology, 2024)
• Development of cell-free transcription-translation systems in three soil Pseudomonads (Joseph T. Meyerowitz, Elin M. Larsson, Richard M. Murray, To appear, ACS Synthetic Biology, 2024)
• Addressable and adaptable intercellular communication via DNA messaging (John P. Marken and Richard M. Murray, Nature Communications, 14:2358, 2023)
• BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts (William Poole, Ayush Pandey, Zoltan Tuza, Andrey Shur, Richard M. Murray, PLoS Computational Biology, 18(4), e1009987, 2022)
• Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks (Chelsea Hu, Richard M. Murray, Nature Communications 13(1):1-13, 2022)
• Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models (Ayush Pandey, Richard M. Murray, International Journal on Robust and Nonlinear Control (IJRNC), 1-29, 2022)

... further results

Design of Reactive Protocols for Networked Control Systems

We are investigating the specification, design and verification of distributed systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. Our goal is to develop methods and tools for designing control policies, specifying the properties of the resulting distributed embedded system and the physical environment, and proving that the specifications are met. We have recently developed a promising set of results in receding horizon temporal logic planning that allow automatic synthesis of protocols for hybrid (discrete and continuous state) dynamical systems that are guaranteed to satisfy the desired properties even in the presence of environmental action. The desired properties are expressed in the language of temporal logic, and the resulting system consists of a discrete planner that plans, in the abstracted discrete domain, a set of transitions of the system to ensure the correct behaviors, and a continuous controller that continuously implements the plan. Application areas include autonomous driving, vehicle management systems, and distributed multi-agent systems.

Current projects:

• Layered T&E for Safety-Critical Autonomous Systems (AFOSR)

Recent papers:

• Synthesis of Control Protocols for Autonomous Systems, Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray. Unmanned Systems, 2013.
• Synthesis of Reactive Switching Protocols from Temporal Logic Specifications, Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M Murray. IEEE Transactions on Automatic Control, 2013.
• Receding Horizon Temporal Logic Planning, Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray. IEEE Transactions on Automatic Control, 2012.