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.
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  +
M
Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits +
Conference paper  +
T
Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli +
Conference paper  +
A
A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology +
Conference paper  +
L
Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations +
Conference paper  +
I
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems +
Conference paper  +
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance +
Conference paper  +
R
Risk-Averse Planning Under Uncertainty +
Conference paper  +
F
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions +
Conference paper  +
A
A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression +
Conference paper  +
F
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture +
Conference paper  +
L
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications +
Conference paper  +
S
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems +
Conference paper  +
P
Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints +
Conference paper  +
L
Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data +
Conference paper  +
R
Reactive motion planning with probabilistic safety guarantees +
Conference paper  +
E
Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions +
Conference paper  +
T
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications +
Conference paper  +
L
Limits of probabilistic safety guarantees when considering human uncertainty +
Conference paper  +
B
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations +
Conference paper  +
C
Constrained risk-averse Markov decision processes +
Conference paper  +
S
Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis +
Conference paper  +
R
Risk-Averse Decision Making Under Uncertainty +
Conference paper  +
Robustness Guarantees for Structured Model Reduction of Dynamical Systems +
Conference paper  +
T
The Python Control Systems Library (python-control) +
Conference paper  +
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems +
Conference paper  +
F
From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology +
Conference paper  +
R
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions +
Conference paper  +
S
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows +
Conference paper  +
E
Evaluation Metrics for Object Detection for Autonomous Systems +
Conference paper  +
M
Minimally Constrained Testing for Autonomy with Temporal Logic Specifications +
Conference paper  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"