@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-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-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-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-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: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: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: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-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: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-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-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: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-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-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: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-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: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-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: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-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: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: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-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: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: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-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-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-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-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: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: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.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.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.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.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: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: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-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: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: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-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: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: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-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-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-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-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: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-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-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-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-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-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: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" }