Control Barrier Functions for Sampled-Data Systems with Input Delays
This paper considers the general problem of transitioning theoretically safe controllers to hardware. Concretely, we explore the application of control barrier functions (CBFs) to sampled-data systems: systems that evolve continuously but whose control actions are computed in discrete time-steps. While this model formulation is less commonly used than its continuous counterpart, it more accurately models the reality of most control systems in practice, making the safety guarantees more impactful. In this context, we prove robust set invariance with respect to zero-order hold controllers as well as state uncertainty, without the need to explicitly compute any control invariant sets. It is then shown that this formulation can be exploited to address input delays in this system, with the result being CBF constraints that are affine in the input. The results are demonstrated in a high-fidelity simulation of an unstable Segway robotic system in real-time.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Safety of Sampled-Data Systems with Control Barrier Functions via Approximate Discrete Time Models
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 the gap between theory (controller desig…
Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints
We propose a novel zero-order control barrier function (ZOCBF) for sampled-data systems to ensure system safety. Our formulation generalizes conventional control barrier functions and straightforwardly handles safety con…
Collision AvoidanceRobust Control Barrier Functions for Sampled-Data Systems
This paper studies the problem of safe control of sampled-data systems under bounded disturbance and measurement errors with piecewise-constant controllers. To achieve this, we first propose the High-Order Doubly Robust …
Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions
As the complexity of control systems increases, safety becomes an increasingly important property since safety violations can damage the plant and put the system operator in danger. When the system dynamics are unknown, …
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming
This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications. Fundamentally, the presented method is not restricted to polynomial syst…