Verification of robust diagnosability for partially observed discrete event systems
- 1 August 2012
- journal article
- Published by Elsevier in Automatica
- Vol. 48 (8), 1913-1919
- https://doi.org/10.1016/j.automatica.2012.06.024
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Robust diagnosis of discrete-event systems subject to permanent sensor failuresIFAC Proceedings Volumes, 2010
- Robust diagnosability of discrete event systems subject to intermittent sensor failuresIFAC Proceedings Volumes, 2010
- Robust codiagnosability of discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Robust nonblocking supervisory control of discrete-event systems under partial observationSystems & Control Letters, 2006
- Decentralized failure diagnosis of discrete event systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2006
- Robust nonblocking supervisory control of discrete-event systemsIEEE Transactions on Automatic Control, 2005
- Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory modelsIEEE Transactions on Automatic Control, 2002
- A polynomial algorithm for testing diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 2001
- Robust and adaptive supervisory control of discrete event systemsIEEE Transactions on Automatic Control, 1993
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987