Login / Signup

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions.

Hongkai DaiChuanrui JiangHongchao ZhangAndrew Clark
Published in: CoRR (2024)
Keyphrases
  • control system
  • control theory
  • adaptive control
  • case study
  • dynamic programming
  • dynamic environments
  • control method
  • process control
  • chaotic systems
  • formal verification
  • real time control