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