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

• Analysis of primitive genetic interactions for the design of a genetic signal differentiator  + (Wolfgang Halter)
• Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts  + (Wolfgang Halter)
• Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates  + (João Heitor Colombelli Manfrão-Netto)
• Controlling biological networks by time-delayed signals  + (G Orosz, J Moehlis, Richard M Murray)
• Stabilization of Trajectories for Systems with Nonholonomic Constraints  + (G. Walsh, D. Tilbury, S. Sastry, R. Murray, and J-P. Laumond)
• End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks  + (Richard Cheng)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (Jin I. Ge)
• The role of single occupancy effects on integrase dynamics in a cell-free system  + (Georgios Artavanis)
• Control education for societal-scale challenges: A community roadmap  + (John Anthony Rossiter)
• Feedback architectures to regulate flux of components in artificial gene networks  + (Giulia Giordano, Elisa Franco and Richard M. Murray)
• Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits  + (Michaelle N. Mayalu)
• Frequency-Weighted Model Reduction with Applications to Structured Models  + (Henrik Sandberg and Richard M. Murray)
• Model reduction of interconnected linear systems  + (Henrik Sandberg, Richard M Murray)
• Approximation of Subnetwork Models using Frequency-Domain Data  + (Henrik Sandberg, Richard M. Murray)
• Rapid cell-free forward engineering of novel genetic ring oscillators  + (Henrike Niederholtmeyer, Zachary Sun, Yutaka Hori, Enoch Yeung, Amanda Verpoorte, Richard M Murray and Sebastian J Maerkl)
• System-level studies of a cell-free transcription-translation platform for metabolic engineering  + (Yong Y. Wu)
• A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems  + (Huan Xu, Necmiye Ozay and Richard M. Murray)
• Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution  + (Huan Xu, Ufuk Topcu, and Richard M. Murray)
• Reactive Protocols for Aircraft Electric Power Distribution  + (Huan Xu, Ufuk Topcu, and Richard M. Murray)
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (Håkan Terelius, Ufuk Topcu, Richard M Murray)
• From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology  + (Ayush Pandey)
• Reasoning over Test Specifications using Assume-Guarantee Contracts  + (Apurva Badithela)
• Context-Aided Variable Elimination for Requirement Engineering  + (Inigo Incer)
• Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design  + (Inigo Incer)
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  + (Inigo Incer)

• Synthesis from multi-paradigm specifications  + (Ioannis Filippidis, Richard M. Murray and Gerard J. Holzmann)

• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (Ioannis Filippidis)
• Layering assume-guarantee contracts for hierarchical system design  + (Ioannis Filippidis and Richard M. Murray)
• Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments  + (Ioannis Filippidis and Richard M. Murray)
• Hiding variables when decomposing specifications into GR(1) contracts  + (Ioannis Filippidis and Richard M. Murray)
• Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States  + (Sumanth Dathathri)
• Symbolic construction of GR(1) contracts for systems with full information  + (Ioannis Filippidis and Richard M. Murray)
• Control System Analysis on Symmetric Cones  + (Ivan Papusha and Richard M. Murray)
• Collaborative System Identification via Parameter Consensus  + (Ivan Papusha, Eugene Lavretsky and Richard M. Murray)
• A Motion Planner for Nonholonomic Robots  + (J-P. Laumond, P. E. Jacobs, M. Taix and R. M. Murray)
• Robustness Analysis of Accelerometry Using an Electrostatically Suspended Gyroscope  + (J. Alex Fax, Daniel A. Hill, and Richard M. Murray)
• Optimal and Cooperative Control of Vehicle Formations  + (J. Alexander Fax)
• Information Flow and Cooperative Control of Vehicle Formations  + (J. Alexander Fax and Richard M. Murray)
• Graph Laplacians and Stabilization of Vehicle Formations  + (J. Alexander Fax and Richard M. Murray)
• Robust Performance Analysis for a Class of Uncertain Nonlinear Systems  + (J. E. Tierno, R. M. Murray)
• An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems  + (J. E. Tierno, R. M. Murray, J. C. Doyle)
• Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry  + (J. M. Carson III)
• Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems  + (J. Sean Humbert)
• A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence  + (J. Sean Humbert and Richard M. Murray and Michael H. Dickinson)
• Sensorimotor Convergence in Visual Navigation and Flight Control Systems  + (J. Sean Humbert, Richard M. Murray, Michael H. Dickinson)
• Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (E. L. de los Santos)
• 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)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (Enoch Yeung)
• The Effect of Compositional Context on Synthetic Gene Networks  + (Enoch Yeung)
• Long-distance communication in synthetic bacterial consortia through active signal propagation  + (James M Parkin)