Safety critical control design for nonlinear system with tracking and safety objectives.

Yi Dong Xiaoyu Wang Yiguang Hong

Published in: Autom. (2024)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
support systems
real time
low cost
regulatory requirements
artificial intelligence
knowledge base
case study
knowledge based systems
adaptive systems