Abstraction-based verification of codiagnosability for discrete event systems
K. SchmidtVolume:
46
Year:
2010
Language:
english
Pages:
6
DOI:
10.1016/j.automatica.2010.06.010
File:
PDF, 579 KB
english, 2010