@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",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220715-744315000",
    id = "record",
    isbn = "9783031067723",
    doi = "10.1007/978-3-031-06773-0\_7"
}


@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",
    year = "2021",
    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:20210511-085123358,
    title = "2021 60th IEEE Conference on Decision and Control (CDC)",
    chapter = "Time-Optimal Navigation in Uncertain Environments with High-Level Specifications",
    year = "2021",
    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-721863000,
    title = "2021 60th IEEE Conference on Decision and Control (CDC)",
    chapter = "Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220210-721863000",
    id = "record",
    isbn = "978-1-6654-3659-5",
    doi = "10.1109/cdc45484.2021.9683611"
}


@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",
    year = "2021",
    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",
    year = "2021",
    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",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210511-085543440",
    id = "record",
    isbn = "978-1-7281-9077-8",
    doi = "10.1109/ICRA48506.2021.9561843"
}


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


@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",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201111-093413972",
    id = "record",
    isbn = "978-1-6654-4197-1",
    doi = "10.23919/ACC50511.2021.9482836"
}


@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",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200527-124225030",
    id = "record",
    isbn = "9781728174471",
    doi = "10.1109/CDC42340.2020.9303776"
}


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


@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",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200108-154918519",
    id = "record",
    isbn = "9781538682661",
    doi = "10.23919/ACC45564.2020.9147400"
}


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


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


@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",
    year = "2019",
    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",
    year = "2019",
    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"
}


@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",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190905-152940342",
    id = "record",
    isbn = "978-1-5386-7926-5"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190905-153443641,
    title = "2019 American Control Conference (ACC)",
    chapter = "Transforming Data Across Environments Despite Structural Non-Identifiability",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190905-153443641",
    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",
    year = "2019",
    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",
    year = "2019",
    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:20190822-160825121,
    title = "2019 18th European Control Conference (ECC)",
    chapter = "Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190822-160825121",
    id = "record",
    isbn = "978-3-907144-00-8",
    doi = "10.23919/ECC.2019.8795764"
}


@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",
    year = "2019",
    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:20191003-134611922,
    title = "Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence",
    chapter = "Inverse Abstraction of Neural Networks Using Symbolic Interpolation",
    year = "2019",
    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:20190201-143228935,
    title = "2018 IEEE Conference on Decision and Control (CDC)",
    chapter = "Voluntary lane-change policy synthesis with control improvisation",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190201-143228935",
    id = "record",
    isbn = "9781538613955",
    doi = "10.1109/cdc.2018.8619616"
}


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


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


@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",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170920-152025463",
    id = "record",
    isbn = "978-1-5090-2873-3",
    doi = "10.1109/CDC.2017.8263775"
}


@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",
    year = "2017",
    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:20180119-083614257,
    title = "2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)",
    chapter = "Synthesis of correct-by-construction behavior trees",
    year = "2017",
    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",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170523-230106516",
    id = "record",
    isbn = "978-0-9992411-0-3",
    doi = "10.24963/ijcai.2017/83"
}


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


@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",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170705-152213138",
    id = "record",
    isbn = "978-1-5090-5992-8",
    doi = "10.23919/ACC.2017.7963600"
}


@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",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170303-084805424",
    id = "record",
    isbn = "978-1-4503-4965-9",
    doi = "10.1145/3055004.3055014"
}


@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",
    year = "2016",
    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-134705561,
    title = "55th Conference on Decision and Control (CDC), 2016",
    chapter = "Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints",
    year = "2016",
    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",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170111-150031011",
    id = "record",
    isbn = "978-1-5090-1837-6",
    doi = "10.1109/CDC.2016.7798766"
}


@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",
    year = "2016",
    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:20190822-090943975,
    title = "AIAA SPACE 2016",
    chapter = "Towards Architecture-wide Analysis, Verification, and Validation for Total System Stability During Goal-Seeking Space Robotics Operations",
    year = "2016",
    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:20190822-074943945,
    title = "AIAA SPACE 2016",
    chapter = "Risk-aware Planning in Hybrid Domains: An Application to Autonomous Planetary Rovers",
    year = "2016",
    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-084034717,
    title = "AIAA SPACE 2016",
    chapter = "Resilient Spacecraft Executive: An Architecture for Risk-Aware Operations in Uncertain Environments",
    year = "2016",
    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:20161020-140012994,
    title = "2016 IEEE Conference on Control Applications (CCA)",
    chapter = "Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994",
    id = "record",
    isbn = "978-1-5090-0755-4",
    doi = "10.1109/CCA.2016.7587949"
}


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


@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",
    year = "2016",
    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",
    year = "2016",
    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:20161116-150409481,
    title = "Robotics Research",
    chapter = "Optimal Control of Nonlinear Systems with Temporal Logic Specifications",
    year = "2016",
    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"
}


@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",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160404-092715239",
    id = "record",
    isbn = "978-1-62410-334-6",
    doi = "10.2514/6.2015-4527"
}


@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",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160725-112209526",
    id = "record",
    doi = "10.1109/AERO.2016.7500557"
}


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


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


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


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150915-083424809,
    title = "34th Chinese Control Conference (CCC)",
    chapter = "Multi-dimensional state estimation in adversarial environment",
    year = "2015",
    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",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160318-094020866",
    id = "record",
    isbn = "978-1-4799-8685-9",
    doi = "10.1109/ACC.2015.7171013"
}


@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",
    year = "2015",
    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",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161128-165454738",
    id = "record",
    isbn = "978-1-4503-3433-4",
    doi = "10.1145/2728606.2728635"
}


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


@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",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140424-145318619",
    id = "record",
    isbn = "978-1-4799-7746-8",
    doi = "10.1109/CDC.2014.7040112"
}


@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",
    year = "2014",
    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: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",
    year = "2014",
    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: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",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150402-125326775",
    id = "record",
    isbn = "978-1-4799-6934-0",
    doi = "10.1109/IROS.2014.6942750"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150320-093857002,
    title = "2014 American Control Conference",
    chapter = "Collaborative System Identification via Parameter Consensus",
    year = "2014",
    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",
    year = "2014",
    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",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150320-085455694",
    id = "record",
    isbn = "978-1-4799-3272-6",
    doi = "10.1109/ACC.2014.6859470"
}


@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",
    year = "2013",
    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",
    year = "2013",
    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",
    year = "2013",
    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",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190403-103445318",
    id = "record",
    isbn = "978-1-4799-1443-2",
    doi = "10.1109/EMSOFT.2013.6658602"
}


@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",
    year = "2013",
    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",
    year = "2013",
    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/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",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechCDSTR:2012.002",
    id = "record",
    isbn = "978-1-4799-0177-7"
}


@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",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131219-095517199",
    id = "record",
    isbn = "978-1-4799-0177-7",
    doi = "10.1109/ACC.2013.6580175"
}


@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",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20131219-094019593",
    id = "record",
    isbn = "978-1-4799-0177-7"
}


@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",
    year = "2013",
    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-105809953,
    title = "2013 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Just-in-time synthesis for reactive motion planning with temporal logic",
    year = "2013",
    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-094726571,
    title = "2013 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Efficient reactive controller synthesis for a fragment of linear temporal logic",
    year = "2013",
    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",
    year = "2013",
    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",
    year = "2013",
    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",
    year = "2013",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130719-105708428",
    id = "record",
    isbn = "978-1-4503-1567-8",
    doi = "10.1145/2461328.2461344"
}


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


@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",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170201-163148693",
    id = "record",
    isbn = "978-1-4673-2066-5",
    doi = "10.1109/CDC.2012.6425981"
}


@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",
    year = "2012",
    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",
    year = "2012",
    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:20121009-105532954,
    title = "2012 American Control Conference (ACC)",
    chapter = "Switching protocol synthesis for temporal logic specifications",
    year = "2012",
    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",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247070",
    id = "record",
    isbn = "9781457710964",
    doi = "10.1109/acc.2012.6315298"
}


@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",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247242",
    id = "record",
    isbn = "9781457710964",
    doi = "10.1109/acc.2012.6315141"
}


@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",
    year = "2012",
    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:20120703-084401806,
    title = "2012 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Backtracking temporal logic synthesis for uncertain environments",
    year = "2012",
    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",
    year = "2012",
    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-110333250,
    title = "2012 IEEE International Conference on Robotics and Automation (ICRA)",
    chapter = "Learning diffeomorphism models of robotic sensorimotor cascades",
    year = "2012",
    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: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",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120620-095640251",
    id = "record",
    isbn = "978-1-4503-1220-2",
    doi = "10.1145/2185632.2185648"
}


@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",
    year = "2011",
    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",
    year = "2011",
    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",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247494",
    id = "record",
    isbn = "9781457714702",
    doi = "10.1109/biocas.2011.6107798"
}


@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",
    year = "2011",
    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:20120406-141618413,
    title = "2011 IEEE/RSJ International Conference on Intelligent Robots and Systems",
    chapter = "Containment indicator function construction via numerical conformal mapping",
    year = "2011",
    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:20120330-135848739,
    title = "2011 IEEE International Conference on Development and Learning",
    chapter = "Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents",
    year = "2011",
    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",
    year = "2011",
    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",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247658",
    id = "record",
    isbn = "9781612843865",
    doi = "10.1109/icra.2011.5979844"
}


@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",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120522-084524685",
    id = "record",
    isbn = "978-1-4503-0629-4",
    doi = "10.1145/1967701.1967747"
}


@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",
    year = "2011",
    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",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190930-110459012",
    id = "record",
    isbn = "9781600869440",
    doi = "10.2514/6.2011-1506"
}


@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",
    year = "2010",
    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",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141247830",
    id = "record",
    isbn = "9781424477456",
    doi = "10.1109/cdc.2010.5718111"
}


@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",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141248010",
    id = "record",
    isbn = "9781424466740",
    doi = "10.1109/iros.2010.5652857"
}


@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",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-102831203",
    id = "record",
    isbn = "978-1-4244-7426-4",
    doi = "10.1109/ACC.2010.5530846"
}


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


@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",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190326-141248096",
    id = "record",
    isbn = "9781424474271",
    doi = "10.1109/acc.2010.5530753"
}


@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",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161213-153527627",
    id = "record",
    isbn = "978-1-4503-0002-5",
    doi = "10.1145/1837274.1837330"
}


@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",
    year = "2010",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100701-112021323",
    id = "record",
    isbn = "978-1-60558-955-8"
}


@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",
    year = "2009",
    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-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",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-111541230",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5399499"
}


@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",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-104610564",
    id = "record",
    isbn = "978-1-4244-3871-6",
    doi = "10.1109/CDC.2009.5400309"
}


@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",
    year = "2009",
    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-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",
    year = "2009",
    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",
    year = "2009",
    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:20100507-094244165,
    title = "American Control Conference, 2009",
    chapter = "On quantized consensus by means of gossip algorithm - Part I: Convergence proof",
    year = "2009",
    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:20100507-133036019,
    title = "American Control Conference, 2009",
    chapter = "Real-valued average consensus over noisy quantized channels",
    year = "2009",
    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",
    year = "2009",
    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:20190322-135204769,
    title = "2009 IEEE International Conference on Robotics and Automation",
    chapter = "A real-time helicopter testbed for insect-inspired visual flight control",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-135204769",
    id = "record",
    isbn = "978-1-4244-2788-8",
    doi = "10.1109/ROBOT.2009.5152667"
}


@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",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100726-104209965",
    id = "record",
    isbn = "978-1-4244-2286-9",
    doi = "10.1109/ICARCV.2008.4795489"
}


@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",
    year = "2008",
    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: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",
    year = "2008",
    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-142007113,
    title = "2008 2nd IEEE RAS \& EMBS International Conference on Biomedical Robotics and Biomechatronics",
    chapter = "Dynamics of escaping flight initiations of Drosophila melanogaster",
    year = "2008",
    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",
    year = "2008",
    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:20100512-105503658,
    title = "American Control Conference, 2008",
    chapter = "Design, modeling and synthesis of an in vitro transcription rate regulatory circuit",
    year = "2008",
    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:20100623-113414565,
    title = "American Control Conference, 2008",
    chapter = "Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty",
    year = "2008",
    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:20190322-145441234,
    title = "2008 American Control Conference",
    chapter = "Nonlinear lateral control strategy for nonholonomic vehicles",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190322-145441234",
    id = "record",
    isbn = "978-1-4244-2078-0",
    doi = "10.1109/ACC.2008.4586988"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190322-145913467,
    title = "2008 American Control Conference",
    chapter = "Convergence properties of dynamic agents consensus networks with broken links",
    year = "2008",
    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: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",
    year = "2008",
    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",
    year = "2007",
    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: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",
    year = "2007",
    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:20100923-141354531,
    title = "46th IEEE Conference on Decision and Control",
    chapter = "Random consensus protocol in large-scale networks",
    year = "2007",
    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: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",
    year = "2007",
    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",
    year = "2007",
    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",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101015-111038468",
    id = "record",
    isbn = "978-1-4244-0440-7",
    doi = "10.1109/CCA.2007.4389369"
}


@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",
    year = "2007",
    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:20100827-104901767,
    title = "American Control Conference, 2007. ACC '07",
    chapter = "A Multi-Model Approach to Identification of Biosynthetic Pathways",
    year = "2007",
    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",
    year = "2007",
    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:20170426-174355371,
    title = "2007 American Control Conference",
    chapter = "To Drop or Not to Drop: Receiver Design Principles for Estimation over Wireless Links",
    year = "2007",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170426-174355371",
    id = "record",
    isbn = "1-4244-0988-8",
    doi = "10.1109/ACC.2007.4282593"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170420-134616638,
    title = "2007 American Control Conference",
    chapter = "Analysis of a Digital Clock for Molecular Computing",
    year = "2007",
    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:20101015-111128782,
    title = "American Control Conference 2007",
    chapter = "Frequency-Weighted Model Reduction with Applications to Structured Models",
    year = "2007",
    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:20150331-142947811,
    title = "2007 European Control Conference (ECC)",
    chapter = "Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency",
    year = "2007",
    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:20170427-143640907,
    title = "2007 American Control Conference",
    chapter = "Estimation for Nonlinear Dynamical Systems over Packet-Dropping Networks",
    year = "2007",
    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:20200429-082712784,
    title = "AIAA Infotech@Aerospace 2007 Conference and Exhibit",
    chapter = "Verification Procedure for Generalized Goal-based Control Programs",
    year = "2007",
    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",
    year = "2006",
    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",
    year = "2006",
    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",
    year = "2006",
    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",
    year = "2006",
    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",
    year = "2006",
    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",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110203-083444872",
    id = "record",
    isbn = "0-7803-9505-0",
    doi = "10.1109/ROBOT.2006.1642064"
}


@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",
    year = "2006",
    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: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",
    year = "2006",
    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:20110615-112206500,
    title = "Proceedings of the 45th IEEE Conference on Decision and Control",
    chapter = "The Effect of Sensor Health on State Estimation",
    year = "2006",
    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:20110629-092232291,
    title = "Proceedings of the 2006 American Control Conference",
    chapter = "Dynamic Sensor Coverage with Uncertainty Feedback : Analysis Using Iterated Maps",
    year = "2006",
    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:20110803-093845327,
    title = "2006 American Control Conference",
    chapter = "Towards a Packet-based Control Theory - Part II: Rate Issues",
    year = "2006",
    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:20110707-134914811,
    title = "Networked Embedded Sensing and Control",
    chapter = "Distributed Control over Failing Channels",
    year = "2006",
    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",
    year = "2006",
    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:20110720-090204055,
    title = "Proceedings of the 2006 American Control Conference",
    chapter = "Networked control systems with norm bounded uncertainties: a stability analysis",
    year = "2006",
    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:20110822-085321885,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "Receiver Design Principles for Estimation over Fading Channels",
    year = "2005",
    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:20110825-140024412,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "Estimation with Information Loss: Asymptotic Analysis and Error Bounds",
    year = "2005",
    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:20170517-164222886,
    title = "Proceedings of the 44th IEEE Conference on Decision and Control",
    chapter = "Distributed Averaging on Asynchronous Communication Networks",
    year = "2005",
    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:20190322-155010781,
    title = "44th IEEE Conference on Decision and Control",
    chapter = "A Control-Oriented Analysis of Bio-inspired Visuomotor Convergence",
    year = "2005",
    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",
    year = "2005",
    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:20110818-111717130,
    title = "2005 44th IEEE Conference on Decision and Control \& European Control Conference",
    chapter = "State estimation utilizing multiple description coding over lossy networks",
    year = "2005",
    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:20130703-133331635,
    title = "2005 Systems Communications, Proceedings",
    chapter = "Estimation of linear stochastic systems over a queueing network",
    year = "2005",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20130703-133331635",
    id = "record",
    isbn = "0-7695-2422-2",
    doi = "10.1109/ICW.2005.46"
}


@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",
    year = "2005",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150210-072226646",
    id = "record",
    isbn = "0-7803-9098-9",
    doi = "10.1109/ACC.2005.1469960"
}


@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",
    year = "2005",
    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: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",
    year = "2005",
    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: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",
    year = "2005",
    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: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",
    year = "2005",
    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",
    year = "2005",
    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",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190627-094444006",
    id = "record",
    isbn = "0-7803-8682-5",
    doi = "10.1109/CDC.2004.1430327"
}


@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",
    year = "2004",
    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",
    year = "2004",
    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",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150211-071543730",
    id = "record",
    isbn = "0-7803-8484-9",
    doi = "10.1109/ICASSP.2004.1326672"
}


@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",
    year = "2004",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190826-124740570",
    id = "record",
    isbn = "9783540212591",
    doi = "10.1007/978-3-540-24743-2\_21"
}


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


@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",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150513-074656184",
    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",
    year = "2003",
    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",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170522-153018041",
    id = "record",
    isbn = "0-7803-7896-2",
    doi = "10.1109/ACC.2003.1239709"
}


@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",
    year = "2003",
    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",
    year = "2003",
    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: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",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190214-123721078",
    id = "record",
    isbn = "0-7803-7516-5",
    doi = "10.1109/CDC.2002.1184376"
}


@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",
    year = "2002",
    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",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:OLFcdc02a",
    id = "record",
    isbn = "0-7803-7516-5"
}


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


@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",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20111109-145851328",
    id = "record",
    isbn = "0-7803-6576-3",
    doi = "10.1109/ROBOT.2001.932588"
}


@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",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20101008-094957238",
    id = "record",
    isbn = "9781563474835"
}


@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",
    year = "1998",
    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",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:KELacc98",
    id = "record",
    isbn = "0-7803-4530-4",
    doi = "10.1109/ACC.1998.703619"
}


@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",
    year = "1995",
    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-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",
    year = "1995",
    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-142358906,
    title = "Proceedings of 1995 34th IEEE Conference on Decision and Control",
    chapter = "Configuration controllability for a class of mechanical systems",
    year = "1995",
    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-142359062,
    title = "Proceedings of 1995 34th IEEE Conference on Decision and Control",
    chapter = "Robust performance analysis for a class of uncertain nonlinear systems",
    year = "1995",
    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-142359220,
    title = "Proceedings of 1995 American Control Conference - ACC'95",
    chapter = "An experimental comparison of controllers for a vectored thrust, ducted fan engine",
    year = "1995",
    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-142359300,
    title = "Proceedings of 1995 American Control Conference - ACC'95",
    chapter = "An efficient algorithm for performance analysis of nonlinear control systems",
    year = "1995",
    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-142359139,
    title = "Proceedings of 1995 IEEE International Conference on Robotics and Automation",
    chapter = "The mechanics of undulatory locomotion: the mixed kinematic and dynamic case",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142359139",
    id = "record",
    isbn = "0780319656",
    doi = "10.1109/robot.1995.525549"
}


@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",
    year = "1994",
    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",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-130817404",
    id = "record",
    doi = "10.1109/CDC.1994.411139"
}


@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",
    year = "1994",
    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:20190318-140628400,
    title = "Proceedings of 1994 American Control Conference",
    chapter = "Design and construction of a small ducted fan engine for nonlinear control experiments",
    year = "1994",
    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:20190315-142601604,
    title = "Proceedings of the 1994 IEEE International Conference on Robotics and Automation",
    chapter = "Nonholonomic mechanics and locomotion: the snakeboard example",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190315-142601604",
    id = "record",
    isbn = "0-8186-5330-2",
    doi = "10.1109/ROBOT.1994.351153"
}


@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",
    year = "1993",
    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-100713740,
    title = "Proceedings of 32nd IEEE Conference on Decision and Control",
    chapter = "Applications and extensions of Goursat normal form to control of nonlinear systems",
    year = "1993",
    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:20190315-140045299,
    title = "32nd IEEE Conference on Decision and Control",
    chapter = "Trajectory generation for the N-trailer problem using Goursat normal form",
    year = "1993",
    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-123339977,
    title = "1993 American Control Conference",
    chapter = "Convergence Rates for Nonholonomic Systems in Power Form",
    year = "1993",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190318-123339977",
    id = "record",
    isbn = "0-7803-0860-3",
    doi = "10.23919/ACC.1993.4793446"
}


@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",
    year = "1992",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190320-134725249",
    id = "record",
    isbn = "0-7803-0872-7",
    doi = "10.1109/CDC.1992.371456"
}


@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",
    year = "1992",
    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",
    year = "1992",
    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",
    year = "1992",
    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",
    year = "1991",
    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",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190319-081854942",
    id = "record",
    doi = "10.1109/CDC.1990.203994"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20190318-135736981,
    title = "Proceedings 1990 IEEE International Conference on Robotics and Automation",
    chapter = "Control primitives for robot systems",
    year = "1990",
    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:20190319-104216033,
    chapter = "Nonlinear controllers for non-integrable systems: the Acrobot example",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190319-104216033",
    id = "record",
    doi = "10.23919/ACC.1990.4790817"
}


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