The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete

Titel:: The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
Autor(en):: Zhang, K.
Zeitschriftentitel:: Automatica
Jahr:: 2017
Band / Volume:: 81
Seitenangaben Beitrag:: 217--220
Volltext / DOI:: doi:10.1016/j.automatica.2017.03.023
Verlag / Institution:: Elsevier
BibTeX

Vorkommen: