Logo image
Open Research University homepage
Surrey researchers Sign in
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
Journal article   Peer reviewed

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

Kuize Zhang
Automatica (Oxford), Vol.81, pp.217-220
01/07/2017

Abstract

Discrete event system Finite automaton PSPACE-hardness Weak (periodic) detectability

Metrics

Details

Logo image

Usage Policy