Diagnosis and Diagnosability Analysis Using PEPA

@inproceedings{Console2000DiagnosisAD,
  title={Diagnosis and Diagnosability Analysis Using PEPA},
  author={Luca Console and Claudia Picardi and Marina Ribaudo},
  booktitle={ECAI},
  year={2000}
}
In this paperwe proposetheuseof processalgebrasas powerful frameworks for model-baseddiagnosis.In fact, they provide machineryandtools for building component-orientedmodels, for characterizingandcomputingdiagnoses, andfor analyzingpropertiessuchasthediagnosabilityof thesystemunderinvestigation. 

Topic