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

Guang Yang Calin Belta Roberto Tron

Published in: CoRR (2019)

Keyphrases

safety critical
control system
data mining
information systems
decision making
multi agent
embedded systems
formal methods
safety analysis