Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response  + (Ania-Ariadna Baetica)
• A Model-Free Algorithm for Extremely Resilient Navigation  + (Christian J. Stromberger)
• The Effect of Compositional Context on Synthetic Gene Networks  + (Enoch Yeung)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (Enoch Yeung)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (James M Parkin)
• Length and time scales of cell-cell signaling circuits in agar  + (Joy Doong)
• Engineering pulsatile communication in bacterial consortia  + (James Parkin)
• The Python Control Systems Library (python-control)  + (Sawyer Fuller)
• On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time  + (Javad Lavaei, Richard M Murray)
• On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof  + (Javad Lavaei, Richard M Murray)
• Quantized Consensus via Adaptive Stochastic Gossip Algorithm  + (Javad Lavaei, Richard M Murray)
• Simple Delay-Based Implementation of Continuous-Time Controllers  + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
• Delay-Based Controller Design for Continuous-Time and Hybrid Applications  + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
• Synthesis of Embedded Control Systems with High Sampling Frequencies  + (Javad Lavaei, Somayeh Sojoudi, Richard M Murray)
• Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture  + (Josefine Graebener)
• Data-driven network models for genetic circuits from time-series data with incomplete measurements  + (Enoch Yeung)
• Coarse analysis of multiscale systems: diffuser flows, charged particle motion, and connections to averaging theory  + (Jimmy Fung)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (Jin I. Ge)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (Jin I. Ge)
• Voluntary lane-change policy synthesis with reactive control improvisation  + (Jin I. Ge and Richard M. Murray)
• Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge  + (Joel W Burdick, Noel duToit, Andrew Howard, Christian Looman, Jeremy Ma, Richard M Murray, Tichakorn Wongpiromsarn)
• Limits of probabilistic safety guarantees when considering human uncertainty  + (Richard Cheng)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (Richard Cheng)
• Delay-dependent Stability of Genetic Regulatory Networks  + (Johan Ugander)
• Analysis of a Digital Clock for Molecular Computing  + (Johan Ugander, Mary J Dunlop, Richard M Murray)

• Control education for societal-scale challenges: A community roadmap  + (John Anthony Rossiter)

• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology  + (Chelsea Y Hu)
• A Method for Cost-Effective and Rapid Characterization of Genetic Parts  + (John B. McManus)
• A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression  + (John B. McManus)
• Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA  + (Elin M. Larsson)
• Robust Nonlinear Control Theory with Applications to Aerospace Vehicles  + (John C. Doyle and Richard M. Murray)
• Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis  + (Michaëlle N. Mayalu)
• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  + (John Carson)
• Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems  + (Noah Olsman)
• Control education for societal-scale challenges: A community roadmap  +
• A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode  + (John M Carson, Behcet Acikmese, Richard M Murray, Douglas G MacMynowski)
• A robust model predictive control algorithm augmented with a reactive safety mode  + (John M. Carson III, Behçet AçıkmeÅe, Richard M. Murray, Douglas G. MacMartin)
• A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology  + (John P. Marken)
• Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation  + (John P. Marken)
• Addressable and adaptable intercellular communication via DNA messaging  + (John P. Marken and Richard M. Murray)
• Nonlinear Trajectory Generation for the Caltech Multi-Vehicle Wireless Testbed  + (Jonathan Chauvin, Laure Sinegre, Richard M. Murray)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (Zoltan A. Tuza)
• Analysis and design of a synthetic transcriptional network for exact adaptation  + (Jongmin Kim and Richard M. Murray)
• Synthetic circuit for exact adaptation and fold-change detection  + (Jongmin Kim, Ishan Khetarpal, Shaunak Sen and Richard M. Murray)
• Synthetic logic circuits using RNA aptamer against T7 RNA polymerase  + (Jongmin Kim, Juan F Quijano, Enoch Yeung, Richard M Murray)
• Data-driven network models for genetic circuits from time-series data with incomplete measurements  + (Enoch Yeung)
• A Model-Free Algorithm for Extremely Resilient Navigation  + (Christian J. Stromberger)
• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  + (Apurva Badithela)
• Reasoning over Test Specifications using Assume-Guarantee Contracts  + (Apurva Badithela)
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (Josefine B. Graebener)
• Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems  + (Josefine Graebener)