Polynomial-time verification of diagnosability of partially observed discrete-event systems

By T. Yoo, Stéphane Lafortune. IEEE Transactions on Automatic Control, 2002

429 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Industrial and Manufacturing Engineering

View Paper: https://www.semanticscholar.org/paper/ea5a925b2f5b6fc58af10f62010247d44c039d05

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Ratnesh Kumar
  2. Wenbin Qiu

In Computational Theory and Mathematics

  1. Ratnesh Kumar
  2. Wenbin Qiu

In Industrial and Manufacturing Engineering

  1. Ratnesh Kumar
  2. Wenbin Qiu

Citations in the corpus