@article{https://authors.library.caltech.edu/records/pz25c-f8f29,
    title = "Development of Cell-Free Transcription–Translation Systems in Three Soil Pseudomonads",
    journal = "ACS Synthetic Biology",
    url = "https://authors.library.caltech.edu/records/pz25c-f8f29",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.3c00468",
    volume = "13"
}


@article{https://authors.library.caltech.edu/records/wcnwq-0mw52,
    title = "Engineering the Soil Bacterium Pseudomonas synxantha 2–79 into a Ratiometric Bioreporter for Phosphorus Limitation",
    journal = "ACS Synthetic Biology",
    url = "https://authors.library.caltech.edu/records/wcnwq-0mw52",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.3c00642"
}


@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",
    url = "https://authors.library.caltech.edu/records/0p6md-nzv84",
    id = "record",
    issn = "2692-8205",
    doi = "10.1101/2023.10.24.563881",
    pmcid = "PMC10659302"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230411-764712100.4,
    title = "Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design",
    journal = "IEEE Transactions on Robotics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230411-764712100.4",
    id = "record",
    issn = "1552-3098",
    doi = "10.1109/tro.2023.3247951",
    volume = "39"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230706-731611100.7,
    title = "Control education for societal-scale challenges: A community roadmap",
    journal = "Annual Reviews in Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230706-731611100.7",
    id = "record",
    issn = "1367-5788",
    doi = "10.1016/j.arcontrol.2023.03.007",
    volume = "55"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230628-332770500.2,
    title = "Addressable and adaptable intercellular communication via DNA messaging",
    journal = "Nature Communications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230628-332770500.2",
    id = "record",
    issn = "2041-1723",
    doi = "10.1038/s41467-023-37788-z",
    volume = "14",
    pmcid = "PMC10126159"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230512-807789000.8,
    title = "Advances in theoretical and computational nonlinear control — Dedicated to the 80th birthday of Professor Arthur J. Krener",
    journal = "Systems and Control Letters",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230512-807789000.8",
    id = "record",
    issn = "0167-6911",
    doi = "10.1016/j.sysconle.2023.105492",
    volume = "174"
}


@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",
    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",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230316-204032253",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230322-366887000.4,
    title = "Characterization of Integrase and Excisionase Activity in a Cell-Free Protein Expression System Using a Modeling and Analysis Pipeline",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230322-366887000.4",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.2c00534",
    volume = "12"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20221219-234102223,
    title = "Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20221219-234021838",
    id = "record",
    doi = "10.48550/arXiv.2210.10298"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20221205-666301600.7,
    title = "Integrase-mediated differentiation circuits improve evolutionary stability of burdensome and toxic functions in E. coli",
    journal = "Nature Communications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20221205-666301600.7",
    id = "record",
    issn = "2041-1723",
    doi = "10.1038/s41467-022-34361-y",
    volume = "13",
    pmcid = "PMC9649629"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20221003-756400000.10,
    title = "Layered feedback control overcomes performance trade-off in synthetic biomolecular networks",
    journal = "Nature Communications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20221003-756400000.10",
    id = "record",
    issn = "2041-1723",
    doi = "10.1038/s41467-022-33058-6",
    volume = "13",
    pmcid = "PMC9474519"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20220715-744315000,
    title = "NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings",
    chapter = "Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220715-744315000",
    id = "record",
    isbn = "9783031067723",
    doi = "10.1007/978-3-031-06773-0\_7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200804-104555959,
    title = "BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts",
    journal = "PLoS Computational Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200804-104555959",
    id = "record",
    issn = "1553-734X",
    doi = "10.1371/journal.pcbi.1009987",
    volume = "18",
    pmcid = "PMC9060376"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200909-145940519,
    title = "Synthetic mammalian signaling circuits for robust cell population control",
    journal = "Cell",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200909-145940519",
    id = "record",
    issn = "0092-8674",
    doi = "10.1016/j.cell.2022.01.026",
    volume = "185",
    pmcid = "PMC8995209"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20220224-200808616,
    title = "Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220224-200901027",
    id = "record",
    doi = "10.48550/arXiv.2201.05758"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140925-085129247,
    title = "Synthetic logic circuits using RNA aptamer against T7 RNA polymerase",
    journal = "Biotechnology Journal",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140925-085129247",
    id = "record",
    issn = "1860-7314",
    doi = "10.1002/biot.202000449",
    volume = "17"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220124-747977500,
    title = "Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models",
    journal = "International Journal of Robust and Nonlinear Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220124-747977500",
    id = "record",
    issn = "1049-8923",
    doi = "10.1002/rnc.6013"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20210511-085123358,
    title = "2021 60th IEEE Conference on Decision and Control (CDC)",
    chapter = "Time-Optimal Navigation in Uncertain Environments with High-Level Specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210511-085123358",
    id = "record",
    isbn = "978-1-6654-3659-5",
    doi = "10.1109/CDC45484.2021.9683486"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20220210-721878000,
    title = "2021 60th IEEE Conference on Decision and Control (CDC)",
    chapter = "Robustness Guarantees for Structured Model Reduction of Dynamical Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220210-721878000",
    id = "record",
    isbn = "978-1-6654-3659-5",
    doi = "10.1109/cdc45484.2021.9683298"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20220210-721863000,
    title = "2021 60th IEEE Conference on Decision and Control (CDC)",
    chapter = "Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220210-721863000",
    id = "record",
    isbn = "978-1-6654-3659-5",
    doi = "10.1109/cdc45484.2021.9683611"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20210929-174530596,
    title = "How to model DNA replication in stochastic models of synthetic gene circuits (and why)",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210914-194152756",
    id = "record",
    doi = "10.1101/2021.09.12.459953"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210311-095327802,
    title = "Data-driven network models for genetic circuits from time-series data with incomplete measurements",
    journal = "Journal of the Royal Society Interface",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210311-095327802",
    id = "record",
    issn = "1742-5689",
    doi = "10.1098/rsif.2021.0413",
    volume = "18"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20211122-221808622,
    title = "Rapid Characterization of Genetic Parts with Cell-free Systems",
    journal = "Journal of Visualized Experiments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20211122-221808622",
    id = "record",
    issn = "1940-087X",
    doi = "10.3791/62816",
    volume = "174"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20220503-50866100,
    title = "2021 European Control Conference (ECC)",
    chapter = "Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220503-50866100",
    id = "record",
    isbn = "978-9-4638-4236-5",
    doi = "10.23919/ecc54610.2021.9655216"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20191029-132616005,
    title = "2021 European Control Conference (ECC)",
    chapter = "Contracts of Reactivity",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191029-132616005",
    id = "record",
    isbn = "978-9-4638-4236-5",
    doi = "10.23919/ECC54610.2021.9654932"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20210511-085543440,
    title = "2021 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210511-085543440",
    id = "record",
    isbn = "978-1-7281-9077-8",
    doi = "10.1109/ICRA48506.2021.9561843"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210513-144618998,
    title = "Guiding Ethical Principles in Engineering Biology Research",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210513-144618998",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.1c00129",
    volume = "10"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20210120-165231602,
    chapter = "Constrained Risk-Averse Markov Decision Processes",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210120-165231602",
    id = "record",
    doi = "10.48550/arXiv.2012.02423"
}


@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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210506-075939102",
    id = "record",
    doi = "10.1101/2021.04.30.440836"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201111-093413972,
    title = "2021 American Control Conference (ACC)",
    chapter = "Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201111-093413972",
    id = "record",
    isbn = "978-1-6654-4197-1",
    doi = "10.23919/ACC50511.2021.9482836"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200806-153554109,
    title = "A MATLAB toolbox for modeling genetic circuits in cell-free systems",
    journal = "Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200806-153554109",
    id = "record",
    issn = "2397-7000",
    doi = "10.1093/synbio/ysab007",
    volume = "6",
    pmcid = "PMC8102020"
}


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


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


@other{https://resolver.caltech.edu/CaltechAUTHORS:20201221-102922403,
    title = "Analysis of Circuits for Dosage Control in Microbial Populations",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201207-130405486",
    id = "record",
    doi = "10.1101/2020.11.25.399287"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200527-124225030,
    title = "2020 59th IEEE Conference on Decision and Control (CDC)",
    chapter = "Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200527-124225030",
    id = "record",
    isbn = "9781728174471",
    doi = "10.1109/CDC42340.2020.9303776"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200401-104547968,
    title = "Guidelines for designing the antithetic feedback motif",
    journal = "Physical Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200401-104547968",
    id = "record",
    issn = "1478-3967",
    doi = "10.1088/1478-3975/ab8454",
    volume = "17"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190918-100800913,
    title = "Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190918-100800913",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.0c00023",
    volume = "9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200108-154918519,
    title = "2020 American Control Conference (ACC)",
    chapter = "Learning Pose Estimation for UAV Autonomous Navigation and Landing Using Visual-Inertial Sensor Data",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200108-154918519",
    id = "record",
    isbn = "9781538682661",
    doi = "10.23919/ACC45564.2020.9147400"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200730-143943975,
    title = "2020 American Control Conference (ACC)",
    chapter = "Invariant Sets for Integrators and Quadrotor Obstacle Avoidance",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200730-143943975",
    id = "record",
    isbn = "9781538682661",
    doi = "10.23919/acc45564.2020.9147872"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200109-092433424,
    title = "2020 American Control Conference (ACC)",
    chapter = "Risk-Averse Planning Under Uncertainty",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200109-092433424",
    id = "record",
    isbn = "9781538682661",
    doi = "10.23919/ACC45564.2020.9147792"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200109-092058249,
    chapter = "Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200109-092058249",
    id = "record",
    doi = "10.1109/ICCPS48487.2020.00031"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200327-083242603,
    title = "Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200220-154511531",
    id = "record",
    doi = "10.1101/2020.02.15.950840"
}


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


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


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200204-162407534,
    title = "Synthesis of Distributed Longitudinal Control Protocols for a Platoon of Autonomous Vehicles",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200204-162407534",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-075449007",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-080035495",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200205-074505122,
    title = "Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-074505122",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200205-073243713",
    id = "record"
}


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


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200131-092300001,
    title = "Control of density and composition in an engineered two-member bacterial community",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-145354147",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200131-124409997,
    title = "Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-144053728",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20200128-150452496,
    title = "Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191202-140340910",
    id = "record",
    doi = "10.1101/858266"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200109-092918089,
    title = "2019 IEEE 58th Conference on Decision and Control (CDC)",
    chapter = "Towards Assume-Guarantee Profiles for Autonomous Vehicles",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200109-092918089",
    id = "record",
    isbn = "978-1-7281-1398-2",
    doi = "10.1109/CDC40024.2019.9030068"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20171102-092833279,
    title = "Robotics Research: The 18th International Symposium ISRR",
    chapter = "Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20171102-092833279",
    id = "record",
    isbn = "978-3-030-28618-7",
    doi = "10.1007/978-3-030-28619-4\_57"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190422-091140360,
    title = "A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression",
    journal = "Archives of Biochemistry and Biophysics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190422-091140360",
    id = "record",
    issn = "0003-9861",
    doi = "10.1016/j.abb.2019.07.010",
    volume = "674"
}


@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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190731-095458774",
    id = "record",
    doi = "10.1101/719278"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190708-153642582,
    title = "Hard Limits and Performance Tradeoffs in a Class of Antithetic Integral Feedback Networks",
    journal = "Cell Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190708-153642582",
    id = "record",
    issn = "2405-4712",
    doi = "10.1016/j.cels.2019.06.001",
    volume = "9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190905-152940342,
    title = "2019 American Control Conference (ACC)",
    chapter = "Risk-aware motion planning for automated vehicle among human-driven cars",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190905-152940342",
    id = "record",
    isbn = "978-1-5386-7926-5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190905-144348506,
    title = "2019 American Control Conference (ACC)",
    chapter = "A modal interface contract theory for guarded input/output automata with an application in traffic system design",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190905-144348506",
    id = "record",
    isbn = "978-1-5386-7926-5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190426-090024789,
    title = "2019 American Control Conference (ACC)",
    chapter = "Robust Estimation Framework with Semantic Measurements",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190426-090024789",
    id = "record",
    isbn = "978-1-5386-7926-5",
    doi = "10.23919/ACC.2019.8814793"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190905-153443641,
    title = "2019 American Control Conference (ACC)",
    chapter = "Transforming Data Across Environments Despite Structural Non-Identifiability",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190905-153443641",
    id = "record",
    isbn = "978-1-5386-7926-5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200131-125317403,
    title = "Analysis of primitive genetic interactions for the design of a genetic signal differentiator",
    journal = "Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-125317403",
    id = "record",
    issn = "2397-7000",
    doi = "10.1093/synbio/ysz015",
    volume = "4"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20181128-093526570,
    title = "2019 18th European Control Conference (ECC)",
    chapter = "Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181128-093526570",
    id = "record",
    isbn = "978-3-907144-00-8",
    doi = "10.23919/ECC.2019.8796069"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190822-160825121,
    title = "2019 18th European Control Conference (ECC)",
    chapter = "Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190822-160825121",
    id = "record",
    isbn = "978-3-907144-00-8",
    doi = "10.23919/ECC.2019.8795764"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190528-093001677,
    title = "Design of a genetic layered feedback controller in synthetic biological circuitry",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190422-091140053",
    id = "record",
    doi = "10.1101/614529"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120612586,
    title = "Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120605649",
    id = "record",
    doi = "10.48550/arXiv.1012.0606"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120609095,
    title = "Extremal Properties of Complex Networks",
    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",
    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",
    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},
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190325-142752006",
    id = "record",
    doi = "10.1101/121152"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190312-134813069,
    title = "Construction of Incoherent Feedforward Loop Circuits in a Cell-Free System and in Cells",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190312-134813069",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.8b00493",
    volume = "8"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190228-112317657,
    title = "Synthesizing voluntary lane-change policy using control improvisation",
    journal = "IFAC-PapersOnLine",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190228-112317657",
    id = "record",
    issn = "2405-8963",
    doi = "10.1016/j.ifacol.2019.01.007",
    volume = "51"
}


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


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120654801,
    title = "End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120654801",
    id = "record",
    doi = "10.48550/arXiv.1903.08792"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20191003-134611922,
    title = "Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence",
    chapter = "Inverse Abstraction of Neural Networks Using Symbolic Interpolation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191003-134611922",
    id = "record",
    isbn = "978-1-57735-809-1",
    doi = "10.1609/aaai.v33i01.33013437"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190204-130950357,
    title = "2018 IEEE Conference on Decision and Control (CDC)",
    chapter = "Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190204-130950357",
    id = "record",
    isbn = "978-1-5386-1395-5",
    doi = "10.1109/CDC.2018.8619039"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20180927-114224927,
    title = "2018 IEEE Conference on Decision and Control (CDC)",
    chapter = "Role of interaction network topology in controlling microbial population in consortia",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180927-114224927",
    id = "record",
    isbn = "978-1-5386-1395-5",
    doi = "10.1109/CDC.2018.8619704"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190201-143228935,
    title = "2018 IEEE Conference on Decision and Control (CDC)",
    chapter = "Voluntary lane-change policy synthesis with control improvisation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190201-143228935",
    id = "record",
    isbn = "9781538613955",
    doi = "10.1109/cdc.2018.8619616"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20181107-093406633,
    title = "Design Guidelines For Sequestration Feedback Networks",
    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",
    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",
    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",
    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",
    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",
    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)",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180927-114225422",
    id = "record",
    doi = "10.1101/222042"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180622-104112749,
    title = "On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3",
    journal = "Analytical Biochemistry",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180622-104112749",
    id = "record",
    issn = "0003-2697",
    doi = "10.1016/j.ab.2018.06.018",
    volume = "556"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180920-104049492,
    title = "Layering Assume-Guarantee Contracts for Hierarchical System Design",
    journal = "Proceedings of the IEEE",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180920-104049492",
    id = "record",
    issn = "0018-9219",
    doi = "10.1109/JPROC.2018.2834926",
    volume = "106"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20171103-115106585,
    title = "Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems",
    journal = "Discrete Event Dynamic Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20171103-115106585",
    id = "record",
    issn = "0924-6703",
    doi = "10.1007/s10626-017-0262-9",
    volume = "28"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180912-130453647,
    title = "Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations",
    journal = "IFAC-PapersOnLine",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180912-130453647",
    id = "record",
    issn = "2405-8963",
    doi = "10.1016/j.ifacol.2018.08.046",
    volume = "51"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200131-093149145,
    title = "Robotics: Science and Systems XIV",
    chapter = "Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200131-093149145",
    id = "record",
    isbn = "978-0-9923747-4-7",
    doi = "10.15607/rss.2018.xiv.047"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180524-091716800,
    title = "Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology",
    journal = "IEEE Control Systems Magazine",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180524-091716800",
    id = "record",
    issn = "0272-1708",
    doi = "10.1109/MCS.2018.2810459",
    volume = "38"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180525-123941302,
    title = "Future systems and control research in synthetic biology",
    journal = "Annual Reviews in Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180525-123941302",
    id = "record",
    issn = "1367-5788",
    doi = "10.1016/j.arcontrol.2018.04.007",
    volume = "45"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180409-133942183,
    title = "Single Day Construction of Multigene Circuits with 3G Assembly",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180409-133942183",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.8b00060",
    volume = "7"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180626-144153512,
    title = "Richard M. Murray [People in Control]",
    journal = "IEEE Control Systems Magazine",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180626-144153512",
    id = "record",
    issn = "1066-033X",
    doi = "10.1109/MCS.2017.2786445",
    volume = "38"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20180706-104554837,
    title = "2018 IEEE Aerospace Conference",
    chapter = "Progress towards flight software hybrid controllers from formal specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180706-104554837",
    id = "record",
    isbn = "978-1-5386-2014-4",
    doi = "10.1109/AERO.2018.8396562"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20171204-081929055,
    title = "Cell-Free and In Vivo Characterization of Lux, Las, and Rpa Quorum Activation Systems in E. coli",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20171204-081929055",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.7b00376",
    volume = "7"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170925-083417843,
    title = "2017 IEEE 56th Annual Conference on Decision and Control (CDC)",
    chapter = "Population regulation in microbial consortia using dual feedback control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170925-083417843",
    id = "record",
    isbn = "978-1-5090-2874-0",
    doi = "10.1101/120253"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170920-152025463,
    title = "2017 IEEE 56th Annual Conference on Decision and Control (CDC)",
    chapter = "Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170920-152025463",
    id = "record",
    isbn = "978-1-5090-2873-3",
    doi = "10.1109/CDC.2017.8263775"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20171128-230807299,
    title = "Measuring the Robustness of Neural Networks via Minimal Adversarial Examples",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20171128-230807299",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170807-111733897,
    title = "Cell-free extract based optimization of biomolecular circuits with droplet microfluidics",
    journal = "Lab on a Chip",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170807-111733897",
    id = "record",
    issn = "1473-0197",
    doi = "10.1039/C7LC00552K",
    volume = "17"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20180119-083614257,
    title = "2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)",
    chapter = "Synthesis of correct-by-construction behavior trees",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180119-083614257",
    id = "record",
    isbn = "978-1-5386-2683-2",
    doi = "10.1109/IROS.2017.8206502"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170523-230106516,
    title = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence",
    chapter = "Learning-Based Abstractions for Nonlinear Constraint Solving",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170523-230106516",
    id = "record",
    isbn = "978-0-9992411-0-3",
    doi = "10.24963/ijcai.2017/83"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20160516-100511848,
    title = "Design of a Toolbox of RNA Thermometers",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160516-100511848",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.6b00301",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170731-080503943,
    title = "Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks",
    journal = "Cell Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170731-080503943",
    id = "record",
    issn = "2405-4712",
    doi = "10.1016/j.cels.2017.06.001",
    volume = "5"
}


@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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-103731007",
    id = "record",
    doi = "10.1101/122606"
}


@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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-110144869",
    id = "record",
    doi = "10.1101/123190"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170627-105346578,
    title = "Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170619-142716206",
    id = "record",
    doi = "10.1101/104455"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170705-152213138,
    title = "2017 American Control Conference",
    chapter = "A fast motion planning representation for configuration flat robots with applications to micro air vehicles",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-152213138",
    id = "record",
    isbn = "978-1-5090-5992-8",
    doi = "10.23919/ACC.2017.7963600"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170614-142315589,
    title = "Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks",
    journal = "Journal of the Royal Society Interface",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170614-142315589",
    id = "record",
    issn = "1742-5689",
    doi = "10.1098/rsif.2017.0157",
    volume = "14",
    pmcid = "PMC5454304"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170705-155806564,
    title = "2017 American Control Conference",
    chapter = "Connected cruise control design using probabilistic model checking",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-155806564",
    id = "record",
    isbn = "978-1-5090-5992-8",
    doi = "10.23919/ACC.2017.7963724"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170629-080527577,
    title = "Systems \& Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges",
    journal = "Annual Reviews in Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170629-080527577",
    id = "record",
    issn = "1367-5788",
    doi = "10.1016/j.arcontrol.2017.04.001",
    volume = "43"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170303-084805424,
    title = "Proceedings of the 8th ACM/IEEE International Conference on Cyber-Physical Systems, Pitssburgh, PA USA, April 2017 (ICCPS)",
    chapter = "Enhancing tolerance to unexpected jumps in GR(1) games",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170303-084805424",
    id = "record",
    isbn = "978-1-4503-4965-9",
    doi = "10.1145/3055004.3055014"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20170313-102144883,
    title = "The Effect of Compositional Context on Synthetic Gene Networks",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170206-084448312",
    id = "record",
    doi = "10.1101/087379"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170202-080959480,
    title = "Privacy Preserving Average Consensus",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170202-080959480",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2016.2564339",
    volume = "62"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170221-080512453,
    title = "2016 IEEE Symposium Series on Computational Intelligence (SSCI)",
    chapter = "Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170221-080512453",
    id = "record",
    isbn = "978-1-5090-4241-8",
    doi = "10.1109/SSCI.2016.7849873"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170111-150445053,
    title = "IEEE 55th Conference on Decision and Control (CDC)",
    chapter = "Quantifying resource competition and its effects in the TX-TL system",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170111-150445053",
    id = "record",
    isbn = "978-1-5090-1837-6",
    doi = "10.1109/CDC.2016.7798775"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170111-134705561,
    title = "55th Conference on Decision and Control (CDC), 2016",
    chapter = "Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170111-134705561",
    id = "record",
    isbn = "978-1-5090-1838-3",
    doi = "10.1109/CDC.2016.7798307"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170111-150031011,
    title = "IEEE 55th Conference on Decision and Control (CDC)",
    chapter = "Constrained autonomous satellite docking via differential flatness and model predictive control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170111-150031011",
    id = "record",
    isbn = "978-1-5090-1837-6",
    doi = "10.1109/CDC.2016.7798766"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170202-073327562,
    title = "Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks",
    journal = "SIAM Journal on Applied Dynamical Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170202-073327562",
    id = "record",
    issn = "1536-0040",
    doi = "10.1137/15M1031965",
    volume = "15",
    pmcid = "PMC5603244"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20160513-150803580,
    title = "The effects of time-varying temperature on delays in genetic networks",
    journal = "SIAM Journal on Applied Dynamical Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160513-150803580",
    id = "record",
    issn = "1536-0040",
    doi = "10.1137/15M1040979",
    volume = "15",
    pmcid = "PMC5656297"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190822-084034717,
    title = "AIAA SPACE 2016",
    chapter = "Resilient Spacecraft Executive: An Architecture for Risk-Aware Operations in Uncertain Environments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190822-084034717",
    id = "record",
    isbn = "978-1-62410-427-5",
    doi = "10.2514/6.2016-5541"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190822-074943945,
    title = "AIAA SPACE 2016",
    chapter = "Risk-aware Planning in Hybrid Domains: An Application to Autonomous Planetary Rovers",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190822-074943945",
    id = "record",
    isbn = "978-1-62410-427-5",
    doi = "10.2514/6.2016-5537"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190822-090943975,
    title = "AIAA SPACE 2016",
    chapter = "Towards Architecture-wide Analysis, Verification, and Validation for Total System Stability During Goal-Seeking Space Robotics Operations",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190822-090943975",
    id = "record",
    isbn = "978-1-62410-427-5",
    doi = "10.2514/6.2016-5607"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994,
    title = "2016 IEEE Conference on Control Applications (CCA)",
    chapter = "Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994",
    id = "record",
    isbn = "978-1-5090-0755-4",
    doi = "10.1109/CCA.2016.7587949"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20160706-081948550,
    title = "The role of single occupancy effects on integrase dynamics in a cell-free system",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2016.003",
    id = "record",
    doi = "10.1109/ACC.2016.7525009"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160801-165143151,
    title = "2016 American Control Conference (ACC)",
    chapter = "Symbolic construction of GR(1) contracts for systems with full information",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160801-165143151",
    id = "record",
    isbn = "978-1-4673-8680-7",
    doi = "10.1109/ACC.2016.7525009"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170118-094026442,
    title = "2016 European Control Conference (ECC)",
    chapter = "Robust model predictive control for an uncertain smart thermal grid",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170118-094026442",
    id = "record",
    isbn = "978-1-5090-2591-6",
    doi = "10.1109/ECC.2016.7810452"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160802-094940806,
    title = "2016 American Control Conference (ACC)",
    chapter = "Linear System Identifiability from Distributional and Time Series Data",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160802-094940806",
    id = "record",
    isbn = "978-1-4673-8680-7",
    doi = "10.1109/ACC.2016.7524946"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20160513-141535201,
    title = "Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics",
    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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160502-104806241",
    id = "record",
    doi = "10.1101/048710"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20151116-095719395,
    title = "A population-based temporal logic gate for timing and recording chemical events",
    journal = "Molecular Systems Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151116-095719395",
    id = "record",
    issn = "1744-4292",
    doi = "10.15252/msb.20156663",
    volume = "12",
    pmcid = "PMC5289221"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161116-150409481,
    title = "Robotics Research",
    chapter = "Optimal Control of Nonlinear Systems with Temporal Logic Specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161116-150409481",
    id = "record",
    isbn = "978-3-319-28870-3",
    doi = "10.1007/978-3-319-28872-7\_2"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150303-123633257,
    title = "Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150303-123633257",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.5b00090",
    volume = "5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160404-092715239,
    title = "AIAA SPACE 2015 Conference and Exposition",
    chapter = "Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160404-092715239",
    id = "record",
    isbn = "978-1-62410-334-6",
    doi = "10.2514/6.2015-4527"
}


@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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2016.001",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160725-112209526,
    chapter = "Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160725-112209526",
    id = "record",
    doi = "10.1109/AERO.2016.7500557"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515,
    title = "A multi-paradigm language for reactive synthesis",
    journal = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515",
    id = "record",
    issn = "2075-2180",
    doi = "10.4204/EPTCS.202.6",
    volume = "202"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160120-104956130,
    title = "Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
    chapter = "Synthesis of reactive controllers for hybrid systems (keynote)",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160120-104956130",
    id = "record",
    isbn = "978-1-4503-3549-2",
    doi = "10.1145/2837614.2843894"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160216-132738380,
    title = "54th IEEE Conference on Decision and Control (CDC)",
    chapter = "Analysis of Control Systems on Symmetric Cones",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160216-132738380",
    id = "record",
    isbn = "978-1-4799-7884-7",
    doi = "10.1109/CDC.2015.7402836"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160217-085432492,
    title = "54th IEEE Conference on Decision and Control (CDC)",
    chapter = "A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160217-085432492",
    id = "record",
    isbn = "978-1-4799-7884-7",
    doi = "10.1109/CDC.2015.7402699"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161208-102939866,
    title = "54th IEEE Conference on Decision and Control (CDC), 2015",
    chapter = "An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161208-102939866",
    id = "record",
    isbn = "978-1-4799-7886-1",
    doi = "10.1109/CDC.2015.740318671"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160217-083025676,
    title = "54th IEEE Conference on Decision and Control (CDC)",
    chapter = "Engineering principles of synthetic biochemical oscillators with negative cyclic feedback",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160217-083025676",
    id = "record",
    isbn = "978-1-4799-7884-7",
    doi = "10.1109/CDC.2015.7402292"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20151013-090251954,
    title = "Rapid cell-free forward engineering of novel genetic ring oscillators",
    journal = "eLife",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151013-090251954",
    id = "record",
    issn = "2050-084X",
    doi = "10.7554/eLife.09771",
    volume = "4",
    pmcid = "PMC4714972"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170404-101550871,
    title = "Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach",
    journal = "INCOSE International Symposium",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170404-101550871",
    id = "record",
    issn = "2334-5837",
    doi = "10.1002/j.2334-5837.2015.00060.x",
    volume = "25"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160412-095801286,
    title = "2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)",
    chapter = "Online Horizon Selection in Receding Horizon Temporal Logic Planning",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160412-095801286",
    id = "record",
    isbn = "978-1-4799-9994-1",
    doi = "10.1109/IROS.2015.7353864"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150608-135213453,
    title = "Characterizing and prototyping genetic networks with cell-free transcription–translation reactions",
    journal = "Methods",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150608-135213453",
    id = "record",
    issn = "1046-2023",
    doi = "10.1016/j.ymeth.2015.05.020",
    volume = "86"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20151030-084615377,
    title = "Convex Optimal Uncertainty Quantification",
    journal = "SIAM Journal of Optimization",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151030-084615377",
    id = "record",
    issn = "1052-6234",
    doi = "10.1137/13094712X",
    volume = "25"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150903-084342383,
    title = "An analytical approach to bistable biological circuit discrimination using real algebraic geometry",
    journal = "Journal of the Royal Society Interface",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150903-084342383",
    id = "record",
    issn = "1742-5689",
    doi = "10.1098/rsif.2015.0288",
    volume = "12"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150915-083424809,
    title = "34th Chinese Control Conference (CCC)",
    chapter = "Multi-dimensional state estimation in adversarial environment",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150915-083424809",
    id = "record",
    isbn = "978-9-8815-6389-7",
    doi = "10.1109/ChiCC.2015.7260376"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160318-094020866,
    title = "2015 American Control Conference (ACC)",
    chapter = "Variable elimination for scalable receding horizon temporal logic planning",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160318-094020866",
    id = "record",
    isbn = "978-1-4799-8685-9",
    doi = "10.1109/ACC.2015.7171013"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150813-145738981,
    title = "Bootstrapping bilinear models of Simple Vehicles",
    journal = "International Journal of Robotics Research",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150813-145738981",
    id = "record",
    issn = "0278-3649",
    doi = "10.1177/0278364914557708",
    volume = "34"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20151124-114616357,
    chapter = "A state-space realization approach to set identification of biochemical kinetic parameters",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151124-114616357",
    id = "record",
    doi = "10.1109/ECC.2015.7330878"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190327-154909216,
    title = "Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution",
    journal = "IEEE Transactions on Control of Network Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190327-154909216",
    id = "record",
    issn = "2325-5870",
    doi = "10.1109/TCNS.2015.2401174",
    volume = "2"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150612-140758750,
    title = "Rapidly Characterizing the Fast Dynamics of RNA Genetic Circuitry with Cell-Free Transcription Translation (TX-TL) Systems",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150612-140758750",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/sb400206c",
    volume = "4",
    pmcid = "PMC4487224"
}


@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",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150428-075140716",
    id = "record",
    doi = "10.1101/017814"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150514-135540768,
    title = "Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control",
    chapter = "Reactive Synthesis from Signal Temporal Logic Specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150514-135540768",
    id = "record",
    isbn = "978-1-4503-3433-4",
    doi = "10.1145/2728606.2728628"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161128-165454738,
    title = "HSCC '15 Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control",
    chapter = "Cross-entropy temporal logic motion planning",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161128-165454738",
    id = "record",
    isbn = "978-1-4503-3433-4",
    doi = "10.1145/2728606.2728635"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2015.003,
    title = "Synthesis from multi-paradigm specifications",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2015.001",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150818-140635950,
    title = "2015 IEEE Aerospace Conference",
    chapter = "A risk-aware architecture for resilient spacecraft operations",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150818-140635950",
    id = "record",
    isbn = "978-1-4799-5379-0",
    doi = "10.1109/AERO.2015.7119035"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150316-104657793,
    title = "Robot navigation in dense human crowds: Statistical models and experimental studies of human–robot cooperation",
    journal = "International Journal of Robotics Research",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150316-104657793",
    id = "record",
    issn = "0278-3649",
    doi = "10.1177/0278364914557874",
    volume = "34"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140424-150617268,
    title = "Design and implementation of a synthetic biomolecular concentration tracker",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140424-150617268",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/sb500024b",
    volume = "4",
    pmcid = "PMC4384833"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150313-113120630,
    title = "Population Diversification in a Yeast Metabolic Program Promotes Anticipation of Environmental Shifts",
    journal = "PLoS Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150313-113120630",
    id = "record",
    issn = "1544-9173",
    doi = "10.1101/002907",
    volume = "13",
    pmcid = "PMC4307983"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150302-124651398,
    title = "Editorial for SEED 2014 Special Issue",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150302-124651398",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/acssynbio.5b00001",
    volume = "4"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170123-170431903,
    title = "53rd IEEE Conference on Decision and Control",
    chapter = "Modeling the effects of compositional context on promoter activity in an E. coli extract based transcription-translation system",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170123-170431903",
    id = "record",
    isbn = "978-1-4673-6090-6",
    doi = "10.1109/CDC.2014.7040234"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170124-175050123,
    title = "53rd IEEE Conference on Decision and Control",
    chapter = "Model predictive control with signal temporal logic specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170124-175050123",
    id = "record",
    isbn = "978-1-4673-6090-6",
    doi = "10.1109/CDC.2014.7039363"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140424-145318619,
    title = "53rd IEEE Conference on Decision and Control",
    chapter = "Designing Robustness to Temperature in a Feedforward Loop Circuit",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140424-145318619",
    id = "record",
    isbn = "978-1-4799-7746-8",
    doi = "10.1109/CDC.2014.7040112"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257,
    title = "Control Software Synthesis and Validation for a Vehicular
 Electric Power Distribution Testbed",
    journal = "Journal of Aerospace Information Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150202-112319257",
    id = "record",
    issn = "1940-3151",
    doi = "10.2514/1.I010167",
    volume = "11"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150402-125326775,
    title = "2014 IEEE/RSJ International Conference on Intelligent Robots and Systems",
    chapter = "A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150402-125326775",
    id = "record",
    isbn = "978-1-4799-6934-0",
    doi = "10.1109/IROS.2014.6942750"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140424-151429285,
    title = "Negative autoregulation matches production and demand in synthetic transcriptional networks",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140424-151429285",
    id = "record",
    issn = "2161-5063",
    doi = "10.1101/000430",
    volume = "3"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20141113-140158076,
    title = "The Swarm at the Edge of the Cloud",
    journal = "IEEE Design \& Test",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20141113-140158076",
    id = "record",
    issn = "2168-2356",
    doi = "10.1109/MDAT.2014.2314600",
    volume = "31"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140724-160305011,
    title = "Linear DNA for Rapid Prototyping of Synthetic Biological Circuits in an Escherichia coli Based TX-TL Cell-Free System",
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140724-160305011",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/sb400131a",
    volume = "3"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150320-093857002,
    title = "2014 American Control Conference",
    chapter = "Collaborative System Identification via Parameter Consensus",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150320-093857002",
    id = "record",
    isbn = "978-1-4799-3272-6",
    doi = "10.1109/ACC.2014.6858938"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150320-090407457,
    title = "2014 American Control Conference",
    chapter = "A scalable formulation for engineering combination therapies for evolutionary dynamics of disease",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150320-090407457",
    id = "record",
    isbn = "978-1-4799-3272-6",
    doi = "10.1109/ACC.2014.6859452"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150320-085455694,
    title = "2014 American Control Conference",
    chapter = "Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150320-085455694",
    id = "record",
    isbn = "978-1-4799-3272-6",
    doi = "10.1109/ACC.2014.6859470"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140414-094313495,
    title = {Gene Circuit Performance Characterization and Resource Usage in a Cell-Free "Breadboard"},
    journal = "ACS Synthetic Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140414-094313495",
    id = "record",
    issn = "2161-5063",
    doi = "10.1021/sb400203p",
    volume = "3"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140421-101928940,
    title = "Synthetic circuit for exact adaptation and fold-change detection",
    journal = "Nucleic Acids Research",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140421-101928940",
    id = "record",
    issn = "0305-1048",
    doi = "10.1093/nar/gku233",
    volume = "42",
    pmcid = "PMC4027175"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140502-103349067,
    title = "Flying Drosophila stabilize their vision-based velocity controller by sensing wind with their antennae",
    journal = "Proceedings of the National Academy of Sciences of the United States of America",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140502-103349067",
    id = "record",
    issn = "0027-8424",
    doi = "10.1073/pnas.1323529111",
    volume = "111",
    pmcid = "PMC3977237"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962,
    title = "A Contract-Based Methodology for Aircraft Electric Power System Design",
    journal = "IEEE Access",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170524-161850962",
    id = "record",
    issn = "2169-3536",
    doi = "10.1109/ACCESS.2013.2295764",
    volume = "2"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190329-155946621,
    title = "52nd IEEE Conference on Decision and Control",
    chapter = "Reverse engineering combination therapies for evolutionary dynamics of disease: An H∞ approach",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190329-155946621",
    id = "record",
    isbn = "978-1-4673-5714-2",
    doi = "10.1109/CDC.2013.6760185"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190327-160859814,
    title = "52nd IEEE Conference on Decision and Control",
    chapter = "Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190327-160859814",
    id = "record",
    isbn = "978-1-4673-5714-2",
    doi = "10.1109/CDC.2013.6760755"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140411-072530586,
    title = "2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)",
    chapter = "Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140411-072530586",
    id = "record",
    isbn = "978-1-4673-6358-7",
    doi = "10.1109/IROS.2013.6696978"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190403-103445318,
    title = "2013 Proceedings of the International Conference on Embedded Software (EMSOFT)",
    chapter = "Pre-orders for reasoning about stability properties with respect to input of hybrid systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190403-103445318",
    id = "record",
    isbn = "978-1-4799-1443-2",
    doi = "10.1109/EMSOFT.2013.6658602"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20131031-134823487,
    title = "Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology",
    journal = "Journal of Visualized Experiments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131031-134823487",
    id = "record",
    issn = "1940-087X",
    doi = "10.3791/50762",
    volume = "79"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20130802-112333498,
    title = "Synthesis of Reactive Switching Protocols From Temporal Logic Specifications",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130802-112333498",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2013.2246095",
    volume = "58"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20130812-094851124,
    title = "Optimization of convergence rate and stability margin of information flow in cooperative systems",
    journal = "Automatica",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130812-094851124",
    id = "record",
    issn = "0005-1098",
    doi = "10.1016/j.automatica.2013.03.018",
    volume = "49"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20130916-113727132,
    title = "Verifying Cyber-Physical Interactions in Safety-Critical Systems",
    journal = "IEEE Security and Privacy",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130916-113727132",
    id = "record",
    issn = "1540-7993",
    doi = "10.1109/MSP.2013.77",
    volume = "11"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20131219-094019593,
    title = "2013 American Control Conference (ACC)",
    chapter = "Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131219-094019593",
    id = "record",
    isbn = "978-1-4799-0177-7"
}


@inbook{https://resolver.caltech.edu/CaltechCDSTR:2012.002,
    title = "2013 American Control Conference (ACC)",
    chapter = "Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2012.002",
    id = "record",
    isbn = "978-1-4799-0177-7"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190403-105326642,
    title = "2013 American Control Conference",
    chapter = "Feedback architectures to regulate flux of components in artificial gene networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190403-105326642",
    id = "record",
    isbn = "978-1-4799-0177-7",
    doi = "10.1109/ACC.2013.6580572"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20130715-075915746,
    title = "2013 American Control Conference (ACC)",
    chapter = "Biomolecular resource utilization in elementary cell-free gene circuits",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130715-075915746",
    id = "record",
    isbn = "978-1-4799-0177-7",
    doi = "10.1109/ACC.2013.6580053"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20131219-095517199,
    title = "2013 American Control Conference (ACC)",
    chapter = "Design and implementation of a biomolecular circuit for tracking protein concentration",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131219-095517199",
    id = "record",
    isbn = "978-1-4799-0177-7",
    doi = "10.1109/ACC.2013.6580175"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20130709-103021335,
    title = "A robust model predictive control algorithm augmented with a reactive safety mode",
    journal = "Automatica",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130709-103021335",
    id = "record",
    issn = "0005-1098",
    doi = "10.1016/j.automatica.2013.02.025",
    volume = "49"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140724-105809953,
    title = "2013 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Just-in-time synthesis for reactive motion planning with temporal logic",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140724-105809953",
    id = "record",
    isbn = "978-1-4673-5641-1",
    doi = "10.1109/ICRA.2013.6631298"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140724-090815397,
    title = "2013 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Robot navigation in dense human crowds: the case for cooperation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140724-090815397",
    id = "record",
    isbn = "978-1-4673-5641-1",
    doi = "10.1109/ICRA.2013.6630866"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140724-094726571,
    title = "2013 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Efficient reactive controller synthesis for a fragment of linear temporal logic",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140724-094726571",
    id = "record",
    isbn = "978-1-4673-5641-1",
    doi = "10.1109/ICRA.2013.6631296"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140724-131326509,
    title = "2013 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Patching task-level robot controllers based on a local µ-calculus formula",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140724-131326509",
    id = "record",
    isbn = "978-1-4673-5643-5",
    doi = "10.1109/ICRA.2013.6631229"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140724-125512319,
    chapter = "Motion planning in observations space with learned diffeomorphism models",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140724-125512319",
    id = "record",
    doi = "10.1109/ICRA.2013.6630973"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20130719-105708428,
    title = "Proceedings of the 16th international conference on Hybrid systems: computation and control",
    chapter = "An aircraft electric power testbed for validating automatically synthesized reactive control protocols",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130719-105708428",
    id = "record",
    isbn = "978-1-4503-1567-8",
    doi = "10.1145/2461328.2461344"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20151124-141949989,
    title = "Discriminating External and Internal Causes for Heading Changes in Freely Flying Drosophila",
    journal = "PLOS Computational Biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20151124-141949989",
    id = "record",
    issn = "1553-7358",
    doi = "10.1371/journal.pcbi.1002891",
    volume = "9",
    pmcid = "PMC3585425"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20140425-112422202,
    title = "Control Conference (ECC), 2013 European",
    chapter = "Stability of Discrete-Time Systems with Stochastically Delayed Feedback",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140425-112422202",
    id = "record",
    isbn = "978-3-033-03962-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20131219-103750003,
    title = "51st IEEE Conference on Decision and Control",
    chapter = "A case study on reactive protocols for aircraft electric power distribution",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131219-103750003",
    id = "record",
    isbn = "978-1-4673-2065-8",
    doi = "10.1109/CDC.2012.6426175"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20131220-132617887,
    title = "51st IEEE Conference on Decision and Control",
    chapter = "Robust control of uncertain Markov Decision Processes with temporal logic specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131220-132617887",
    id = "record",
    isbn = "978-1-4673-2065-8",
    doi = "10.1109/CDC.2012.6426174"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170201-163148693,
    title = "2012 IEEE 51st IEEE Conference on Decision and Control (CDC)",
    chapter = "Reactive controllers for differentially flat systems with temporal logic constraints",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170201-163148693",
    id = "record",
    isbn = "978-1-4673-2066-5",
    doi = "10.1109/CDC.2012.6425981"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20130110-104823261,
    title = "Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response",
    journal = "Proceedings of the National Academy of Sciences of the United States of America",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130110-104823261",
    id = "record",
    issn = "0027-8424",
    doi = "10.1073/pnas.1211902109",
    volume = "109",
    pmcid = "PMC3511703"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20121220-142113975,
    title = "Receding Horizon Temporal Logic Planning",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20121220-142113975",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2012.2195811",
    volume = "57"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2012.004,
    title = "Motion planning in observations space with learned diffeomorphism models",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2012.003",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20121026-084418812,
    title = "Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle",
    journal = "ACM Transactions in Embedded Computing Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20121026-084418812",
    id = "record",
    issn = "1539-9087",
    doi = "10.1145/2331147.2331163",
    volume = "11"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247242,
    title = "2012 American Control Conference (ACC)",
    chapter = "Temporal logic control of switched affine systems with an application in fuel balancing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247242",
    id = "record",
    isbn = "9781457710964",
    doi = "10.1109/acc.2012.6315141"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20121009-105532954,
    title = "2012 American Control Conference (ACC)",
    chapter = "Switching protocol synthesis for temporal logic specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20121009-105532954",
    id = "record",
    isbn = "978-1-4577-1095-7",
    doi = "10.1109/ACC.2012.6315040"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247070,
    title = "2012 American Control Conference (ACC)",
    chapter = "Decentralised minimal-time dynamic consensus",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247070",
    id = "record",
    isbn = "9781457710964",
    doi = "10.1109/acc.2012.6315298"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120703-110333250,
    title = "2012 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Learning diffeomorphism models of robotic sensorimotor cascades",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120703-110333250",
    id = "record",
    isbn = "978-1-4673-1403-9",
    doi = "10.1109/ICRA.2012.6225318"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120703-084401806,
    title = "2012 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Backtracking temporal logic synthesis for uncertain environments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120703-084401806",
    id = "record",
    isbn = "978-1-4673-1403-9",
    doi = "10.1109/ICRA.2012.6225208"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120703-085636525,
    title = "2012 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Towards formal synthesis of reactive controllers for dexterous robotic manipulation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120703-085636525",
    id = "record",
    isbn = "978-1-4673-1403-9",
    doi = "10.1109/ICRA.2012.6225257"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120703-105934140,
    title = "2012 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120703-105934140",
    id = "record",
    isbn = "978-1-4673-1403-9",
    doi = "10.1109/ICRA.2012.6225311"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120620-095640251,
    title = "Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control",
    chapter = "On synthesizing robust discrete controllers under modeling uncertainty",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120620-095640251",
    id = "record",
    isbn = "978-1-4503-1220-2",
    doi = "10.1145/2185632.2185648"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20120207-074159029,
    title = "Quantized Consensus by Means of Gossip Algorithm",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120207-074159029",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2011.2160593",
    volume = "57"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247417,
    title = "2011 50th IEEE Conference on Decision and Control and European Control Conference",
    chapter = "Distributed power allocation for vehicle management systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247417",
    id = "record",
    isbn = "9781612848013",
    doi = "10.1109/cdc.2011.6161470"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247340,
    title = "2011 IEEE International Conference on Robotics and Biomimetics",
    chapter = "A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247340",
    id = "record",
    isbn = "9781457721380",
    doi = "10.1109/robio.2011.6181498"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247494,
    title = "2011 IEEE Biomedical Circuits and Systems Conference (BioCAS)",
    chapter = "Analysis and design of a synthetic transcriptional network for exact adaptation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247494",
    id = "record",
    isbn = "9781457714702",
    doi = "10.1109/biocas.2011.6107798"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20111020-091851903,
    title = "Timing molecular motion and production with a synthetic transcriptional clock",
    journal = "Proceedings of the National Academy of Sciences of the United States of America",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20111020-091851903",
    id = "record",
    issn = "0027-8424",
    doi = "10.1073/pnas.1100060108",
    volume = "108",
    pmcid = "PMC3189071"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2011.008,
    title = "Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2011.006",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120406-141618413,
    title = "2011 IEEE/RSJ International Conference on Intelligent Robots and Systems",
    chapter = "Containment indicator function construction via numerical conformal mapping",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120406-141618413",
    id = "record",
    isbn = "978-1-61284-454-1",
    doi = "10.1109/IROS.2011.6095037"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120406-140547979,
    title = "2011 IEEE/RSJ International Conference on Intelligent Robots and Systems",
    chapter = "Bootstrapping sensorimotor cascades: a group-theoretic perspective",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120406-140547979",
    id = "record",
    isbn = "978-1-61284-454-1",
    doi = "10.1109/IROS.2011.6095151"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120330-135848739,
    title = "2011 IEEE International Conference on Development and Learning",
    chapter = "Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120330-135848739",
    id = "record",
    isbn = "978-1-61284-989-8",
    doi = "10.1109/DEVLRN.2011.6037313"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247572,
    title = "Proceedings of the 2011 American Control Conference",
    chapter = "Fault-tolerant controller design with applications in power systems and synthetic biology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247572",
    id = "record",
    isbn = "9781457700811",
    doi = "10.1109/acc.2011.5991381"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247658,
    title = "2011 IEEE International Conference on Robotics and Automation",
    chapter = "Bootstrapping bilinear models of robotic sensorimotor cascades",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247658",
    id = "record",
    isbn = "9781612843865",
    doi = "10.1109/icra.2011.5979844"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20120522-084524685,
    title = "Proceedings of the 14th international conference on Hybrid systems: computation and control",
    chapter = "TuLiP: a software toolbox for receding horizon temporal logic planning",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120522-084524685",
    id = "record",
    isbn = "978-1-4503-0629-4",
    doi = "10.1145/1967701.1967747"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247744,
    title = "2011 IEEE/ACM Second International Conference on Cyber-Physical Systems",
    chapter = "Distributed Synthesis of Control Protocols for Smart Camera Networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247744",
    id = "record",
    isbn = "9781612846408",
    doi = "10.1109/iccps.2011.22"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190930-110459012,
    title = "Infotech@Aerospace 2011",
    chapter = "Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190930-110459012",
    id = "record",
    isbn = "9781600869440",
    doi = "10.2514/6.2011-1506"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20110308-123056956,
    title = "Bisimulation conversion and verification procedure for goal-based control systems",
    journal = "Formal Methods in System Design",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110308-123056956",
    id = "record",
    issn = "0925-9856",
    doi = "10.1007/s10703-010-0109-6",
    volume = "38"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20111031-100248775,
    title = "Dynamics and Stability of Low-Reynolds-Number Swimming Near a Wall",
    journal = "SIAM Journal on Applied Dynamical Systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20111031-100248775",
    id = "record",
    issn = "1536-0040",
    doi = "10.1137/100808745",
    volume = "10"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247920,
    title = "49th IEEE Conference on Decision and Control (CDC)",
    chapter = "Synthesis of embedded control systems with high sampling frequencies",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247920",
    id = "record",
    isbn = "9781424477456",
    doi = "10.1109/cdc.2010.5718118"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247830,
    title = "49th IEEE Conference on Decision and Control (CDC)",
    chapter = "Tuning a synthetic in vitro oscillator using control-theoretic tools",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247830",
    id = "record",
    isbn = "9781424477456",
    doi = "10.1109/cdc.2010.5718111"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20101029-082222753,
    title = "Autonomous driving in urban environments: approaches, lessons and challenges",
    journal = "Philosophical Transactions A: Mathematical, Physical and Engineering Sciences",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101029-082222753",
    id = "record",
    issn = "1364-503X",
    doi = "10.1098/rsta.2010.0110",
    volume = "368"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141248010,
    title = "2010 IEEE/RSJ International Conference on Intelligent Robots and Systems",
    chapter = "A bio-plausible design for visual pose stabilization",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141248010",
    id = "record",
    isbn = "9781424466740",
    doi = "10.1109/iros.2010.5652857"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190326-141248096,
    title = "Proceedings of the 2010 American Control Conference",
    chapter = "Limits on the network sensitivity function for homogeneous multi-agent systems on a graph",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141248096",
    id = "record",
    isbn = "9781424474271",
    doi = "10.1109/acc.2010.5530753"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110412-152921583,
    title = "2010 American Control Conference (ACC)",
    chapter = "Simple delay-based implementation of continuous-time controllers",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110412-152921583",
    id = "record",
    isbn = "978-1-4244-7426-4",
    doi = "10.1109/ACC.2010.5530439"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100709-164812328,
    title = {Reply to "Comments on "Consensus and Cooperation in Networked Multi-Agent Systems""},
    journal = "Proceedings of the IEEE",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100709-164812328",
    id = "record",
    issn = "0018-9219",
    doi = "10.1109/JPROC.2010.2049912",
    volume = "98"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-102831203,
    title = "Proceedings of the 2010 American Control Conference",
    chapter = "Experimental demonstration of the dynamics and stability of a low Reynolds number swimmer near a plane wall",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-102831203",
    id = "record",
    isbn = "978-1-4244-7426-4",
    doi = "10.1109/ACC.2010.5530846"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161213-153527627,
    title = "DAC '10 Proceedings of the 47th Design Automation Conference",
    chapter = "Joint DAC/IWBDA Special Session Engineering Biology: Fundamentals and Applications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161213-153527627",
    id = "record",
    isbn = "978-1-4503-0002-5",
    doi = "10.1145/1837274.1837330"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100712-154830591,
    title = "Resource optimisation in a wireless sensor network with guaranteed estimator performance",
    journal = "IET Control Theory and Applications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100712-154830591",
    id = "record",
    issn = "1751-8644",
    doi = "10.1049/iet-cta.2009.0104",
    volume = "4"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100407-095207612,
    title = "Kalman Filtering Over a Packet-Dropping Network: A Probabilistic Perspective",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100407-095207612",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2009.2039236",
    volume = "55"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100120-105437457,
    title = "Controlling biological networks by time-delayed signals",
    journal = "Philosophical Transactions A: Mathematical, Physical and Engineering Sciences",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100120-105437457",
    id = "record",
    issn = "1364-503X",
    doi = "10.1098/rsta.2009.0242",
    volume = "368"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100701-112021323,
    title = "HSSC 10:  Proceedings of the 13th ACM International Conference on Hybrid Systems:  Computation and Control",
    chapter = "Receding Horizon Control for Temporal Logic Specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100701-112021323",
    id = "record",
    isbn = "978-1-60558-955-8"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-110325145,
    title = "Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference",
    chapter = "Receding horizon temporal logic planning for dynamical systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-110325145",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5399536"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-105229020,
    title = "Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference",
    chapter = "Quantized consensus via adaptive stochastic gossip algorithm",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-105229020",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5400005"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-103804228,
    title = "Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference",
    chapter = "Design of insulating devices for in vitro synthetic circuits",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-103804228",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5400523"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-132458437,
    title = "Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference",
    chapter = "A bio-plausible design for visual attitude stabilization",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-132458437",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5400408"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-104610564,
    title = "Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference",
    chapter = "Compositional stability analysis based on dual decomposition",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-104610564",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5400309"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100121-153456533,
    title = "Kalman filtering over wireless fading channels—How to handle
 packet drop",
    journal = "International Journal of Robust and Nonlinear Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100121-153456533",
    id = "record",
    issn = "1049-8923",
    doi = "10.1002/rnc.1398",
    volume = "19"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-111541230,
    title = "Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference",
    chapter = "Geometric control of particle manipulation in a two-dimensional fluid",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-111541230",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5399499"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20091106-154852106,
    title = "Cone invariance and rendezvous of multiple agents",
    journal = "Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20091106-154852106",
    id = "record",
    issn = "0954-4100",
    doi = "10.1243/09544100JAERO443",
    volume = "223"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20090930-152710419,
    title = "Kalman filtering over a packet-delaying network: A probabilistic approach",
    journal = "Automatica",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20090930-152710419",
    id = "record",
    issn = "0005-1098",
    doi = "10.1016/j.automatica.2009.05.018",
    volume = "45"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20090828-100125867,
    title = "Flight Dynamics and Control of Evasive Maneuvers: The Fruit Fly's Takeoff",
    journal = "IEEE Transactions on Biomedical Engineering",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20090828-100125867",
    id = "record",
    issn = "0018-9294",
    doi = "10.1109/TBME.2009.2027606",
    volume = "56"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20090826-112853239,
    title = "Data Transmission Over Networks for Estimation and Control",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20090826-112853239",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2009.2024567",
    volume = "54"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100507-133036019,
    title = "American Control Conference, 2009",
    chapter = "Real-valued average consensus over noisy quantized channels",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100507-133036019",
    id = "record",
    isbn = "978-1-4244-4523-3",
    doi = "10.1109/ACC.2009.5159872"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100507-091712132,
    title = "2009 American Control Conference",
    chapter = "On quantized consensus by means of gossip algorithm - Part II: Convergence time",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100507-091712132",
    id = "record",
    isbn = "978-1-4244-4523-3",
    doi = "10.1109/ACC.2009.5160568"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100507-094244165,
    title = "American Control Conference, 2009",
    chapter = "On quantized consensus by means of gossip algorithm - Part I: Convergence proof",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100507-094244165",
    id = "record",
    isbn = "978-1-4244-4523-3",
    doi = "10.1109/ACC.2009.5160485"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-135204769,
    title = "2009 IEEE International Conference on Robotics and Automation",
    chapter = "A real-time helicopter testbed for insect-inspired visual flight control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-135204769",
    id = "record",
    isbn = "978-1-4244-2788-8",
    doi = "10.1109/ROBOT.2009.5152667"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20091006-094144123,
    title = "Model reduction of interconnected linear systems",
    journal = "Optimal Control Applications and Methods",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20091006-094144123",
    id = "record",
    issn = "0143-2087",
    doi = "10.1002/oca.854",
    volume = "30"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20090708-083134251,
    title = "Dynamics and stability of a class of low Reynolds number swimmers near a wall",
    journal = "Physical Review E",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20090708-083134251",
    id = "record",
    issn = "1539-3755",
    doi = "10.1103/PhysRevE.79.045302",
    volume = "79"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20090416-092107354,
    title = "To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20090416-092107354",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2008.2008331",
    volume = "54"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:DUNng08,
    title = "Regulatory activity revealed by dynamic correlations in gene expression noise",
    journal = "Nature Genetics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:DUNng08",
    id = "record",
    issn = "1061-4036",
    doi = "10.1038/ng.281",
    volume = "40",
    pmcid = "PMC2829635"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:EPSa08,
    title = "Probabilistic performance of state estimation across a lossy network",
    journal = "Automatica",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:EPSa08",
    id = "record",
    issn = "0005-1098",
    doi = "10.1016/j.automatica.2008.05.026",
    volume = "44"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-145008185,
    title = "47th IEEE Conference on Decision and Control",
    chapter = "Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-145008185",
    id = "record",
    isbn = "978-1-4244-3123-6",
    doi = "10.1109/CDC.2008.4738663"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-143454266,
    title = "47th IEEE Conference on Decision and Control",
    chapter = "Design and performance of in vitro transcription rate regulatory circuits",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-143454266",
    id = "record",
    isbn = "978-1-4244-3123-6",
    doi = "10.1109/CDC.2008.4739253"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100726-104209965,
    title = "10th Annual Conference on Control, Automation, Robotics, and Vision, 2008",
    chapter = "Kalman Filtering Over A Packet Dropping Network: A Probabilistic Approach",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100726-104209965",
    id = "record",
    isbn = "978-1-4244-2286-9",
    doi = "10.1109/ICARCV.2008.4795489"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:INAjgcd08,
    title = "Framework for low-observable trajectory generation in presence of multiple radars",
    journal = "Journal of Guidance, Control, and Dynamics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:INAjgcd08",
    id = "record",
    issn = "0731-5090",
    doi = "10.2514/1.35287",
    volume = "31"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-142007113,
    title = "2008 2nd IEEE RAS \& EMBS International Conference on Biomedical Robotics and Biomechatronics",
    chapter = "Dynamics of escaping flight initiations of Drosophila melanogaster",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-142007113",
    id = "record",
    isbn = "978-1-4244-2882-3",
    doi = "10.1109/BIOROB.2008.4762921"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200127-094633815,
    title = "AIAA Guidance, Navigation and Control Conference and Exhibit",
    chapter = "Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200127-094633815",
    id = "record",
    isbn = "978-1-60086-999-0",
    doi = "10.2514/6.2008-7243"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100623-113414565,
    title = "American Control Conference, 2008",
    chapter = "Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100623-113414565",
    id = "record",
    isbn = "978-1-4244-2078-0",
    doi = "10.1109/ACC.2008.4586461"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100512-105503658,
    title = "American Control Conference, 2008",
    chapter = "Design, modeling and synthesis of an in vitro transcription rate regulatory circuit",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100512-105503658",
    id = "record",
    isbn = "978-1-4244-2078-0",
    doi = "10.1109/ACC.2008.4586915"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-145913467,
    title = "2008 American Control Conference",
    chapter = "Convergence properties of dynamic agents consensus networks with broken links",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-145913467",
    id = "record",
    isbn = "978-1-4244-2078-0",
    doi = "10.1109/ACC.2008.4586682"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-145441234,
    title = "2008 American Control Conference",
    chapter = "Nonlinear lateral control strategy for nonholonomic vehicles",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-145441234",
    id = "record",
    isbn = "978-1-4244-2078-0",
    doi = "10.1109/ACC.2008.4586988"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180815-095447771,
    title = "Communication and sensing trade‐offs in cooperative mobile networks",
    journal = "Asian Journal of Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180815-095447771",
    id = "record",
    issn = "1561-8625",
    doi = "10.1002/asjc.16",
    volume = "10"
}


@book{https://resolver.caltech.edu/CaltechBOOK:2008.003,
    title = "Feedback Systems: An Introduction for Scientists and Engineers",
    url = "https://resolver.caltech.edu/CaltechBOOK:2008.003",
    id = "record",
    isbn = "978-0-691-13576-2"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100715-135111003,
    title = "Intelligent vehicle control systems : proceedings of the 2nd International Workshop on Intelligent Vehicle Control Systems, IVCS 2008",
    chapter = "Situational reasoning for road driving in an urban environment",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100715-135111003",
    id = "record",
    isbn = "978-989-8111-34-0"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100826-114646843,
    title = "46th IEEE Conference on Decision and Control",
    chapter = "Estimation Schemes for Networked Control Systems Using UDP-Like Communication",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100826-114646843",
    id = "record",
    isbn = "978-1-4244-1497-0",
    doi = "10.1109/CDC.2007.4434841"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100923-141354531,
    title = "46th IEEE Conference on Decision and Control",
    chapter = "Random consensus protocol in large-scale networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100923-141354531",
    id = "record",
    isbn = "978-1-4244-1497-0",
    doi = "10.1109/CDC.2007.4434765"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20101105-135641397,
    title = "46th IEEE Conference on Decision and Control",
    chapter = "Change Sensor Topology When Needed: How to Efficiently Use System Resources in Control and Estimation Over Wireless Networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101105-135641397",
    id = "record",
    isbn = "978-1-4244-1497-0",
    doi = "10.1109/CDC.2007.4434979"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100820-081349938,
    title = "2007 IEEE/RSJ International Conference on Intelligent Robots and Systems",
    chapter = "Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100820-081349938",
    id = "record",
    isbn = "978-1-4244-0911-2",
    doi = "10.1109/IROS.2007.4399230"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20101105-135833649,
    title = "2007 IEEE International Conference on Control Applications",
    chapter = "Effective Sensor Scheduling Schemes in a Sensor Network by
 Employing Feedback in the Communication Loop",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101105-135833649",
    id = "record",
    isbn = "978-1-4244-0440-7",
    doi = "10.1109/CCA.2007.4389365"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20101015-111038468,
    title = "2007 IEEE International Conference on Control Applications",
    chapter = "Kalman Filtering with Uncertain Process and Measurement Noise
 Covariances with Application to State Estimation in Sensor Networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101015-111038468",
    id = "record",
    isbn = "978-1-4244-0440-7",
    doi = "10.1109/CCA.2007.4389369"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20101019-100253770,
    title = "Recent Research in Cooperative Control of Multivehicle Systems",
    journal = "Journal of Dynamic Systems, Measurement, and Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101019-100253770",
    id = "record",
    issn = "0022-0434",
    doi = "10.1115/1.2766721",
    volume = "129"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:DANacc07,
    title = "American Control Conference (ACC 2007), New York, NY, 11-13 July 2007",
    chapter = "Estimation over Communication Networks: Performance Bounds and Achievability Results",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:DANacc07",
    id = "record",
    isbn = "1-4244-0989-6",
    doi = "10.1109/ACC.2007.4282933"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20101015-111128782,
    title = "American Control Conference 2007",
    chapter = "Frequency-Weighted Model Reduction with Applications to Structured Models",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101015-111128782",
    id = "record",
    isbn = "978-1-4244-0988-4",
    doi = "10.1109/ACC.2007.4282746"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170427-143640907,
    title = "2007 American Control Conference",
    chapter = "Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170427-143640907",
    id = "record",
    isbn = "1-4244-0988-8",
    doi = "10.1109/ACC.2007.4283063"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100827-104901767,
    title = "American Control Conference, 2007. ACC '07",
    chapter = "A Multi-Model Approach to Identification of Biosynthetic Pathways",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100827-104901767",
    id = "record",
    isbn = "1-4244-0988-8",
    doi = "10.1109/ACC.2007.4282720"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100506-100128102,
    title = "American Control Conference, 2007. ACC '07",
    chapter = "Biologically Inspired Feedback Design for Drosophila Flight",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100506-100128102",
    id = "record",
    isbn = "1-4244-0988-8",
    doi = "10.1109/ACC.2007.4282971"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150331-142947811,
    title = "2007 European Control Conference (ECC)",
    chapter = "Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150331-142947811",
    id = "record",
    isbn = "978-3-9524173-8-6",
    doi = "10.23919/ECC.2007.7068661"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170420-134616638,
    title = "2007 American Control Conference",
    chapter = "Analysis of a Digital Clock for Molecular Computing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170420-134616638",
    id = "record",
    isbn = "1-4244-0988-8",
    doi = "10.1109/ACC.2007.4282583"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170426-174355371,
    title = "2007 American Control Conference",
    chapter = "To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170426-174355371",
    id = "record",
    isbn = "1-4244-0988-8",
    doi = "10.1109/ACC.2007.4282593"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:WAYieeetcst07,
    title = "UAV as a Reliable Wingman: A Flight Demonstration",
    journal = "IEEE Transactions on Control Systems Technology",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:WAYieeetcst07",
    id = "record",
    issn = "1063-6536",
    doi = "10.1109/TCST.2007.899172",
    volume = "15"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:MEHieeeacmtn07,
    title = "Asynchronous Distributed Averaging on Communication Networks",
    journal = "IEEE/ACM Transactions on Networking",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:MEHieeeacmtn07",
    id = "record",
    issn = "1063-6692",
    doi = "10.1109/TNET.2007.893226",
    volume = "15"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20150205-075834386,
    title = "Optimal LQG control across packet-dropping links",
    journal = "Systems \& Control Letters",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150205-075834386",
    id = "record",
    issn = "0167-6911",
    doi = "10.1016/j.sysconle.2006.11.003",
    volume = "56"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20200429-082712784,
    title = "AIAA Infotech@Aerospace 2007 Conference and Exhibit",
    chapter = "Verification Procedure for Generalized Goal-based Control Programs",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200429-082712784",
    id = "record",
    isbn = "978-1-62410-017-8",
    doi = "10.2514/6.2007-3010"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170516-165501295,
    title = "Proceedings of the 45th IEEE Conference on Decision and Control",
    chapter = "Distributed Sensing and Estimation Under Communication Constraints",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170516-165501295",
    id = "record",
    isbn = "1-4244-0171-2",
    doi = "10.1109/CDC.2006.376939"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170516-161356985,
    title = "Proceedings of the 45th IEEE Conference on Decision and Control",
    chapter = "On Sensor Coverage by Mobile Sensors",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170516-161356985",
    id = "record",
    isbn = "1-4244-0171-2",
    doi = "10.1109/CDC.2006.377220"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170516-160431062,
    title = "Proceedings of the 45th IEEE Conference on Decision and Control",
    chapter = "On the robustness of distributed algorithms",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170516-160431062",
    id = "record",
    isbn = "1-4244-0171-2",
    doi = "10.1109/CDC.2006.377451"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:GUPacc06,
    title = "American Control Conference (ACC 2006), Minneapolis, MN, 14-16 June 2006",
    chapter = "On the effect of quantization on performance at high rates",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:GUPacc06",
    id = "record",
    isbn = "1-4244-0210-7",
    doi = "10.1109/ACC.2006.1656407"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110209-135047997,
    title = "Proceedings 2006 IEEE International Conference on Robotics and Automation",
    chapter = "Model-based estimation of off-highway road geometry using single-axis LADAR and inertial sensing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110209-135047997",
    id = "record",
    isbn = "0-7803-9505-0",
    doi = "10.1109/ROBOT.2006.1641945"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110203-083444872,
    title = "Proceedings 2006 IEEE International Conference on Robotics and Automation",
    chapter = "A decentralized motion coordination strategy for dynamic target tracking",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110203-083444872",
    id = "record",
    isbn = "0-7803-9505-0",
    doi = "10.1109/ROBOT.2006.1642064"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20110426-130530739,
    title = "On a stochastic sensor selection algorithm with applications in sensor scheduling and sensor coverage",
    journal = "Automatica",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110426-130530739",
    id = "record",
    issn = "0005-1098",
    doi = "10.1016/j.automatica.2005.09.016",
    volume = "42"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:ROWjfm06,
    title = "Linear models for control of cavity flow oscillations",
    journal = "Journal of Fluid Mechanics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:ROWjfm06",
    id = "record",
    issn = "0022-1120",
    doi = "10.1017/S0022112005007299",
    volume = "547"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110203-112414637,
    title = "Proceedings of the 45th IEEE Conference on Decision and Control",
    chapter = "An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110203-112414637",
    id = "record",
    isbn = "978-1-4244-0170-3",
    doi = "10.1109/CDC.2006.377481"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110707-134914811,
    title = "Networked Embedded Sensing and Control",
    chapter = "Distributed Control over Failing Channels",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110707-134914811",
    id = "record",
    isbn = "3-540-32794-0",
    doi = "10.1007/11533382\_22"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110225-084451186,
    title = "Proceedings of the 45th IEEE Conference on Decision and Control",
    chapter = "Multi-Hop Relay Protocols for Fast Consensus Seeking",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110225-084451186",
    id = "record",
    isbn = "1-4244-0171-2",
    doi = "10.1109/CDC.2006.377298"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110615-112206500,
    title = "Proceedings of the 45th IEEE Conference on Decision and Control",
    chapter = "The Effect of Sensor Health on State Estimation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110615-112206500",
    id = "record",
    isbn = "978-1-4244-0170-3",
    doi = "10.1109/CDC.2006.377482"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110803-093845327,
    title = "2006 American Control Conference",
    chapter = "Towards a Packet-based Control Theory - Part II: Rate Issues",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110803-093845327",
    id = "record",
    isbn = "1-4244-0209-3",
    doi = "10.1109/ACC.2006.1657257"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110720-075738157,
    title = "Proceedings of the 2006 American Control Conference",
    chapter = "Optimum Allocation of Computing Resources in
 Networked Sensing and Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110720-075738157",
    id = "record",
    isbn = "1-4244-0209-3",
    doi = "10.1109/ACC.2006.1657261"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110720-090204055,
    title = "Proceedings of the 2006 American Control Conference",
    chapter = "Networked control systems with norm bounded uncertainties: a stability analysis",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110720-090204055",
    id = "record",
    isbn = "1-4244-0209-3",
    doi = "10.1109/ACC.2006.1656645"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110629-092232291,
    title = "Proceedings of the 2006 American Control Conference",
    chapter = "Dynamic Sensor Coverage with Uncertainty Feedback : Analysis Using Iterated Maps",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110629-092232291",
    id = "record",
    isbn = "1-4244-0209-3",
    doi = "10.1109/ACC.2006.1657671"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110818-111717130,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "State estimation utilizing multiple description coding over lossy networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110818-111717130",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1582267"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-155010781,
    title = "44th IEEE Conference on Decision and Control",
    chapter = "A Control-Oriented Analysis of Bio-inspired Visuomotor Convergence",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-155010781",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1582162"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110817-110410615,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "On Sensor Fusion in the Presence of Packet-dropping Communication Channels",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110817-110410615",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1582712"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110822-085321885,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "Receiver Design Principles for Estimation over Fading Channels",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110822-085321885",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1582199"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170517-164222886,
    title = "Proceedings of the 44th IEEE Conference on Decision and Control",
    chapter = "Distributed Averaging on Asynchronous Communication Networks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170517-164222886",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1583363"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110825-140024412,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "Estimation with Information Loss: Asymptotic Analysis and Error Bounds",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110825-140024412",
    id = "record",
    isbn = "0-7803-9567-0",
    doi = "10.1109/CDC.2005.1582324"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20130703-133331635,
    title = "2005 Systems Communications, Proceedings",
    chapter = "Estimation of linear stochastic systems over a queueing network",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130703-133331635",
    id = "record",
    isbn = "0-7695-2422-2",
    doi = "10.1109/ICW.2005.46"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170725-103031239,
    title = "Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems",
    journal = "IFAC Proceedings Volumes",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170725-103031239",
    id = "record",
    issn = "1474-6670",
    doi = "10.3182/20050703-6-CZ-1902.00335",
    volume = "38"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170725-151737146,
    title = "Sensorimotor convergence in visual navigation and flight control systems",
    journal = "IFAC Proceedings Volumes",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170725-151737146",
    id = "record",
    issn = "1474-6670",
    doi = "10.3182/20050703-6-CZ-1902.02003",
    volume = "38"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150210-072226646,
    title = "Proceedings of the 2005 American Control Conference",
    chapter = "On LQG control across a stochastic packet-dropping link",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150210-072226646",
    id = "record",
    isbn = "0-7803-9098-9",
    doi = "10.1109/ACC.2005.1469960"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170408-172516757,
    title = "Receding horizon control of vectored thrust flight experiment",
    journal = "IEE Proceedings - Control Theory and Applications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170408-172516757",
    id = "record",
    issn = "1350-2379",
    doi = "10.1049/ip-cta:20059031",
    volume = "152"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:SPAipsn05,
    title = "Fourth International Symposium on Information Processing in Sensor Networks, 2005 (IPSN 2005)",
    chapter = "Approximate distributed Kalman filtering in sensor networks with quantifiable performance",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:SPAipsn05",
    id = "record",
    isbn = "0-7803-9201-9",
    doi = "10.1109/IPSN.2005.1440912"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150211-072421791,
    title = "2004 IEEE International Conference on Robotics and Automation, Proceedings. ICRA '04",
    chapter = "Scheduling for Distributed Sensor Networks with Single Sensor Measurement per Time Step",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150211-072421791",
    id = "record",
    isbn = "0-7803-8232-3",
    doi = "10.1109/ROBOT.2004.1307149"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110811-104030081,
    title = "Proceedings of the 2005 IEEE International Conference on Robotics and Automation",
    chapter = "An Experimental Platform for Motion Estimation and
 Maneuver Characterization in High Speed Off-Road Driving",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110811-104030081",
    id = "record",
    isbn = "0-7803-8914-X",
    doi = "10.1109/ROBOT.2005.1570585"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161201-132855346,
    title = "IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005",
    chapter = "Communication and sensing trade-offs in decentralized mobile sensor networks: a cross-layer design approach",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161201-132855346",
    id = "record",
    isbn = "0-7803-9201-9",
    doi = "10.1109/IPSN.2005.1440910"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170725-125802135,
    title = "Hybrid Systems: Computation and Control",
    chapter = "Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170725-125802135",
    id = "record",
    isbn = "978-3-540-25108-8",
    doi = "10.1007/978-3-540-31954-2\_15"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190627-094444006,
    title = "43rd IEEE Conference on Decision and Control",
    chapter = "On a decentralized active sensing strategy using mobile sensor platforms in a network",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190627-094444006",
    id = "record",
    isbn = "0-7803-8682-5",
    doi = "10.1109/CDC.2004.1430327"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:MURieeecsm04,
    title = "A new approach to teaching feedback",
    journal = "IEEE Control Systems Magazine",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:MURieeecsm04",
    id = "record",
    issn = "0272-1708",
    doi = "10.1109/MCS.2004.1337856",
    volume = "24"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:FAXieeetac04,
    title = "Information flow and cooperative control of vehicle formations",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:FAXieeetac04",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2004.834433",
    volume = "49"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:OLFieeetac04,
    title = "Consensus problems in networks of agents with switching topology and time-delays",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:OLFieeetac04",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2004.834113",
    volume = "49"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:2004.007,
    title = "Optimal LQG Control Across a Packet-Dropping Link",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2004.006",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:GALprb04,
    title = "Effective transition rates for epitaxial growth using fast modulation",
    journal = "Physical Review B",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:GALprb04",
    id = "record",
    issn = "1098-0121",
    doi = "10.1103/PhysRevB.70.045409",
    volume = "70"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-120335030,
    title = "Proceedings of the 2004 American Control Conference",
    chapter = "Vision as a compensatory mechanism for disturbance rejection in upwind flight",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-120335030",
    id = "record",
    isbn = "0780383354",
    doi = "10.23919/acc.2004.1383623"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150211-070629438,
    title = "Proceedings of the 2004 American Control Conference",
    chapter = "On the synthesis of control laws for a network of autonomous agents",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150211-070629438",
    id = "record",
    isbn = "0-7803-8335-4"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150211-071543730,
    title = "IEEE International Conference on Acoustics, Speech, and Signal Processing, 2004. Proceedings. (ICASSP '04)",
    chapter = "Sensor scheduling algorithms requiring limited computation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150211-071543730",
    id = "record",
    isbn = "0-7803-8484-9",
    doi = "10.1109/ICASSP.2004.1326672"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190214-075224908,
    title = "Model reduction for compressible flows using POD and Galerkin projection",
    journal = "Physica D",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190214-075224908",
    id = "record",
    issn = "0167-2789",
    doi = "10.1016/j.physd.2003.03.001",
    volume = "189"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190826-124740570,
    title = "Hybrid Systems: Computation and Control",
    chapter = "Discrete State Estimators for a Class of Hybrid Systems on a Lattice",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190826-124740570",
    id = "record",
    isbn = "9783540212591",
    doi = "10.1007/978-3-540-24743-2\_21"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20140730-101719175,
    title = "Decomposition of human motion into dynamics-based primitives with application to drawing tasks",
    journal = "Automatica",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140730-101719175",
    id = "record",
    issn = "0005-1098",
    doi = "10.1016/S0005-1098(03)00250-4",
    volume = "39"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150513-074656184,
    title = "European Control Conference (ECC 2003)",
    chapter = "Classification of human actions into dynamics based primitives with application to drawing tasks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150513-074656184",
    id = "record",
    isbn = "978-3-9524173-7-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150513-085011394,
    title = "2003 European Control Conference",
    chapter = "Nonlinear and cooperative control of multiple hovercraft with input constraints",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150513-085011394",
    id = "record",
    isbn = "978-3-9524173-7-9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20111018-134102626,
    title = "Proceedings of the 2003 American Control Conference",
    chapter = "Segmentation of human motion into dynamics based primitives with application to drawing tasks",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20111018-134102626",
    id = "record",
    isbn = "0780378962",
    doi = "10.1109/ACC.2003.1239860"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170522-153018041,
    title = "Proceedings of the 2003 American Control Conference, 2003",
    chapter = "Consensus protocols for networks of dynamic agents",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170522-153018041",
    id = "record",
    isbn = "0-7803-7896-2",
    doi = "10.1109/ACC.2003.1239709"
}


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


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


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150211-075328058,
    title = "Proceedings of the 2003 American Control Conference, 2003.",
    chapter = "On the control of jump linear Markov systems with Markov state estimation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150211-075328058",
    id = "record",
    isbn = "0-7803-7896-2",
    doi = "10.1109/ACC.2003.1243762"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150211-070320141,
    title = "42nd IEEE Conference on Decision and Control, 2003. Proceedings.",
    chapter = "Stability analysis of stochastically varying formations of dynamic agents",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150211-070320141",
    id = "record",
    isbn = "0-7803-7924-1",
    doi = "10.1109/CDC.2003.1272613"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:OLFcdc02b,
    title = "Proceedings of the 41st IEEE Conference on Decision and Control, December 10-13, 2002, Las Vegas, Nevada, USA",
    chapter = "Graph rigidity and distributed formation stabilization of multi-vehicle systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:OLFcdc02b",
    id = "record",
    isbn = "0-7803-7516-5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:OLFcdc02a,
    title = "Proceedings of the 41st IEEE Conference on Decision and Control, December 10-13, 2002, Las Vegas, Nevada, USA",
    chapter = "Distributed structural stabilization and tracking for formations of dynamic multi-agents",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:OLFcdc02a",
    id = "record",
    isbn = "0-7803-7516-5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190214-123721078,
    title = "Proceedings of the 41st IEEE Conference on Decision and Control",
    chapter = "On the choice of norm for modeling compressible flow dynamics at reduced-order using the POD",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190214-123721078",
    id = "record",
    isbn = "0-7803-7516-5",
    doi = "10.1109/CDC.2002.1184376"
}


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


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190709-092100972,
    title = "Model-based control of cavity oscillations. II - System identification and analysis",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190709-092100972",
    id = "record",
    doi = "10.2514/6.2002-972"
}


@book{https://resolver.caltech.edu/CaltechBOOK:2002.001,
    title = "Control in an Information Rich World: Report of the Panel on Future Directions in Control, Dynamics, and Systems",
    url = "https://resolver.caltech.edu/CaltechBOOK:2002.001",
    id = "record",
    isbn = "0898715288"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160930-145845741,
    chapter = "Primitives for Human Motion: A Dynamical Approach",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160930-145845741",
    id = "record",
    doi = "10.3182/20020721-6-ES-1901.01313"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190718-165126408,
    title = "Model-based control of cavity oscillations. I - Experiments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190718-165126408",
    id = "record",
    doi = "10.2514/6.2002-971"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170824-092713962,
    title = "Distributed cooperative control of multiple vehicle formations using structural potential functions",
    journal = "IFAC Proceedings Volumes",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170824-092713962",
    id = "record",
    issn = "1474-6670",
    doi = "10.3182/20020721-6-ES-1901.00244",
    volume = "35"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170814-124254157,
    title = "Information flow and cooperative control of vehicle formations",
    journal = "IFAC Proceedings Volumes",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170814-124254157",
    id = "record",
    issn = "1474-6670",
    doi = "10.3182/20020721-6-ES-1901.00100",
    volume = "35"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190726-104731145,
    title = "Dynamical models for control of cavity oscillations",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190726-104731145",
    id = "record",
    doi = "10.2514/6.2001-2126"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20111109-145851328,
    title = "2001 IEEE International Conference on Robotics and Automation",
    chapter = "Nonlinear control methods for planar carangiform robot fish locomotion",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20111109-145851328",
    id = "record",
    isbn = "0-7803-6576-3",
    doi = "10.1109/ROBOT.2001.932588"
}


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20101008-094957238,
    title = "Proceedings of AIAA Guidance, Navigation, and Control Conference, 2001",
    chapter = "J\_2 Dynamics and Formation Flight",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101008-094957238",
    id = "record",
    isbn = "9781563474835"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20190726-104731320,
    title = "POD Based Models of Self-Sustained Oscillations in the Flow Past an Open Cavity",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190726-104731320",
    id = "record",
    doi = "10.2514/6.2000-1969"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:LEWsiamr99,
    title = "Configuration Controllability of Simple Mechanical Control Systems",
    journal = "SIAM Review",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:LEWsiamr99",
    id = "record",
    issn = "0036-1445",
    doi = "10.1137/S0036144599351065",
    volume = "41"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:GLAcdc98,
    title = "IEEE Conference on Decision and Control, 37th (CDC 1998), Tampa, FL, 16-18 December 1998",
    chapter = "Model reduction, centering, and the Karhunen-Loeve expansion",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:GLAcdc98",
    id = "record",
    isbn = "0-7803-4394-8",
    doi = "10.1109/CDC.1998.758639"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:KELacc98,
    title = "Proceedings of the 1998 American Control Conference, 21-26 June 1998, Philadelphia PA",
    chapter = "Modelling and experimental investigation of carangiform locomotion for control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:KELacc98",
    id = "record",
    isbn = "0-7803-4530-4",
    doi = "10.1109/ACC.1998.703619"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1998.CIT-CDS-98-009,
    title = "Discrete Function Approximation: Numerical Tools for Nonlinear Control",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1997.014",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:MCLieeetac97,
    title = "Exponential stabilization of driftless nonlinear control systems using homogeneous feedback",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:MCLieeetac97",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/9.580865",
    volume = "42"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:LEWsiamjco97,
    title = "Configuration Controllability of Simple Mechanical Control Systems",
    journal = "SIAM Journal on Control and Optimization",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:LEWsiamjco97",
    id = "record",
    issn = "0363-0129",
    doi = "10.1137/S0363012995287155",
    volume = "35"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-96-017,
    title = "Real Time Trajectory Generation for Differentially Flat Systems",
    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",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1997.CIT-CDS-97-003",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20100713-091226984,
    title = "Nonholonomic Mechanical Systems with Symmetry",
    journal = "Archive for Rational Mechanics and Analysis",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100713-091226984",
    id = "record",
    issn = "0003-9527",
    doi = "10.1007/BF02199365",
    volume = "136"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200310-145803556,
    title = "Robust Nonlinear Control Theory with Applications to Aerospace Vehicles",
    journal = "IFAC Proceedings Volumes",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200310-145803556",
    id = "record",
    issn = "1474-6670",
    doi = "10.1016/s1474-6670(17)58916-8",
    volume = "29"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-006,
    title = "Configuration Flatness of Lagrangian Systems Underactuated by One Control",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-015",
    id = "record"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-007,
    title = "Decomposition for Control Systems on Manifolds with an Affine Connection",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-96-007",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1996.CIT-CDS-95-029",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359062,
    title = "Proceedings of 1995 34th IEEE Conference on Decision and Control",
    chapter = "Robust performance analysis for a class of uncertain nonlinear systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359062",
    id = "record",
    isbn = "0780326857",
    doi = "10.1109/cdc.1995.480382"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142358983,
    title = "Proceedings of 1995 34th IEEE Conference on Decision and Control",
    chapter = "Approximate trajectory generation for differentially flat systems with zero dynamics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142358983",
    id = "record",
    isbn = "0780326857",
    doi = "10.1109/cdc.1995.478902"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142358906,
    title = "Proceedings of 1995 34th IEEE Conference on Decision and Control",
    chapter = "Configuration controllability for a class of mechanical systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142358906",
    id = "record",
    isbn = "0780326857",
    doi = "10.1109/cdc.1995.478914"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142358825,
    title = "Proceedings of 1995 34th IEEE Conference on Decision and Control",
    chapter = "Control of rotating stall in a low-speed axial flow compressor using pulsed air injection: modeling, simulations, and experimental validation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142358825",
    id = "record",
    isbn = "0780326857",
    doi = "10.1109/cdc.1995.478613"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359300,
    title = "Proceedings of 1995 American Control Conference - ACC'95",
    chapter = "An efficient algorithm for performance analysis of nonlinear control systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359300",
    id = "record",
    isbn = "0780324455",
    doi = "10.1109/acc.1995.532342"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359220,
    title = "Proceedings of 1995 American Control Conference - ACC'95",
    chapter = "An experimental comparison of controllers for a vectored thrust, ducted fan engine",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359220",
    id = "record",
    isbn = "0780324455",
    doi = "10.1109/acc.1995.531229"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359139,
    title = "Proceedings of 1995 IEEE International Conference on Robotics and Automation",
    chapter = "The mechanics of undulatory locomotion: the mixed kinematic and dynamic case",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359139",
    id = "record",
    isbn = "0780319656",
    doi = "10.1109/robot.1995.525549"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:TILieeetac95,
    title = "Trajectory generation for the N-trailer problem using Goursat normal form",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:TILieeetac95",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/9.384215",
    volume = "40"
}


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


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


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


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


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


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


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190319-091908577,
    title = "Proceedings of 1994 33rd IEEE Conference on Decision and Control",
    chapter = "Differential flatness and absolute equivalence",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190319-091908577",
    id = "record",
    isbn = "0-7803-1968-0",
    doi = "10.1109/CDC.1994.410908"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-130817404,
    chapter = "Exponential stabilization of driftless nonlinear control systems via time-varying, homogeneous feedback",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-130817404",
    id = "record",
    doi = "10.1109/CDC.1994.411139"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190318-150352226,
    title = "A motion planner for nonholonomic mobile robots",
    journal = "IEEE Transactions on Robotics and Automation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-150352226",
    id = "record",
    issn = "1042-296X",
    doi = "10.1109/70.326564",
    volume = "10"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-140628400,
    title = "Proceedings of 1994 American Control Conference",
    chapter = "Design and construction of a small ducted fan engine for nonlinear control experiments",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-140628400",
    id = "record",
    isbn = "0-7803-1783-1",
    doi = "10.1109/ACC.1994.735033"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-093858769,
    title = "Proceedings of 1994 American Control Conference (ACC '94)",
    chapter = "Experiments in exponential stabilization of a mobile robot towing a trailer",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-093858769",
    id = "record",
    isbn = "0-7803-1783-1",
    doi = "10.1109/ACC.1994.751893"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-142601604,
    title = "Proceedings of the 1994 IEEE International Conference on Robotics and Automation",
    chapter = "Nonholonomic mechanics and locomotion: the snakeboard example",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142601604",
    id = "record",
    isbn = "0-8186-5330-2",
    doi = "10.1109/ROBOT.1994.351153"
}


@other{https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-016,
    title = "Variational Principles for Constrained Systems: Theory and Experiment",
    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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1994.CIT-CDS-94-014",
    id = "record"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:WALieeetac94,
    title = "Stabilization of trajectories for systems with nonholonomic constraints",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:WALieeetac94",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/9.273373",
    volume = "39"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-140045299,
    title = "32nd IEEE Conference on Decision and Control",
    chapter = "Trajectory generation for the N-trailer problem using Goursat normal form",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-140045299",
    id = "record",
    isbn = "0-7803-1298-8",
    doi = "10.1109/CDC.1993.325330"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-100713740,
    title = "Proceedings of 32nd IEEE Conference on Decision and Control",
    chapter = "Applications and extensions of Goursat normal form to control of nonlinear systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-100713740",
    id = "record",
    isbn = "0-7803-1298-8",
    doi = "10.1109/CDC.1993.325849"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-160152940,
    title = "Proceedings of 32nd IEEE Conference on Decision and Control",
    chapter = "Nonholonomic systems and exponential convergence: some analysis tools",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-160152940",
    id = "record",
    isbn = "0-7803-1298-8",
    doi = "10.1109/CDC.1993.325324"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-123339977,
    title = "1993 American Control Conference",
    chapter = "Convergence Rates for Nonholonomic Systems in Power Form",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-123339977",
    id = "record",
    isbn = "0-7803-0860-3",
    doi = "10.23919/ACC.1993.4793446"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:MURieeetac93,
    title = "Nonholonomic motion planning: steering using sinusoids",
    journal = "IEEE Transactions on Automatic Control",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:MURieeetac93",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/9.277235",
    volume = "38"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190320-134725249,
    title = "Proceedings of the 31st IEEE Conference on Decision and Control",
    chapter = "Nonholonomic control systems: from steering to stabilization with sinusoids",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190320-134725249",
    id = "record",
    isbn = "0-7803-0872-7",
    doi = "10.1109/CDC.1992.371456"
}


@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",
    url = "https://resolver.caltech.edu/CaltechCDSTR:1992.002",
    id = "record"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190319-101351233,
    title = "Proceedings 1992 IEEE International Conference on Robotics and Automation",
    chapter = "Stabilization of trajectories for systems with nonholonomic constraints",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190319-101351233",
    id = "record",
    isbn = "0-8186-2720-4",
    doi = "10.1109/ROBOT.1992.219987"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-145135101,
    title = "Proceedings 1992 IEEE International Conference on Robotics and Automation",
    chapter = "Steering car-like systems with trailers using sinusoids",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-145135101",
    id = "record",
    isbn = "0-8186-2720-4",
    doi = "10.1109/ROBOT.1992.219988"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-132947215,
    title = "1992 IEEE International Conference on Robotics and Automation",
    chapter = "An experimental study of hierarchical control laws for grasping and manipulation using a two-fingered planar hand",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-132947215",
    id = "record",
    isbn = "0-8186-2720-4",
    doi = "10.1109/ROBOT.1992.220015"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190319-105627176,
    title = "Proceedings of the 30th IEEE Conference on Decision and Control",
    chapter = "Steering nonholonomic systems in chained form",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190319-105627176",
    id = "record",
    isbn = "0-7803-0450-0",
    doi = "10.1109/CDC.1991.261508"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190319-081854942,
    chapter = "Steering nonholonomic systems using sinusoids",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190319-081854942",
    id = "record",
    doi = "10.1109/CDC.1990.203994"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190319-104216033,
    chapter = "Nonlinear controllers for non-integrable systems: the Acrobot example",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190319-104216033",
    id = "record",
    doi = "10.23919/ACC.1990.4790817"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-135736981,
    title = "Proceedings 1990 IEEE International Conference on Robotics and Automation",
    chapter = "Control primitives for robot systems",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-135736981",
    id = "record",
    isbn = "0-8186-9061-5",
    doi = "10.1109/ROBOT.1990.126280"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190315-135551524,
    title = "1989 International Conference on Robotics and Automation",
    chapter = "Control experiments in planar manipulation and grasping",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-135551524",
    id = "record",
    isbn = "0-8186-1938-4",
    doi = "10.1109/ROBOT.1989.100054"
}