Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
The safety filter: A unified view of safety-critical control in autonomous systems
Recent years have seen significant progress in the realm of robot autonomy, accompanied
by the expanding reach of robotic technologies. However, the emergence of new …
by the expanding reach of robotic technologies. However, the emergence of new …
Advances in the theory of control barrier functions: Addressing practical challenges in safe control synthesis for autonomous and robotic systems
This tutorial paper presents recent work of the authors that extends the theory of Control
Barrier Functions (CBFs) to address practical challenges in the synthesis of safe controllers …
Barrier Functions (CBFs) to address practical challenges in the synthesis of safe controllers …
Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control
Learning-enabled control systems have demonstrated impressive empirical performance on
challenging control problems in robotics, but this performance comes at the cost of reduced …
challenging control problems in robotics, but this performance comes at the cost of reduced …
Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods
Learning-enabled control systems have demonstrated impressive empirical performance on
challenging control problems in robotics, but this performance comes at the cost of reduced …
challenging control problems in robotics, but this performance comes at the cost of reduced …
Robust control barrier functions under high relative degree and input constraints for satellite trajectories
This paper presents methodologies for constructing Control Barrier Functions (CBFs) for
nonlinear, control-affine systems, in the presence of input constraints and bounded …
nonlinear, control-affine systems, in the presence of input constraints and bounded …
Safety-critical control using optimal-decay control barrier function with guaranteed point-wise feasibility
Safety is one of the fundamental problems in robotics. Recently, a quadratic program based
control barrier function (CBF) method has emerged as a way to enforce safety-critical …
control barrier function (CBF) method has emerged as a way to enforce safety-critical …
Safe pontryagin differentiable programming
Abstract We propose a Safe Pontryagin Differentiable Programming (Safe PDP)
methodology, which establishes a theoretical and algorithmic framework to solve a broad …
methodology, which establishes a theoretical and algorithmic framework to solve a broad …
Learning robust output control barrier functions from safe expert demonstrations
This paper addresses learning safe output feedback control laws from partial observations of
expert demonstrations. We assume that a model of the system dynamics and a state …
expert demonstrations. We assume that a model of the system dynamics and a state …
Control for smart systems: Challenges and trends in smart cities
There have been tremendous developments in theories and technologies in control for
smart systems. In this paper we review applications to various systems that are crucial for the …
smart systems. In this paper we review applications to various systems that are crucial for the …
Joint differentiable optimization and verification for certified reinforcement learning
Model-based reinforcement learning has been widely studied for controller synthesis in
cyber-physical systems (CPSs). In particular, for safety-critical CPSs, it is important to …
cyber-physical systems (CPSs). In particular, for safety-critical CPSs, it is important to …