# Search by property

From MurrayWiki

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

- Online Horizon Selection in Receding Horizon Temporal Logic Planning +
*(15 May 2016 06:14:40)* - An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis +
*(15 May 2016 06:14:41)* - Variable Elimination for Scalable Receding Horizon Temporal Logic Planning +
*(15 May 2016 06:14:43)* - Protein degradation in a TX-TL cell-free expression system using ClpXP protease +
*(15 May 2016 06:14:45)* - Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping +
*(15 May 2016 06:14:45)* - A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications +
*(15 May 2016 06:14:46)* - Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System +
*(15 May 2016 06:14:49)* - Designing Robustness to Temperature in a Feedforward Loop Circuit +
*(15 May 2016 06:14:50)* - Model Predictive Control with Signal Temporal Logic Specifications +
*(15 May 2016 06:14:51)* - Privacy Preserving Average Consensus +
*(15 May 2016 06:14:52)* - Hot-swapping robot task goals in reactive formal synthesis +
*(15 May 2016 06:14:53)* - Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics +
*(15 May 2016 06:14:54)* - Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments +
*(15 May 2016 06:14:55)* - Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics +
*(15 May 2016 06:14:56)* - Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems +
*(15 May 2016 06:14:58)* - Bootstrapping bilinear models of simple vehicles +
*(15 May 2016 06:14:59)* - Convex Optimal Uncertainty Quantification +
*(15 May 2016 06:15:00)* - Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution +
*(15 May 2016 06:15:03)* - System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system +
*(15 May 2016 06:15:04)* - Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform +
*(15 May 2016 06:15:05)* - Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients +
*(15 May 2016 06:15:06)* - Negative autoregulation matches production and demand in synthetic transcriptional networks +
*(15 May 2016 06:15:07)* - Efficient control synthesis for augmented finite transition systems with an application to switching protocols +
*(15 May 2016 06:15:08)* - Collaborative System Identification via Parameter Consensus +
*(15 May 2016 06:15:09)* - Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information +
*(15 May 2016 06:15:10)*

**A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease +***(15 May 2016 06:15:12)*

- A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications +
*(15 May 2016 06:15:13)* - Time-Delayed Feedback Channel Design: Discrete Time H infty Approach +
*(15 May 2016 06:15:14)* - Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays +
*(15 May 2016 06:15:15)* - Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology +
*(15 May 2016 06:15:16)* - Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system +
*(15 May 2016 06:15:17)* - Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications +
*(15 May 2016 06:15:18)* - Moving bounding boxes and incremental synthesis for dynamic obstacles +
*(15 May 2016 06:15:19)* - Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed +
*(15 May 2016 06:15:20)* - A robust model predictive control algorithm augmented with a reactive safety mode +
*(15 May 2016 06:15:21)* - Optimal Control of Nonlinear Systems with Temporal Logic Specifications +
*(15 May 2016 06:15:21)* - Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic +
*(15 May 2016 06:15:22)* - Modeling Environmental Disturbances with the Chemical Master Equation +
*(15 May 2016 06:15:24)* - Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic +
*(15 May 2016 06:15:25)* - Temperature Dependence of Biomolecular Circuit Designs +
*(15 May 2016 06:15:26)* - Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity +
*(15 May 2016 06:15:27)* - Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication +
*(15 May 2016 06:15:30)* - Stability of Discrete Time Systems with Stochastically Delayed Feedback +
*(15 May 2016 06:15:32)* - A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems +
*(15 May 2016 06:15:33)* - An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols +
*(15 May 2016 06:15:34)* - Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems +
*(15 May 2016 06:15:35)* - Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems +
*(15 May 2016 06:15:36)* - Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids +
*(15 May 2016 06:15:37)* - Just-in-time synthesis for motion planning with temporal logic +
*(15 May 2016 06:15:40)* - Efficient reactive controller synthesis for a fragment of linear temporal logic +
*(15 May 2016 06:15:41)* - Patching task-level robot controllers based on a local Î¼-calculus formula +
*(15 May 2016 06:15:42)*