Event-Triggered Safe Control for the Zero-Sum Game of Nonlinear Safety-Critical Systems With Input Saturation.
Chunbin QinHeyang ZhuJinguang WangQiyang XiaoDehua ZhangPublished in: IEEE Access (2022)
Keyphrases
- safety critical
- formal methods
- safety analysis
- fault tolerant
- game theory
- stochastic games
- knowledge base
- nuclear power plant
- distributed systems
- knowledge based systems
- embedded systems
- support systems
- boolean games
- repeated games
- nash equilibria
- agent architecture
- model checking
- intelligent systems
- decision support
- case based reasoning
- control system
- multi agent