Adaptive Real Time Exploration and Optimization for Safety-Critical Systems.
Buse Sibel KorkmazMehmet MercangözMarta ZagórowskaPublished in: CoRR (2022)
Keyphrases
- safety critical
- adaptive systems
- real time
- formal methods
- fault tolerant
- embedded systems
- agent architecture
- safety analysis
- support systems
- distributed systems
- nuclear power plant
- regulatory requirements
- databases
- knowledge based systems
- expert systems
- learning systems
- decision support
- decision support system
- control system
- mobile devices
- cooperative
- information systems