Verification of diagnosability based on compositional branching bisimulation
Report, 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.

Author

Mona Noori-Hosseini

Chalmers, Signals and Systems, Systems and control, Automation

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control, Automation

Subject Categories

Electrical Engineering, Electronic Engineering, Information Engineering

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

More information

Created

10/7/2017