@article{https://authors.library.caltech.edu/records/5ns21-pn241,
    title = "Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications",
    journal = "IEEE Transactions on Automatic Control",
    year = "2025",
    url = "https://authors.library.caltech.edu/records/5ns21-pn241",
    id = "record",
    issn = "0018-9286",
    volume = "70"
}


@article{https://authors.library.caltech.edu/records/05xk1-y3743,
    title = "Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification",
    journal = "Artificial Intelligence",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/05xk1-y3743",
    id = "record",
    issn = "0004-3702",
    doi = "10.1016/j.artint.2024.104195",
    volume = "336"
}


@article{https://authors.library.caltech.edu/records/hyxwt-aws06,
    title = "Rollover Prevention for Mobile Robots With Control Barrier Functions: Differentiator-Based Adaptation and Projection-to-State Safety",
    journal = "IEEE Control Systems Letters",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/hyxwt-aws06",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2024.3416239"
}


@article{https://authors.library.caltech.edu/records/we0mm-pkm49,
    title = "Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems",
    journal = "IEEE Control Systems Letters",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/we0mm-pkm49",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2024.3412003"
}


@article{https://authors.library.caltech.edu/records/y9t9z-32k63,
    title = "Layered Control Systems Operating on Multiple Clocks",
    journal = "IEEE Control Systems Letters",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/y9t9z-32k63",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2024.3410150"
}


@article{https://authors.library.caltech.edu/records/afsfp-h4k17,
    title = "Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions",
    journal = "IEEE Control Systems Letters",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/afsfp-h4k17",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2024.3409105"
}


@article{https://authors.library.caltech.edu/records/zqcea-e1623,
    title = "A Quantitative Framework for Layered Multirate Control: Toward a Theory of Control Architecture",
    journal = "IEEE Control Systems",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/zqcea-e1623",
    id = "record",
    issn = "1066-033X",
    doi = "10.1109/mcs.2024.3382388",
    volume = "44"
}


@article{https://authors.library.caltech.edu/records/881ea-0qj27,
    title = "𝓗₂- and 𝓗∞-Optimal Model Predictive Controllers for Robust Legged Locomotion",
    journal = "IEEE Open Journal of Control Systems",
    year = "2024",
    url = "https://authors.library.caltech.edu/records/881ea-0qj27",
    id = "record",
    issn = "2694-085X",
    doi = "10.1109/ojcsys.2024.3407999",
    volume = "3"
}


@article{https://authors.library.caltech.edu/records/63dth-90524,
    title = "Characterizing Smooth Safety Filters via the Implicit Function Theorem",
    journal = "IEEE Control Systems Letters",
    year = "2023",
    url = "https://authors.library.caltech.edu/records/63dth-90524",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2023.3341345",
    volume = "7"
}


@article{https://authors.library.caltech.edu/records/pbxrp-5sm14,
    title = "Composing Control Barrier Functions for Complex Safety Specifications",
    journal = "IEEE Control Systems Letters",
    year = "2023",
    url = "https://authors.library.caltech.edu/records/pbxrp-5sm14",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2023.3339719",
    volume = "7"
}


@article{https://authors.library.caltech.edu/records/jjqj6-rmp61,
    title = "Leveraging user preference in the design and evaluation of lower-limb exoskeletons and prostheses",
    journal = "Current Opinion in Biomedical Engineering",
    year = "2023",
    url = "https://authors.library.caltech.edu/records/jjqj6-rmp61",
    id = "record",
    issn = "2468-4511",
    doi = "10.1016/j.cobme.2023.100487",
    volume = "28"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230726-217422400.22,
    title = "Control Barrier Functions and Input-to-State Safety With Application to Automated Vehicles",
    journal = "IEEE Transactions on Control Systems Technology",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230726-217422400.22",
    id = "record",
    issn = "1063-6536",
    doi = "10.1109/tcst.2023.3286090"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230530-441768000.77,
    title = "Control barrier functionals: Safety‐critical control for time delay systems",
    journal = "International Journal of Robust and Nonlinear Control",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230530-441768000.77",
    id = "record",
    issn = "1049-8923",
    doi = "10.1002/rnc.6751"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230711-988247900.6,
    title = "Mechanical Design, Planning, and Control for Legged Robots in Distillation Columns",
    journal = "Journal of Computational and Nonlinear Dynamics",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230711-988247900.6",
    id = "record",
    issn = "1555-1415",
    doi = "10.1115/1.4056659",
    volume = "18"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230104-586485300.10,
    title = "Safety-Critical Control With Input Delay in Dynamic Environment",
    journal = "IEEE Transactions on Control Systems Technology",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230104-586485300.10",
    id = "record",
    issn = "1063-6536",
    doi = "10.1109/tcst.2022.3227451"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20230628-332770500.20,
    title = "A review of current state-of-the-art control methods for lower-limb powered prostheses",
    journal = "Annual Reviews in Control",
    year = "2023",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20230628-332770500.20",
    id = "record",
    issn = "1367-5788",
    doi = "10.1016/j.arcontrol.2023.03.003",
    volume = "55",
    pmcid = "PMC10449377"
}


@article{https://authors.library.caltech.edu/records/1typ7-6pt86,
    title = "Input-to-State Safety with Input Delay in Longitudinal Vehicle Control",
    journal = "IFAC-PapersOnLine",
    year = "2022",
    url = "https://authors.library.caltech.edu/records/1typ7-6pt86",
    id = "record",
    issn = "2405-8963",
    doi = "10.1016/j.ifacol.2022.11.376",
    volume = "55"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220728-729449000,
    title = "A Barrier-Based Scenario Approach to Verifying Safety-Critical Systems",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220728-729449000",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2022.3192805"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220726-997464000,
    title = "Active space control of underactuated robots: From adaptation to robustness to optimality",
    journal = "International Journal of Adaptive Control and Signal Processing",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220726-997464000",
    id = "record",
    issn = "0890-6327",
    doi = "10.1002/acs.3470"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220721-7910000,
    title = "Unified Multi-Rate Control: From Low-Level Actuation to High-Level Planning",
    journal = "IEEE Transactions on Automatic Control",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220721-7910000",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/tac.2022.3184664"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220714-194307878,
    title = "Safety-Critical Manipulation for Collision-Free Food Preparation",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220714-194307878",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/LRA.2022.3192634",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220715-535824900,
    title = "Robust Predictive Control for Quadrupedal Locomotion: Learning to Close the Gap Between Reduced- and Full-Order Models",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220715-535824900",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2022.3176105",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220712-629677000,
    title = "Toward a Data-Driven Template Model for Quadrupedal Locomotion",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220712-629677000",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2022.3184007",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220707-315696000,
    title = "Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220707-315696000",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2022.3187458",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220614-222253000,
    title = "Safety and Efficiency in Robotics: The Control Barrier Functions Approach",
    journal = "IEEE Robotics and Automation Magazine",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220614-222253000",
    id = "record",
    issn = "1070-9932",
    doi = "10.1109/mra.2022.3174699"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220714-194300374,
    title = "Neural Gaits: Learning Bipedal Locomotion via Control Barrier Functions and Zero Dynamics Policies",
    journal = "Proceedings of Machine Learning Research",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220714-194300374",
    id = "record",
    issn = "2640-3498",
    doi = "10.48550/arXiv.2204.08120",
    volume = "168"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220622-681692100,
    title = "Distributed Quadratic Programming-Based Nonlinear Controllers for Periodic Gaits on Legged Robots",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220622-681692100",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2022.3167795",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220210-721740000,
    title = "Natural Multicontact Walking for Robotic Assistive Devices via Musculoskeletal Models and Hybrid Zero Dynamics",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220210-721740000",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2022.3149568",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220307-188387000,
    title = "Powered Prosthesis Locomotion on Varying Terrains: Model-Dependent Control with Real-Time Force Sensing",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220307-188387000",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2022.3154810",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220317-375745000,
    title = "Interactive Multi-Modal Motion Planning With Branch Model Predictive Control",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220317-375745000",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2022.3156648",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220224-200854184,
    title = "Onboard Safety Guarantees for Racing Drones: High-Speed Geofencing With Control Barrier Functions",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220224-200854184",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/LRA.2022.3144777",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220107-191565600,
    title = "Model-Free Safety-Critical Control for Robotic Systems",
    journal = "IEEE Robotics and Automation Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220107-191565600",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2021.3135569",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220307-188394000,
    title = "3-D Underactuated Bipedal Walking via H-LIP Based Gait Synthesis and Stepping Stabilization",
    journal = "IEEE Transactions on Robotics",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220307-188394000",
    id = "record",
    issn = "1552-3098",
    doi = "10.1109/tro.2022.3150219"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220714-224552040,
    title = "LyaNet: A Lyapunov Framework for Training Neural ODEs",
    journal = "Proceedings of Machine Learning Research",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220714-224552040",
    id = "record",
    issn = "2640-3498",
    doi = "10.48550/arXiv.arXiv.2202.02526"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20201109-155517556,
    title = "Safety-Critical Kinematic Control of Robotic Systems",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201109-155517556",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2021.3050609",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210331-070249507,
    title = "Safe Controller Synthesis with Tunable Input-to-State Safe Control Barrier Functions",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210331-070249507",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2021.3087443",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210510-100142166,
    title = "Sampled-Data Stabilization with Control Lyapunov Functions via Quadratically Constrained Quadratic Programs",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210510-100142166",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2021.3085172",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210511-083656642,
    title = "Multi-Rate Control Design Under Input Constraints via Fixed-Time Barrier Functions",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210511-083656642",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2021.3084322",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20201109-140945703,
    title = "Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201109-140945703",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2021.3086854",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210511-072911881,
    title = "Iterative Model Predictive Control for Piecewise Systems",
    journal = "IEEE Control Systems Letters",
    year = "2022",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210511-072911881",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2021.3086561",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220104-181287300,
    title = "Robust Stabilization of Periodic Gaits for Quadrupedal Locomotion via QP-Based Virtual Constraint Controllers",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220104-181287300",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2021.3133198",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210113-163505184,
    title = "Online Decentralized Decision Making With Inequality Constraints: An ADMM approach",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210113-163505184",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.3044873",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210113-163505361,
    title = "Data-Driven Safety-Critical Control: Synthesizing Control Barrier Functions With Koopman Operators",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210113-163505361",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.3046159",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20201109-140935453,
    title = "Safety-Critical Control of Compartmental Epidemiological Models with Measurement Delays",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201109-140935453",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2020.3040948",
    volume = "5",
    pmcid = "PMC8545040"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20211021-172748746,
    title = "Online Learning of Unknown Dynamics for Model-Based Controllers in Legged Locomotion",
    journal = "IEEE Robotics and Automation Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20211021-172748746",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2021.3108510",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20220104-157181000,
    title = "Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking",
    journal = "IFAC-PapersOnLine",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20220104-157181000",
    id = "record",
    issn = "2405-8963",
    doi = "10.1016/j.ifacol.2021.08.495",
    volume = "54"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210714-191344383,
    title = "Evaluation of safety and performance of the self balancing walking system Atalante in patients with complete motor spinal cord injury",
    journal = "Spinal Cord Series and Cases: Clinical Management in Spinal Cord Disorders",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210714-191344383",
    id = "record",
    issn = "2058-6124",
    doi = "10.1038/s41394-021-00432-3",
    volume = "7"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210120-165241963,
    title = "Decentralized Task and Path Planning for Multi-Robot Systems",
    journal = "IEEE Robotics and Automation Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210120-165241963",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/LRA.2021.3068103",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200707-110214475,
    title = "Multi-Rate Control Design Leveraging Control Barrier Functions and Model Predictive Control Policies",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200707-110214475",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2020.3008326",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200710-140738518,
    title = "Integral Control Barrier Functions for Dynamically Defined Control Laws",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200710-140738518",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.3006764",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200807-102400461,
    title = "Learning Terrain Dynamics: A Gaussian Process Modeling and Optimal Control Adaptation Framework Applied to Robotic Jumping",
    journal = "IEEE Transactions on Control Systems Technology",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200807-102400461",
    id = "record",
    issn = "1063-6536",
    doi = "10.1109/tcst.2020.3009636",
    volume = "29"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200706-084348576,
    title = "Safety-Critical Event Triggered Control via Input-to-State Safe Barrier Functions",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200706-084348576",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.3005101",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200707-104322686,
    title = "A Control Barrier Perspective on Episodic Learning via Projection-to-State Safety",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200707-104322686",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2020.3009082",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200707-110517874,
    title = "Coupled Control Systems: Periodic Orbit Generation with Application to Quadrupedal Locomotion",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200707-110517874",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2020.3006963",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210604-142541635,
    title = "Episodic Learning for Safe Bipedal Locomotion with Control Barrier Functions and Projection-to-State Safety",
    journal = "Proceedings of Machine Learning Research",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210604-142541635",
    id = "record",
    issn = "2640-3498",
    doi = "10.48550/arXiv.2105.01697",
    volume = "144"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210225-132704894,
    title = "SLIP Walking Over Rough Terrain via H-LIP Stepping and Backstepping-Barrier Function Inspired Quadratic Program",
    journal = "IEEE Robotics and Automation Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210225-132704894",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/LRA.2021.3061385",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200625-151814604,
    title = "Separable Control Lyapunov Functions with Application to Prostheses",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200625-151814604",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.3004181",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200625-151814838,
    title = "Characterizing Safety: Minimal Control Barrier Functions from Scalar Comparison Systems",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200625-151814838",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.3003887",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20210421-085752484,
    title = "Coupled Control Lyapunov Functions for Interconnected Systems, With Application to Quadrupedal Locomotion",
    journal = "IEEE Robotics and Automation Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20210421-085752484",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/LRA.2021.3065174",
    volume = "6"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200707-113800670,
    title = "Safety-Critical Control Synthesis for Network Systems With Control Barrier Functions and Assume-Guarantee Contracts",
    journal = "IEEE Transactions on Control of Network Systems",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200707-113800670",
    id = "record",
    issn = "2325-5870",
    doi = "10.1109/TCNS.2020.3029183",
    volume = "8"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190222-102105621,
    title = "Model-Based Adaptive Control of Transfemoral Prostheses: Theory, Simulation, and Experiments",
    journal = "IEEE Transactions on Systems, Man, and Cybernetics: Systems",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190222-102105621",
    id = "record",
    issn = "2168-2216",
    doi = "10.1109/TSMC.2019.2896193",
    volume = "51"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200612-105359901,
    title = "Guaranteed obstacle avoidance for multi-robot operations with limited actuation: a control barrier function approach",
    journal = "IEEE Control Systems Letters",
    year = "2021",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200612-105359901",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.3000748",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20191031-124926682,
    title = "Nonholonomic Hybrid Zero Dynamics for the Stabilization of Periodic Orbits: Application to Underactuated Robotic Walking",
    journal = "IEEE Transactions on Control Systems Technology",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191031-124926682",
    id = "record",
    issn = "1063-6536",
    doi = "10.1109/tcst.2019.2947874",
    volume = "28"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200706-130358309,
    title = "Safety-Critical Control of Active Interventions for COVID-19 Mitigation",
    journal = "IEEE Access",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200706-130358309",
    id = "record",
    issn = "2169-3536",
    doi = "10.1109/ACCESS.2020.3029558",
    volume = "8",
    pmcid = "PMC8545284"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200528-143228870,
    title = "Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach",
    journal = "IEEE Control Systems Letters",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200528-143228870",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/lcsys.2020.2997952",
    volume = "4"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200806-153948039,
    title = "Dynamic and Versatile Humanoid Walking via Embedding 3D Actuated SLIP Model with Hybrid LIP Based Stepping",
    journal = "IEEE Robotics and Automation Letters",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200806-153948039",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2020.3013924",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200925-104734853,
    title = "A Scalable Safety Critical Control Framework for Nonlinear Systems",
    journal = "IEEE Access",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200925-104734853",
    id = "record",
    issn = "2169-3536",
    doi = "10.1109/access.2020.3025248",
    volume = "8"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200214-105558873,
    title = "Learning for Safety-Critical Control with Control Barrier Functions",
    journal = "Proceedings of Machine Learning Research",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200214-105558873",
    id = "record",
    issn = "2640-3498",
    doi = "10.48550/arXiv.1912.10099",
    volume = "120"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20200422-130006132,
    title = "Biofuel-powered soft electronic skin with multiplexed and wireless sensing for human-machine interfaces",
    journal = "Science Robotics",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200422-130006132",
    id = "record",
    issn = "2470-9476",
    doi = "10.1126/scirobotics.aaz7946",
    volume = "5",
    pmcid = "PMC7326328"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20191204-133217340,
    title = "Towards Variable Assistance for Lower Body Exoskeletons",
    journal = "IEEE Robotics and Automation Letters",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191204-133217340",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/lra.2019.2955946",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190626-133626148,
    title = "Hierarchical and Safe Motion Control for Cooperative Locomotion of Robotic Guide Dogs and Humans: A Hybrid Systems Approach",
    journal = "IEEE Robotics and Automation Letters",
    year = "2020",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190626-133626148",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/LRA.2019.2939719",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180711-153433279,
    title = "Input-to-State Safety with Control Barrier Functions",
    journal = "IEEE Control Systems Letters",
    year = "2019",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180711-153433279",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2018.2853698",
    volume = "3"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20181127-081153712,
    title = "Feedback Control of an Exoskeleton for Paraplegics: Toward Robustly Stable, Hands-Free Dynamic Walking",
    journal = "IEEE Control Systems Magazine",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20181127-081153712",
    id = "record",
    issn = "0272-1708",
    doi = "10.1109/mcs.2018.2866604",
    volume = "38"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180711-152627687,
    title = "Direct Collocation for Dynamic Behaviors with Nonprehensile Contacts: Application to Flipping Burgers",
    journal = "IEEE Robotics and Automation Letters",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180711-152627687",
    id = "record",
    issn = "2377-3766",
    doi = "10.1109/LRA.2018.2854910",
    volume = "3"
}


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


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180105-103754631,
    title = "Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control",
    journal = "IEEE Transactions on Automation Science and Engineering",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180105-103754631",
    id = "record",
    issn = "1545-5955",
    doi = "10.1109/TASE.2017.2760863",
    volume = "15"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20180118-141115865,
    title = "Dynamic Humanoid Locomotion: A Scalable Formulation for HZD Gait Optimization",
    journal = "IEEE Transactions on Robotics",
    year = "2018",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20180118-141115865",
    id = "record",
    issn = "1552-3098",
    doi = "10.1109/TRO.2017.2783371",
    volume = "34"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170621-160327032,
    title = "Abstracting Partially Feedback Linearizable Systems Compositionally",
    journal = "IEEE Control Systems Letters",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170621-160327032",
    id = "record",
    issn = "2475-1456",
    doi = "10.1109/LCSYS.2017.2713461",
    volume = "1"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170608-073936974,
    title = "First steps toward formal controller synthesis for bipedal robots with experimental implementation",
    journal = "Nonlinear Analysis: Hybrid Systems",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170608-073936974",
    id = "record",
    issn = "1751-570X",
    doi = "10.1016/j.nahs.2017.01.002",
    volume = "25"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170726-152043029,
    title = "Control Barrier Function Based Quadratic Programs for Safety Critical Systems",
    journal = "IEEE Transactions on Automatic Control",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170726-152043029",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2016.2638961",
    volume = "62"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170215-165434009,
    title = "Safety Barrier Certificates for Collisions-Free Multirobot Systems",
    journal = "IEEE Transactions on Robotics",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170215-165434009",
    id = "record",
    issn = "1552-3098",
    doi = "10.1109/TRO.2017.2659727",
    volume = "33"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20191115-161042888,
    title = "Multi-contact bipedal robotic locomotion",
    journal = "Robotica",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20191115-161042888",
    id = "record",
    issn = "0263-5747",
    doi = "10.1017/s0263574715000995",
    volume = "35"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170621-161046140,
    title = "First Steps Towards Translating HZD Control of Bipedal Robots to Decentralized Control of Exoskeletons",
    journal = "IEEE Access",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170621-161046140",
    id = "record",
    issn = "2169-3536",
    doi = "10.1109/ACCESS.2017.2690407",
    volume = "5"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190722-151625943,
    title = "First steps toward translating robotic walking to prostheses: a nonlinear optimization based control approach",
    journal = "Autonomous Robots",
    year = "2017",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190722-151625943",
    id = "record",
    issn = "0929-5593",
    doi = "10.1007/s10514-016-9565-1",
    volume = "41"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190208-100755503,
    title = "Correct-by-Construction Adaptive Cruise Control: Two Approaches",
    journal = "IEEE Transactions on Control Systems Technology",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190208-100755503",
    id = "record",
    issn = "1063-6536",
    doi = "10.1109/tcst.2015.2501351",
    volume = "24"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190208-091900699,
    title = "Multicontact Locomotion on Transfemoral Prostheses via Hybrid System Models and Optimization-Based Control",
    journal = "IEEE Transactions on Automation Science and Engineering",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190208-091900699",
    id = "record",
    issn = "1545-5955",
    doi = "10.1109/tase.2016.2524528",
    volume = "13"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190130-162010151,
    title = "Robustness of Control Barrier Functions for Safety Critical Control",
    journal = "IFAC-PapersOnLine",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190130-162010151",
    id = "record",
    issn = "2405-8963",
    doi = "10.1016/j.ifacol.2015.11.152",
    volume = "48"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190204-092954756,
    title = "Stability and Completion of Zeno Equilibria in Lagrangian Hybrid Systems",
    journal = "IEEE Transactions on Automatic Control",
    year = "2011",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190204-092954756",
    id = "record",
    issn = "0018-9286",
    doi = "10.1109/TAC.2010.2080790",
    volume = "56"
}