Login / Signup
Verification and Synthesis of Control Barrier Functions.
Andrew Clark
Published in:
CDC (2021)
Keyphrases
</>
control system
model checking
control theory
data sets
information retrieval
three dimensional
expert systems
evolutionary algorithm
data acquisition
control strategy
optimal control
adaptive control
process control
control problems
formal verification
control structure