- Title:
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
- Author(s):
- Zhang, K.
- Journal title:
- Automatica
- Year:
- 2017
- Journal volume:
- 81
- Pages contribution:
- 217--220
- Fulltext / DOI:
- doi:10.1016/j.automatica.2017.03.023
- Publisher:
- Elsevier
- BibTeX