Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges.
Xiang YinBingzhao GaoXiao YuPublished in: Annu. Rev. Control. (2024)
Keyphrases
- autonomous systems
- safety critical
- formal methods
- safety analysis
- fault tolerant
- formal specification
- artificial intelligence
- autonomous navigation
- adaptive systems
- dynamic environments
- control system
- embedded systems
- agent architecture
- support systems
- model checking
- low cost
- software engineering
- unmanned aerial vehicles
- real time
- knowledge acquisition
- knowledge discovery
- reinforcement learning