124 citations · 200 across the 25 of their papers we have counts for
15 papers · 1 filter
Reach-Avoid Certificates for Contact-based Stochastic Hybrid Systems
Tianyi Xia, Ryan K. Cosner
This work studies certified reach-avoid control of stochastic hybrid systems in which a stochastic differential equation governs continuous flow and a controlled stochastic kernel…
Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
Pol Mestres, Blake Werner, Ryan K. Cosner +1
Control systems operating in the real world face countless sources of unpredictable uncertainties. These random disturbances can render deterministic guarantees inapplicable and ca…
Control Barrier Function Synthesis for Nonlinear Systems with Dual Relative Degree
Gilbert Bahati, Ryan K. Cosner, Max H. Cohen +2
Control barrier functions (CBFs) are a powerful tool for synthesizing safe control actions; however, constructing CBFs remains difficult for general nonlinear systems. In this work…
Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
Max H. Cohen, Ryan K. Cosner, Aaron D. Ames
Certifying the safety of nonlinear systems, through the lens of set invariance and control barrier functions (CBFs), offers a powerful method for controller synthesis, provided a C…
A Constructive Method for Designing Safe Multirate Controllers for Differentially-Flat Systems
Devansh R. Agrawal, Hardik Parwana, Ryan K. Cosner +3
We present a multi-rate control architecture that leverages fundamental properties of differential flatness to synthesize controllers for safety-critical nonlinear dynamical system…
Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions
Ryan K. Cosner, Preston Culbertson, Aaron D. Ames
When deployed in the real world, safe control methods must be robust to unstructured uncertainties such as modeling error and external disturbances. Typical robust safety methods a…
Generative Modeling of Residuals for Real-Time Risk-Sensitive Safety with Discrete-Time Control Barrier Functions
Ryan K. Cosner, Igor Sadalski, Jana K. Woo +2
A key source of brittleness for robotic systems is the presence of model uncertainty and external disturbances. Most existing approaches to robust control either seek to bound the…
Safe Online Dynamics Learning with Initially Unknown Models and Infeasible Safety Certificates
Alexandre Capone, Ryan Cosner, Aaron Ames +1
Safety-critical control tasks with high levels of uncertainty are becoming increasingly common. Typically, techniques that guarantee safety during learning and control utilize cons…
Input-to-State Stability in Probability
Preston Culbertson, Ryan K. Cosner, Maegan Tucker +1
Input-to-State Stability (ISS) is fundamental in mathematically quantifying how stability degrades in the presence of bounded disturbances. If a system is ISS, its trajectories wil…
Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions
Ryan K. Cosner, Preston Culbertson, Andrew J. Taylor +1
Robots deployed in unstructured, real-world environments operate under considerable uncertainty due to imperfect state estimates, model error, and disturbances. Given this real-wor…
End-to-End Imitation Learning with Safety Guarantees using Control Barrier Functions
Ryan K. Cosner, Yisong Yue, Aaron D. Ames
Imitation learning (IL) is a learning paradigm which can be used to synthesize controllers for complex systems that mimic behavior demonstrated by an expert (user or control algori…
Safety of Sampled-Data Systems with Control Barrier Functions via Approximate Discrete Time Models
Andrew J. Taylor, Victor D. Dorobantu, Ryan K. Cosner +2
Control Barrier Functions (CBFs) have been demonstrated to be a powerful tool for safety-critical controller design for nonlinear systems. Existing design paradigms do not address…
Measurement-Robust Control Barrier Functions: Certainty in Safety with Uncertainty in State
Ryan K. Cosner, Andrew W. Singletary, Andrew J. Taylor +3
The increasing complexity of modern robotic systems and the environments they operate in necessitates the formal consideration of safety in the presence of imperfect measurements.…
Multi-rate Control Design under Input Constraints via Fixed-Time Barrier Functions
Kunal Garg, Ryan K. Cosner, Ugo Rosolia +2
In this paper, we introduce the notion of periodic safety, which requires that the system trajectories periodically visit a subset of a forward-invariant safe set, and utilize it i…
Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions
Sarah Dean, Andrew J. Taylor, Ryan K. Cosner +2
Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers o…