Observer-based Control Barrier Functions for Safety Critical Systems.

Yujie Wang Xiangru Xu

Published in: ACC (2022)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
management system
embedded systems
real time
learning systems
agent architecture
control system
distributed systems
data mining
knowledge base
nuclear power plant