Property:Type

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 1002050100250500next 100
Showing 100 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  +
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  +
R
Reasoning over Test Specifications using Assume-Guarantee Contracts +
Conference paper  +
E
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems +
Conference paper  +
A
A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths +
Conference paper  +
O
Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency +
Conference paper  +
S
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks +
Conference paper  +
T
Towards Assume-Guarantee Profiles for Autonomous Vehicles +
Conference paper (submitted)  +
A
A Robust Nonlinear Model Predictive Control Algorithm with a Safety Mode +
Conference paperp  +
T
TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering +
Conference poster  +
C
Context-Aided Variable Elimination for Requirement Engineering +
Conference submission  +
A
A Model-Free Algorithm for Extremely Resilient Navigation +
Conference submission  +
E
Efficient local validation of partially ordered models via Baysian directed sampling +
Conference submission  +
N
Nonholonomic control systems: from steering to stabilization with sinuoids +
Conference version  +
E
Equilibrium Controllability for a Class of Mechanical Systems +
Conferencepaper  +
C
Control on the Sphere and Reduced Attitude Stabilization +
Converence paper  +
R
Rapid in vitro engineering of 16 two-input logic gates +
Downloading and printing FAQ  +
A
A Motion Planner for Nonholonomic Robots +
Downloading and printing FAQ  +
T
Trajectory generation for the N-trailer problem using Goursat normal form +
ERL memo  +
F
Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses +
Journal submission  +
E
Effective Transition Rates for Epitaxial Growth Using Fast Modulation +
Journal submission  +
H
Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems +
Journal submission  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"