Search by property
From Murray Wiki
Jump to navigationJump to search
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
- Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively +
- Use of population-level cell-state switching for recording transient inducer pulses +
- Linear System Identifiability from Distributional and Time Series Data +
- Symbolic construction of GR(1) contracts for systems with full information +
- Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture +
- Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks +
- Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty +
- Control System Analysis on Symmetric Cones +
- An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis +
- Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles +
- Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback +
- Model Predictive Control for an Uncertain Smart Thermal Grid +
- A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks +
- Synthesis from multi-paradigm specifications +
- Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system +
- Design of a Toolbox of RNA Thermometers +
- Multi-dimensional state estimation in adversarial environment +
- Characterization of minimum inducer separation time for a two-input integrase-based event detector +
- Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo +
- A Risk-Aware Architecture for Resilient Spacecraft Operations +
- A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters +
- Online Horizon Selection in Receding Horizon Temporal Logic Planning +
- Reactive Synthesis from Signal Temporal Logic Specifications +
- Cross-entropy Temporal Logic Motion Planning +
- Variable Elimination for Scalable Receding Horizon Temporal Logic Planning +
- A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications +
- Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System +
- Designing Robustness to Temperature in a Feedforward Loop Circuit +
- Model Predictive Control with Signal Temporal Logic Specifications +
- Privacy Preserving Average Consensus +
- Hot-swapping robot task goals in reactive formal synthesis +
- Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics +
- Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments +
- Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics +
- Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems +
- System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system +
- Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform +
- Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients +
- Efficient control synthesis for augmented finite transition systems with an application to switching protocols +
- Collaborative System Identification via Parameter Consensus +
- Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information +
- A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease +
- A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications +
- Time-Delayed Feedback Channel Design: Discrete Time H infty Approach +
- Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays +
- Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications +
- Moving bounding boxes and incremental synthesis for dynamic obstacles +
- Optimal Control of Nonlinear Systems with Temporal Logic Specifications +
- Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic +
- Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems +
