@article{https://authors.library.caltech.edu/records/j6jkn-nj815, title = "Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints", journal = "IEEE Control Systems Letters", year = "2025", url = "https://authors.library.caltech.edu/records/j6jkn-nj815", id = "record", issn = "2705 - 2710", doi = "10.1109/lcsys.2025.3640191", volume = "9" } @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" } @other{https://authors.library.caltech.edu/records/18nmc-z8947, title = "Intermittent Safety Filters for Event-Triggered Safety Maneuvers with Application to Satellite Orbit Transfers", year = "2023", url = "https://authors.library.caltech.edu/records/18nmc-z8947", id = "record", isbn = "979-8-3503-0124-3", doi = "10.1109/cdc49753.2023.10383437" } @other{https://resolver.caltech.edu/CaltechAUTHORS:20220714-194256328, title = "Stability and Safety through Event-Triggered Intermittent Control with Application to Spacecraft Orbit Stabilization", year = "2022", url = "https://resolver.caltech.edu/CaltechAUTHORS:20220714-194256328", id = "record", doi = "10.48550/arXiv.arXiv.2204.03110" } @other{https://resolver.caltech.edu/CaltechAUTHORS:20220714-194252464, title = "Safe Backstepping with Control Barrier Functions", year = "2022", url = "https://resolver.caltech.edu/CaltechAUTHORS:20220714-194252464", id = "record", doi = "10.48550/arXiv.arXiv.2204.00653" } @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" }