Diagnosability Behaviour over faulty concurrent systems.
Gonzalo BonigoLaura Brandán BrionesPublished in: CLEI (2013)
Keyphrases
- concurrent systems
- fault diagnosis
- temporal logic
- distributed systems
- petri net
- process algebra
- discrete event systems
- transition systems
- formal specification
- model checking
- multiple faults
- discrete event
- expert systems
- fuzzy logic
- control system
- mathematical model
- fine grained
- belief revision
- building blocks
- model based diagnosis
- user behaviour
- case study
- information systems
- neural network