@other{https://authors.library.caltech.edu/records/hb9x2-t0n76,
    title = "Policy Recommendations for the Regulation of Engineered Microbes for Environmental Release",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/hb9x2-t0n76",
    id = "record",
    doi = "10.57959/bgny-v542"
}


@other{https://authors.library.caltech.edu/records/0p6md-nzv84,
    title = "TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering",
    journal = "bioRxiv",
    year = "2023",
    url = "https://authors.library.caltech.edu/records/0p6md-nzv84",
    id = "record",
    issn = "2692-8205",
    doi = "10.1101/2023.10.24.563881",
    pmcid = "PMC10659302"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20230327-442725000.2,
    title = "Probing metabolism in an E. coli-based cell-free system reveals a trade-off between transcription and translation",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230327-442725000.2",
    id = "record",
    doi = "10.1101/2023.03.22.533877"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20230322-366884000.3,
    title = "Characterization of Integrase and Excisionase Activity in Cell-free Protein Expression System Using a Modeling and Analysis Pipeline",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230322-366884000.3",
    id = "record",
    doi = "10.1101/2022.10.05.511053"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20230316-182856000.69,
    title = "Addressable and adaptable intercellular communication via DNA messaging",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230316-182856000.69",
    id = "record",
    doi = "10.1101/2022.11.17.516988"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20230316-204032253,
    title = "Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230316-204032253",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20221219-234102223,
    title = "Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20221219-234102223",
    id = "record",
    doi = "10.48550/arXiv.2210.10304"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20221219-234018464,
    title = "OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20221219-234018464",
    id = "record",
    doi = "10.48550/arXiv.2208.06395"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20221219-234021838,
    title = "Evaluation Metrics for Object Detection for Autonomous Systems",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20221219-234021838",
    id = "record",
    doi = "10.48550/arXiv.2210.10298"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20220412-265499000,
    title = "From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220412-265499000",
    id = "record",
    doi = "10.1101/2022.04.08.487709"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20220224-200808616,
    title = "Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220224-200808616",
    id = "record",
    doi = "10.48550/arXiv.2108.05911"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20220224-200901027,
    title = "Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220224-200901027",
    id = "record",
    doi = "10.48550/arXiv.2201.05758"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20220224-200812106,
    title = "Risk-Averse Decision Making Under Uncertainty",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220224-200812106",
    id = "record",
    doi = "10.48550/arXiv.2109.04082"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20210929-174530596,
    title = "How to model DNA replication in stochastic models of synthetic gene circuits (and why)",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210929-174530596",
    id = "record",
    doi = "10.1101/2021.09.26.461880"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20210914-194152756,
    title = "Layered Feedback Control Overcomes Performance Trade-off in Synthetic Biomolecular Networks",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210914-194152756",
    id = "record",
    doi = "10.1101/2021.09.12.459953"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20210511-092411322,
    title = "Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210511-092411322",
    id = "record",
    doi = "10.48550/arXiv.2103.12919"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20210506-075939102,
    title = "A Method for Cost-Effective and Rapid Characterization of Genetic Parts",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210506-075939102",
    id = "record",
    doi = "10.1101/2021.04.30.440836"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20210120-165255737,
    title = "Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210120-165255737",
    id = "record",
    doi = "10.48550/arXiv.2011.14148"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20210120-165252232,
    title = "Reactive motion planning with probabilistic safety guarantees",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210120-165252232",
    id = "record",
    doi = "10.48550/arXiv.2011.03590"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20201221-102922403,
    title = "Analysis of Circuits for Dosage Control in Microbial Populations",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201221-102922403",
    id = "record",
    doi = "10.1101/2020.12.18.423556"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20201207-130405486,
    title = "A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201207-130405486",
    id = "record",
    doi = "10.1101/2020.11.25.399287"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20201111-100159834,
    title = "Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201111-100159834",
    id = "record",
    doi = "10.1101/2020.11.10.377085"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200402-143200982,
    title = "Counter-example Guided Learning of Bounds on Environment Behavior",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200402-143200982",
    id = "record",
    doi = "10.48550/arXiv.2001.07233"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200327-083242603,
    title = "Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200327-083242603",
    id = "record",
    doi = "10.1101/2020.03.24.006528"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200220-083645813,
    title = "A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200220-083645813",
    id = "record",
    doi = "10.1101/2020.02.18.953620"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200220-154511531,
    title = "Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200220-154511531",
    id = "record",
    doi = "10.1101/2020.02.15.950840"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200214-151424905,
    title = "Robust Model Predictive Control for Signal Temporal Logic Synthesis",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200214-151424905",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200214-103858802,
    title = "Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200214-103858802",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200205-080035495,
    title = "Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-080035495",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200205-081111268,
    title = "Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-081111268",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200205-075449007,
    title = "Design and application of stationary phase combinatorial promoters",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-075449007",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200204-162407534,
    title = "Synthesis of Distributed Longitudinal Control Protocols for a Platoon of Autonomous Vehicles",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200204-162407534",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200205-074505122,
    title = "Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-074505122",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200205-074759124,
    title = "Stochastic Gene Expression in Single Gene Oscillator Variants",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-074759124",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200205-073243713,
    title = "Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-073243713",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200131-124409997,
    title = "Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-124409997",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200131-144053728,
    title = "Fast Automatic Verification of Large-Scale Systems with Lookup Tables",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-144053728",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200131-092300001,
    title = "Control of density and composition in an engineered two-member bacterial community",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-092300001",
    id = "record",
    doi = "10.1101/632174"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200131-145354147,
    title = "Hiding variables when decomposing specifications into GR(1) contracts",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-145354147",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200128-150452496,
    title = "Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200128-150452496",
    id = "record",
    doi = "10.1101/2020.01.27.921734"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20191202-140340910,
    title = "Construction of an inducible amyloid expression circuit in Bacillus megaterium: A case study with CsgA and TasA",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191202-140340910",
    id = "record",
    doi = "10.1101/858266"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20191029-152953038,
    title = "Voluntary lane-change policy synthesis with reactive control
 improvisation",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191029-152953038",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190731-095458774,
    title = "Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190731-095458774",
    id = "record",
    doi = "10.1101/719278"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190604-143031841,
    title = "Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190604-143031841",
    id = "record",
    doi = "10.1101/659714"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190528-093001677,
    title = "Design of a genetic layered feedback controller in synthetic biological circuitry",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190528-093001677",
    id = "record",
    doi = "10.1101/647057"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190517-100226134,
    title = "An automated model reduction tool to guide the design and analysis of synthetic biological circuits",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190517-100226134",
    id = "record",
    doi = "10.1101/640276"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190422-091140053,
    title = "Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190422-091140053",
    id = "record",
    doi = "10.1101/614529"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120609095,
    title = "Extremal Properties of Complex Networks",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120609095",
    id = "record",
    doi = "10.48550/arXiv.1104.5532"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120622960,
    title = "Model Predictive Control for Signal Temporal Logic Specification",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120622960",
    id = "record",
    doi = "10.48550/arXiv.1703.09563"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120612586,
    title = "Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120612586",
    id = "record",
    doi = "10.48550/arXiv.1210.2035"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120605649,
    title = "Quantification and Minimization of Crosstalk Sensitivity in Networks",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120605649",
    id = "record",
    doi = "10.48550/arXiv.1012.0606"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190402-080939441,
    title = "Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190402-080939441",
    id = "record",
    doi = "10.1101/594879"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190328-093304845,
    title = {Addressable, "Packet-Based" Intercellular Communication through Plasmid Conjugation},
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190328-093304845",
    id = "record",
    doi = "10.1101/591552"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190325-142752006,
    title = "Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190325-142752006",
    id = "record",
    doi = "10.1101/121152"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190213-141617926,
    title = "Engineering Resilient Space Systems",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190213-141617926",
    id = "record",
    doi = "10.26206/WDX7-K192"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190205-112328842,
    title = "Detecting Adversarial Examples via Neural Fingerprinting",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190205-112328842",
    id = "record",
    doi = "10.48550/arXiv.1803.03870"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181107-093406633,
    title = "Design Guidelines For Sequestration Feedback Networks",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181107-093406633",
    id = "record",
    doi = "10.1101/455493"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181031-100007899,
    title = "Modeling Dynamic Transcriptional Circuits with CRISPRi",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181031-100007899",
    id = "record",
    doi = "10.1101/225318"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181031-100430313,
    title = "Proof of concept continuous event logging in living cells",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181031-100430313",
    id = "record",
    doi = "10.1101/225151"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181031-100811065,
    title = "Length and time scales of cell-cell signaling circuits in agar",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181031-100811065",
    id = "record",
    doi = "10.1101/220244"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181030-140537131,
    title = "Long-distance communication in synthetic bacterial consortia through active signal propagation",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181030-140537131",
    id = "record",
    doi = "10.1101/321307"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181029-141247546,
    title = "Control of bacterial population density with population feedback and molecular sequestration",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181029-141247546",
    id = "record",
    doi = "10.1101/225045"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181029-112222224,
    title = "Design Space Exploration of the Violacein Pathway in Escherichia coli Based Transcription Translation Cell-Free System (TX-TL)",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181029-112222224",
    id = "record",
    doi = "10.1101/027656"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181008-162020352,
    title = "Context Dependence of Biological Circuits",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181008-162020352",
    id = "record",
    doi = "10.1101/360040"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20180927-114225422,
    title = "Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180927-114225422",
    id = "record",
    doi = "10.1101/222042"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20180430-092750634,
    title = "System-level studies of a cell-free transcription-translation platform for metabolic engineering",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180430-092750634",
    id = "record",
    doi = "10.1101/172007"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170705-101737121,
    title = "Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-101737121",
    id = "record",
    doi = "10.1101/121152"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170705-110144869,
    title = "Prototyping And Implementation Of A Novel Feedforward Loop In A Cell-Free Transcription-Translation System And Cells",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-110144869",
    id = "record",
    doi = "10.1101/123190"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170705-103731007,
    title = "Implementation and System Identification of a Phosphorylation-Based Insulator in a Cell-Free Transcription-Translation System",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-103731007",
    id = "record",
    doi = "10.1101/122606"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170627-105346578,
    title = "Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170627-105346578",
    id = "record",
    doi = "10.1101/110254"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170627-105933916,
    title = "Engineering pulsatile communication in bacterial consortia",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170627-105933916",
    id = "record",
    doi = "10.1101/111906"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170619-142716206,
    title = "Expressing Biologically Active Membrane Proteins in a Cell-Free Transcription-Translation Platform",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170619-142716206",
    id = "record",
    doi = "10.1101/104455"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170313-102144883,
    title = "The Effect of Compositional Context on Synthetic Gene Networks",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170313-102144883",
    id = "record",
    doi = "10.1101/083329"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170206-084448312,
    title = "A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170206-084448312",
    id = "record",
    doi = "10.1101/087379"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2016.004,
    title = "Formalizing synthesis in TLA+",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2016.004",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20160706-081948550,
    title = "The role of single occupancy effects on integrase dynamics in a cell-free system",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160706-081948550",
    id = "record",
    doi = "10.1101/059675"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2016.003,
    title = "Symbolic construction of GR(1) contracts for systems with full information",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2016.003",
    id = "record",
    doi = "10.1109/ACC.2016.7525009"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20160513-141535201,
    title = "Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160513-141535201",
    id = "record",
    doi = "10.1101/007385"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20160502-104806241,
    title = "Development of prokaryotic cell-free systems for synthetic biology",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160502-104806241",
    id = "record",
    doi = "10.1101/048710"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2016.001,
    title = "Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2016.001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20150608-094354039,
    title = "Protein degradation in a TX-TL cell-free expression system using ClpXP protease",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150608-094354039",
    id = "record",
    doi = "10.1101/019695"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2015.004,
    title = "Revisiting the AMBA AHB bus case study",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2015.004",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20150428-075140716,
    title = "Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150428-075140716",
    id = "record",
    doi = "10.1101/017814"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2015.003,
    title = "Synthesis from multi-paradigm specifications",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2015.003",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2015.002,
    title = "Cross-entropy Temporal Logic Motion Planning",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2015.002",
    id = "record",
    doi = "10.1145/2728606.2728635"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2015.001,
    title = "Online Horizon Selection in Receding Horizon Temporal Logic Planning",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2015.001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20150211-071040084,
    title = "Scheduling for Distributed Sensor Networks",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150211-071040084",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2014.001,
    title = "Hot-swapping robot task goals in reactive formal synthesis",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2014.001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20140703-135258516,
    title = "California Extremely Large Telescope: Conceptual Design for a Thirty-Meter Telescope",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140703-135258516",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2013.001,
    title = "Optimal Control of Mixed Logical Dynamical Systems with Long-Term Temporal Logic Specifications",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2013.001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20130115-094546873,
    title = "An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130115-094546873",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2012.004,
    title = "Motion planning in observations space with learned diffeomorphism models",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2012.004",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2012.003,
    title = "Patching task-level robot controllers based on a local µ-calculus formula",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2012.003",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2011.008,
    title = "Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2011.008",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2011.006,
    title = "Synthesis of Switching Protocols from Temporal Logic Specifications",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2011.006",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2011.004,
    title = "Bootstrapping, uncertain semantics, and invariance",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2011.004",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2011.005,
    title = "A group-theoretic approach to formalizing bootstrapping problems",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2011.005",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2010.003a,
    title = "Bootstrapping bilinear models of robotic sensorimotor cascades",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2010.003a",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2010.002,
    title = "Delay-Based Controller Design for Continuous-Time and Hybrid Applications",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2010.002",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2010.001,
    title = "A bio-plausible design for visual pose stabilization",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2010.001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2009.001,
    title = "Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2009.001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2008.003,
    title = "Periodically Controlled Hybrid Systems: Verifying A Controller for An Autonomous Vehicle",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2008.003",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2007.001,
    title = "Conversion and verification procedure for goal-based control programs",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2007.001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2004.008,
    title = "On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2004.008",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2004.007,
    title = "Optimal LQG Control Across a Packet-Dropping Link",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2004.007",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2004.006,
    title = "A Sub-optimal Algorithm to Synthesize Control Laws for a Network of Dynamic Agents",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2004.006",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2004.003,
    title = "Distributed Receding Horizon Control with Application to Multi-Vehicle Formation Stabilization",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2004.003",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2003.008,
    title = "Flat systems, equivalence and trajectory generation",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2003.008",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2003.005,
    title = "Agreement Problems in Networks with Directed Graphs and Switching Topology",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2003.005",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2003.012,
    title = "Information Flow and Cooperative Control of Vehicle Formations",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2003.012",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-006,
    title = "Differential Flatness and Absolute Equivalence",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-006",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2001.01-007,
    title = "Graph Laplacians and Stabilization of Vehicle Formations",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2001.01-007",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1999.CIT-CDS-99-001,
    title = "Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations",
    year = "1999",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1999.CIT-CDS-99-001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-009,
    title = "Discrete Function Approximation: Numerical Tools for Nonlinear Control",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-009",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-001,
    title = "Evaluation of Bleed Valve Rate Requirements in Nonlinear Control of Rotating Stall on Axial Flow Compressors",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-001",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1997.014,
    title = "Nonlinear Rescaling of Control Laws with Application to Stabilization in the Presence of Magnitude Saturation",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1997.014",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-96-017,
    title = "Real Time Trajectory Generation for Differentially Flat Systems",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-96-017",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-012,
    title = "System Identification for Limit Cycling Systems: A Case Study for Combustion Instabilities",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-012",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-003,
    title = "Tracking for Fully Actuated Mechanical Systems: A Geometric Framework",
    year = "1997",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-003",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1996.018,
    title = "Configuration Flatness of Lagrangian Systems Underactuated by One Control",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.018",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-015,
    title = "An Experimental Comparison of Tradeoffs in Using Compliant Manipulators for Robotic Grasping Tasks",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-015",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-006,
    title = "Configuration Flatness of Lagrangian Systems Underactuated by One Control",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-006",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-95-029,
    title = "Active Control of an Axial Flow Compressor via Pulsed Air Injection",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-95-029",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-007,
    title = "Decomposition for Control Systems on Manifolds with an Affine Connection",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-007",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-005,
    title = "Control on the Sphere and Reduced Attitude Stabilization",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-005",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-013,
    title = "Nonholonomic Mechanical Systems with Symmetry",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-94-013",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-015,
    title = "Configuration Controllability of Simple Mechanical Control Systems",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-015",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-010,
    title = "Proportional Derivative (PD) Control on the Euclidean Group",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-010",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-032,
    title = "Numerically Efficient Robustness Analysis of Trajectory Tracking for Nonlinear Systems",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-032",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-012,
    title = "Exponential Stabilization of Driftless Nonlinear Control Systems using Homogeneous Feedback",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-012",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-025,
    title = "A Homotopy Algorithm for Approximating Geometric Distributions by Integrable Systems",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1995.CIT-CDS-95-025",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-016,
    title = "Variational Principles for Constrained Systems: Theory and Experiment",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-016",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-014,
    title = "Geometric Phases and Robotic Locomotion",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-014",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1992.002,
    title = "Nilpotent Bases for a Class of Non-Integrable Distributions with Applications to Trajectory Generation for Nonholonomic Systems",
    year = "1992",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1992.002",
    id = "record"
}