Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.
Shuichi SatoShogo HattoriHiroyuki SekiYutaka InamoriShoji YuenPublished in: J. Inf. Process. (2020)
Keyphrases
- safety analysis
- control system
- safety critical
- nuclear power plant
- symbolic model checking
- formal methods
- fault model
- fault tolerant
- control algorithm
- fuzzy logic
- control strategy
- real time
- adaptive systems
- agent architecture
- partial information
- partial observability
- fuzzy controller
- symbolic representation
- embedded systems
- neural network
- reliability analysis
- model checking
- health care
- knowledge based systems
- distributed systems
- artificial intelligence