Verification of diagnosability based on compositional branching bisimulation
Rapport, 2014

This paper presents an efficient diagnosability verification technique, based on a general abstraction approach. We exploit branching bisimulation with explicit divergence (BBED), which preserves the temporal logic property that verifies diagnosability. Furthermore, using compositional abstraction for modular diagnosability verification offers additional state space reduction in comparison to the state-of-the-art techniques.

Författare

Mona Noori-Hosseini

Chalmers, Signaler och system, System- och reglerteknik, Automation

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Ämneskategorier

Elektroteknik och elektronik

R - Department of Signals and Systems, Chalmers University of Technology: R013/2014