上一条： Decentralized fault prognosis of discrete event systems with guaranteed performance bound

下一条： Codiagnosability and coobservability under dynamic observations: Transformation and verification