Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions

  • Hongkai Dai
  • , Chuanrui Jiang
  • , Hongchao Zhang
  • , Andrew Clark

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4   Link opens in a new tab Scopus citations

Fingerprint

Dive into the research topics of 'Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions'. Together they form a unique fingerprint.
Sort by

Keyphrases

Engineering

Computer Science