Sign in

Self-triggered Control for Safety Critical Systems Using Control Barrier Functions.

Guang YangCalin BeltaRoberto Tron
Published in: ACC (2019)
Keyphrases
  • safety critical
  • control system
  • formal methods
  • machine learning
  • cooperative
  • safety analysis