Composing Control Barrier Functions for Complex Safety Specifications.

Tamás G. Molnár Aaron D. Ames

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

complex systems
optimal control
databases
high level
control system
complex data
neural network
programming language
elementary functions
real time
expert systems
artificial neural networks
formal specification
process control