Auxiliary- Variable Adaptive Control Barrier Functions for Safety Critical Systems.
Shuo LiuWei XiaoCalin A. BeltaPublished in: CDC (2023)
Keyphrases
- safety critical
- adaptive control
- formal methods
- embedded systems
- safety analysis
- nuclear power plant
- support systems
- fault tolerant
- management system
- complex systems
- agent architecture
- chaotic systems
- knowledge based systems
- cooperative
- control law
- real time
- control method
- adaptive systems
- learning systems
- distributed systems