Complexity of detectability, opacity and A-diagnosability for modular discrete event systems

Diagnosability of discrete-event systems

Meera Sampath, Raja Sengupta, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 1995 · 1.6K citations

Computing, Computer Science, Systems Engineering +13

The equivalence problem for regular expressions with squaring requires exponential space

Albert R. Meyer, Larry J. Stockmeyer · 1972 · 606 citations

Computing, Computer Science, Mathematics +6

Hierarchies of memory limited computations

Richard E. Stearns, Juris Hartmanis, Philip Lewis · 1965 · 357 citations

Computing, Computer Science, Algorithms +11

Overview of fault diagnosis methods for Discrete Event Systems

J. Zaytoon, Stéphane Lafortune · Annual Reviews in Control · 2013 · 321 citations

Engineering, Computer Engineering, Systems Engineering +14

Opacity of discrete event systems and its applications

Feng Lin · Automatica · 2011 · 287 citations

Computing, Computer Science, Computer Systems +10