Verification of diagnosability based on compositional branching bisimulation
Paper in proceeding, 2014
Author
Mona Noori-Hosseini
Chalmers, Signals and Systems, Systems and control
Bengt Lennartson
Chalmers, Signals and Systems, Systems and control
Proc. 19th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2014), Barcelona, Spain, September.
978-1-4799-4846-8 (ISBN)
Areas of Advance
Information and Communication Technology
Production
Subject Categories
Computer and Information Science
Robotics
Control Engineering
DOI
10.1109/ETFA.2014.7005332