Property:Type

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 502050100250500next 50
Showing 50 pages using this property.
I
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications +
Conference paper  +
R
Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations +
Conference paper  +
O
Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry +
Conference paper  +
M
Model-Based Control of Cavity Oscillations, Part I: Experiments +
Conference paper  +
S
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications +
Conference paper  +
I
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications +
Conference paper  +
R
Robust Model Predictive Control for Signal Temporal Logic Synthesis +
Conference paper  +
S
Stochastic Gene Expression in Single Gene Oscillator Variants +
Conference paper  +
C
Control design for hybrid systems with TuLiP: The temporal logic planning toolbox +
Conference paper  +
E
Enhancing tolerance to unexpected jumps in GR(1) games +
Conference paper  +
C
Connected Cruise Control Design Using Probabilistic Model Checking +
Conference paper  +
Q
Quantifying Resource Competition and its Effects in the TX-TL System +
Conference paper  +
F
Fast Automatic Verification of Large-Scale Systems with Lookup Tables +
Conference paper  +
R
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli +
Conference paper  +
E
Engineering pulsatile communication in bacterial consortia +
Conference paper  +
H
Hiding variables when decomposing specifications into GR(1) contracts +
Conference paper  +
D
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis +
Conference paper  +
P
Population regulation in microbial consortia using dual feedback control +
Conference paper  +
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States +
Conference paper  +
L
Learning-Based Abstractions for Nonlinear Constraint Solving +
Conference paper  +
S
Synthesis of Correct-by-Construction Behavior Trees +
Conference paper  +
A
A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response +
Conference paper  +
An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System +
Conference paper  +
L
Length and time scales of cell-cell signaling circuits in agar +
Conference paper  +
C
Control of bacterial population density with population feedback and molecular sequestration +
Conference paper  +
P
Proof of concept continuous event logging in living cells +
Conference paper  +
M
Modeling Dynamic Transcriptional Circuits with CRISPRi +
Conference paper  +
S
Single day construction of multi-gene circuits with 3G assembly +
Conference paper  +
L
Long-distance communication in synthetic bacterial consortia through active signal propagation +
Conference paper  +
V
Voluntary lane-change policy synthesis with reactive control improvisation +
Conference paper  +
O
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts +
Conference paper  +
T
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams +
Conference paper  +
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations +
Conference paper  +
C
Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability +
Conference paper  +
A
A modal interface contract theory for guarded input/output automata with an application in traffic system design +
Conference paper  +
R
Risk-aware motion planning for automated vehicle among human-driven cars +
Conference paper  +
Robust Estimation Framework with Semantic Measurements +
Conference paper  +
E
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks +
Conference paper  +
I
Inverse Abstraction of Neural Networks Using Symbolic Interpolation +
Conference paper  +
M
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits +
Conference paper  +
C
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia +
Conference paper  +
R
Role of interaction network topology in controlling microbial population in consortia +
Conference paper  +
A
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation +
Conference paper  +
Q
Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits +
Conference paper  +
C
Control of density and composition in an engineered two-member bacterial community +
Conference paper  +
A
An automated model reduction tool to guide the design and analysis of synthetic biological circuits +
Conference paper  +
D
Design of a genetic layered feedback controller in synthetic biological circuitry +
Conference paper  +
B
Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design +
Conference paper  +
C
Contracts of Reactivity +
Conference paper  +
Counter-example Guided Learning of Bounds on Environment Behavior +
Conference paper  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"