The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems.
Kai-Chieh HsuHaimin HuJaime Fernández FisacPublished in: CoRR (2023)
Keyphrases
- autonomous systems
- safety critical
- safety analysis
- fault tolerant
- nuclear power plant
- formal methods
- agent architecture
- embedded systems
- dynamic environments
- autonomous navigation
- situation awareness
- artificial intelligence
- real time
- support systems
- control system
- unmanned aerial vehicles
- information fusion
- low cost
- adaptive systems
- databases
- knowledge acquisition
- cooperative
- information systems