Fast Verification of Control Barrier Functions via Linear Programming.

Ellie Pond Matthew Hale

Published in: CoRR (2022)

Keyphrases

linear programming
control system
linear program
objective function
optimal solution
constraint propagation
dynamic programming
real time
data model
model checking
artificial neural networks
robotic systems
control method
process control
control problems