Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications.
Christian EbnerKirill GorelikArmin ZimmermannPublished in: IEEE Syst. J. (2023)
Keyphrases
- safety critical
- safety analysis
- formal methods
- automated design
- fault tolerant
- nuclear power plant
- embedded systems
- agent architecture
- support systems
- adaptive systems
- control system
- knowledge based systems
- symbolic model checking
- distributed systems
- load balancing
- intelligent systems
- knowledge acquisition
- fuzzy logic