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 +
- Modeling Environmental Disturbances with the Chemical Master Equation +
- Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic +
- Temperature Dependence of Biomolecular Circuit Designs +
- Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity +
- Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach +
- Stability of Discrete Time Systems with Stochastically Delayed Feedback +
- A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems +
- An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols +
- Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems +
- Feedback architectures to regulate flux of components in artificial gene networks +
- Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems +
- Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids +
- Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration +
- Biomolecular resource utilization in elementary cell-free gene circuits +
- Just-in-time synthesis for motion planning with temporal logic +
- Efficient reactive controller synthesis for a fragment of linear temporal logic +
- Patching task-level robot controllers based on a local μ-calculus formula +
- Motion planning in observations space with learned diffeomorphism models +
- Robot Navigation in Dense Human Crowds: the Case for Cooperation +
- Optimal Control with Weighted Average Costs and Temporal Logic Specifications +
- Quantifying Crosstalk in Biochemical Systems +
- Reactive Protocols for Aircraft Electric Power Distribution +
- Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications +
- Performance Metrics for a Biomolecular Step Response +
- Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems +
- Synthesis of Reactive Control Protocols for Differentially Flat Systems +
- Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation +
- Stabilization of Feedback Systems via Distribution of Delays +
- On Synthesizing Robust Discrete Controllers under Modeling Uncertainty +
- Synthesis of Switching Protocols from Temporal Logic Specifications +
- Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing +
- Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme +
- Delay-Based Approximations of Biological Systems for Analysis and Design +
- Decentralised minimal-time dynamic consensus +
- Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades +
- Learning diffeomorphism models of robotic sensorimotor cascades +
- Backtracking temporal logic synthesis for uncertain environments +
- A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor +
- A group-theoretic approach to formalizing bootstrapping problems +
- Analysis and design of a synthetic transcriptional network for exact adaptation +
- Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents +
- Distributed Power Allocation for Vehicle Management Systems +
- Geometric trajectory filtering via numerical conformal mapping +
- Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology +
- Estimation over Communication Networks: Performance Bounds and Achievability Results +
- Frequency-Weighted Model Reduction with Applications to Structured Models +
- Bioligically Inspired Feedback Design for Drosophila Flight +
- Optimization-Based Navigation for the DARPA Grand Challenge +
- The Effect of Sensor Health on State Estimation +
- An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes +