Control Barrier Function Based Quadratic Programs for Safety Critical Systems

From MaRDI portal
Publication:4589444

DOI10.1109/TAC.2016.2638961zbMath1373.90092arXiv1609.06408MaRDI QIDQ4589444

Jessy W. Grizzle, Aaron D. Ames, Xiangru Xu, Paulo Tabuada

Publication date: 10 November 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.06408




Related Items (78)

Safety-critical dynamic event-triggered control of nonlinear systemsDesign and analysis of a potential-based controller for safe robot navigation in unknown GPS-denied environments with strictly convex obstaclesSafe economic model predictive control of nonlinear systemsFixed-time control under spatiotemporal and input constraints: a quadratic programming based approachNecessary and sufficient conditions for the nonincrease of scalar functions along solutions to constrained differential inclusionsSafety control using barrier certificates for multiagent systems with input saturation and formation constraintsSafety control of a class of fully actuated systems subject to uncertain actuation dynamicsSmooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specificationsSufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functionsA barrier function approach to finite-time stochastic system verification and controlConstraint learning for control tasks with limited duration barrier functionsA predictive safety filter for learning-based control of constrained nonlinear dynamical systemsControl barrier functions for stochastic systemsDMPC: a data-and model-driven approach to predictive controlNonlinear adaptive cruise control of vehicular platoonsSafe and sub-optimal CAV platoon longitudinal control protocol accounting for state constraints and uncertain vehicle dynamicsTemporal logic guided safe model-based reinforcement learning: a hybrid systems approachNonlinear control of passive vibratory systems with finite actuation strokeControlling stick balancing on a linear track: delayed state feedback or delay-compensating predictor feedback?Robust satisficing cooperative control barrier functions for multirobots systems using information‐gap theorySurviving disturbances: a predictive control framework with guaranteed safetyRisk-averse receding horizon motion planning for obstacle avoidance using coherent risk measuresQuantized feedback control of linear system with performance barrierRobust adaptive control Lyapunov‐barrier function for non‐collocated control and safety of underactuated robotic systemsSafe reward‐based deep reinforcement learning control for an electro‐hydraulic servo systemVector Control Lyapunov and Barrier Functions for Safe Stabilization of Interconnected SystemsGraph-theoretic approaches for analyzing the resilience of distributed control systems: a tutorial and survey<scp>Near‐optimal</scp> control of a class of <scp>output‐constrained</scp> systems using recurrent neural network: A <scp>control‐barrier</scp> function approachAdaptive dynamic programming for optimal control of discrete‐time nonlinear system with state constraints based on control barrier functionSafe reinforcement learning: A control barrier function optimization approachSafe control synthesis using environmentally robust control barrier functionsCruise controllers for lane-free ring-roads based on control Lyapunov functionsSynchronization and balancing around simple closed polar curves with bounded trajectoriesPrescribed-Time Mean-Nonovershooting Control under Finite-Time Vanishing NoiseAddressing complex state constraints in the integral barrier Lyapunov function-based adaptive tracking controlRobust control barrier functions under high relative degree and input constraints for satellite trajectoriesLyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systemsOff‐policy model‐based end‐to‐end safe reinforcement learningFeasibility‐guaranteed safety‐critical control with high‐order control barrier function methodLocal navigation-like functions for safe robot navigation in bounded domains with unknown convex obstaclesCollision avoidance and connectivity preservation using asymmetric barrier Lyapunov function with time-varying distance-constraintsNonsmooth control barrier function design of continuous constraints for network connectivity maintenanceI\&I adaptive fault-tolerant safe control of safety-critical systemsRobust self‐triggered control for nonlinear cyber‐physical systems with state constraints under DoS attacksSafety MPC of constrained switched systems with control barrier functionGovernor-parameterized barrier function for safe output tracking with locally sensed constraintsSafe multi-agent reinforcement learning for multi-robot controlMotion control of connected and automated vehicles in a lane‐changing scenario with guaranteed tracking performanceHigh‐order control barrier functions‐based optimization control for time‐varying nonlinear systems with full‐state constraints: A dynamic sub‐safe set approachData-driven design of safe control for polynomial systemsPrescribed performance formation control for second-order multi-agent systems with connectivity and collision constraintsControl barrier functionals: Safety‐critical control for time delay systemsThe 1 controller synthesis for piecewise continuous nonlinear systems via set invariance principlesControl Lyapunov–Barrier function based model predictive control for stochastic nonlinear affine systemsVerification and runtime assurance for dynamical systems with uncertaintyModel-based reinforcement learning for approximate optimal control with temporal logic specificationsQuantitative Robustness Analysis of Sensor Attacks on Cyber-Physical SystemsStabilization with guaranteed safety using barrier function and control Lyapunov functionRobust control barrier functions for constrained stabilization of nonlinear systemsAdaptive asymptotic tracking using barrier functionsLinear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier CertificatesAdaptive robust control for a soft robotic snake: a smooth-zone approachConstrained control of input-output linearizable systems using control sharing barrier functionsSafe nonlinear control design for input constrained polynomial systems using sum-of-squares programmingIntegral line-of-sight path following control of magnetic helical microswimmers subject to step-out frequenciesDistributed transient frequency control for power networks with stability and performance guaranteesDeadlock Analysis and Resolution for Multi-robot SystemsSafety-critical optimal control for autonomous systemsSafety stabilization of switched systems with unstable subsystemsVehicle motion control under equality and inequality constraints: a diffeomorphism approachNecessary conditions for feedback stabilization and safetyFault-tolerant safe control design of switched and interconnected nonlinear systemsRazumikhin and Krasovskii approaches for safe stabilizationSafe-by-design control for Euler-Lagrange systemsLearning-based symbolic abstractions for nonlinear control systemsSafe exploration in model-based reinforcement learning using control barrier functionsEncoding inductive invariants as barrier certificates: synthesis via difference-of-convex programmingSmall-gain theorem for safety verification of interconnected systems




This page was built for publication: Control Barrier Function Based Quadratic Programs for Safety Critical Systems