Property:Source

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 202050100250500next 20
Showing 20 pages using this property.
I
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications +
Submitted, 2016 Conference on Decision and Control (CDC)  +
D
Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System +
Submitted, 2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference  +
Design and application of stationary phase combinatorial promoters +
Submitted, 2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference  +
F
Fast Automatic Verification of Large-Scale Systems with Lookup Tables +
Submitted, 2017 ACM International Conference on Hybrid Systems: Computation and Control (HSCC)  +
C
Connected Cruise Control Design Using Probabilistic Model Checking +
Submitted, 2017 American Control Conference (ACC)  +
H
Hiding variables when decomposing specifications into GR(1) contracts +
Submitted, 2017 Conference on Decision and Control (CDC)  +
P
Population regulation in microbial consortia using dual feedback control +
Submitted, 2017 Conference on Decision and Control (CDC)  +
S
Synthesis of Correct-by-Construction Behavior Trees +
Submitted, 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)  +
E
Engineering pulsatile communication in bacterial consortia +
Submitted, 2017 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference  +
R
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli +
Submitted, 2017 Synthetic Engineering: Engineering, Evolution and Design (SEED) Conference  +
C
Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability +
Submitted, 2019 American Control Conference (ACC)  +
A
A modal interface contract theory for guarded input/output automata with an application in traffic system design +
Submitted, 2019 American Control Conference (ACC)  +
R
Risk-aware motion planning for automated vehicle among human-driven cars +
Submitted, 2019 American Control Conference (ACC)  +
Robust Estimation Framework with Semantic Measurements +
Submitted, 2019 American Control Conference (ACC)  +
T
Towards Assume-Guarantee Profiles for Autonomous Vehicles +
Submitted, 2019 Conference on Decision and Control (CDC)  +
C
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia +
Submitted, 2019 European Control Conference  +
M
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits +
Submitted, 2019 European Control Conference (ECC)  +
C
Control of density and composition in an engineered two-member bacterial community +
Submitted, 2019 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference  +
L
Limits of probabilistic safety guarantees when considering human uncertainty +
Submitted, 2021 Conference on Decision and Control (CDC)  +
F
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture +
Submitted, 2021 Conference on Decision and Control (CDC)  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Source&oldid=20093"