Using timed automata and fuzzy logic for diagnosis of multiple faults in DES.
Lotfi MhamdiChakib Ben NjimaHedi DhouibiHassani MessaoudPublished in: ICCAD (2017)
Keyphrases
- multiple faults
- timed automata
- fuzzy logic
- fault diagnosis
- model checking
- reachability analysis
- neural network
- theorem prover
- expert systems
- fuzzy sets
- discrete event
- soft computing
- computational intelligence
- decision making
- genetic algorithm
- intelligent control
- fuzzy inference system
- control system
- fuzzy rules
- membership functions
- artificial intelligence
- first order logic
- real time systems
- fuzzy set theory
- neural networks and genetic algorithms
- fuzzy inference
- real time
- theorem proving
- back propagation
- rough sets
- evolutionary computation
- artificial neural networks
- fault detection
- fuzzy controller
- fuzzy logic controller
- rule base
- temporal logic
- bayesian networks
- fuzzy logic control
- software engineering