Verification of diagnosability based on compositional branching bisimulation.
Mona Noori HosseiniBengt LennartsonPublished in: ETFA (2014)
Keyphrases
- discrete event systems
- fault diagnosis
- model checking
- branch and bound
- face verification
- search tree
- petri net
- discrete event
- formal methods
- search algorithm
- verification method
- concurrent systems
- databases
- database
- real time
- asynchronous circuits
- test generation
- false acceptance rate
- dynamical systems
- fuzzy logic
- evolutionary algorithm
- multiscale
- machine learning
- data sets