Consolidated Control Barrier Functions: Synthesis and Online Verification via Adaptation under Input Constraints.

Mitchell Black Dimitra Panagou

Published in: CoRR (2023)

Keyphrases

online learning
control system
constraint satisfaction
real time
program synthesis
control theory
mixed integer
model checking
control signals
power system
multimedia
control strategy
optimal control
potential functions
neural network
process control
data sets
database